ayer

Notas

Véase trivium y quadrivium
La pólvora, la brújula, las técnicas de navegación y los descubrimientos geográficos, el nuevo arte de la guerra, la contabilidad en los negocios, las sociedades por acciones, etc.
Los axiomas de un sistema pueden ser teoremas de otro sistema y no tienen carácter de «verdad evidente» como suponía la lógica clásica
Leonardo de Vinci es unverdadero genio iniciador del método y la ciencia moderna. Si tradicionalmente este honor se atribuye a Galileo Galilei ha sido por el desconocimiento y mala ordenación de los manuscritos de Leonardo hasta ahora descuidados y perdidos en muchos casos. Por otro lado Leonardo no publicó sus escritos y ha sido necesaria una reciente e intensa labor de estudio paleográfico para publicarlos correctamente.Siempre y cuando estos principios o axiomas considerados evidentes no se pongan en cuestión
Sobre todo en la recuperación del valor de lo individual, el valor cognitivo de la experiencia y el rechazo al problema de los universales
Aunque su teoría sitúa al sol girando alrededor de la tierra junto con la luna, estableció la órbita de los planetas alrededor del sol, y por la exactituden sus medidas y observaciones hizo posible la concepción de las leyes de Kepler
En Lógica empírica se expone sucintamente la forma del método seguido por Galileo en su estudio sobre "el movimiento de caída libre de los cuerpos"
Para la lógica intuicionista de Brouwer no podemos afirmar A \lor \lnot A como verdadero. Para ello tendríamos que tener fundamento para afirmar A o tenerfundamentos para afirmar que nunca tendríamos fundamento para afirmar \lnot A. Pero puede ocurrir que no tengamos fundamento para afirmar lo uno ni lo otro y tal proposición no podría tener valor de verdad alguno, ni verdadero, ni falso, tal como ocurre con los conjuntos infinitos. Por eso el argumento \lnot \lnot A \rightarrow A no puede tomarse sin restricción. Nótese que si consideramos A = lasvacas vuelan; y \lnot \lnot A = las ratas no son azules, podríamos considerar "las ratas no son azules" como una corroboración de "las vacas vuelan". Véase la entrada: Lógica intuicionista en Enciclopedia Oxford de Filosofía, op. cit.
Proyecto históricamente intentado antes por Raimundo Lulio, e ideal señalado por Descartes y Leibniz y, ahora, dotado de un impresionante aparato«lógico-matemático» por el primer Wittgenstein del Tractatus logico-philosophicus, Bertrand Russell y los empiristas lógicos del Círculo de Viena
Se entiende como sistema lógico perfecto un sistema que fuera:
consistente: Una sistema formal es consistente si es imposible demostrar una fórmula φ y también su negación ¬φ.
decidible: Una sistema formal es decidible cuando existe un algoritmo talque, dada una fórmula φ, el algoritmo es capaz de decidir en un número finito de pasos si la fórmula pertenece o no al sistema.
completo: Un sistema formal es completo cuando dada cualquier fórmula φ del sistema, existe una demostración de φ o de ¬φ como teorema del mismo.
Véanse figuras al margen sobre el concepto de distancia. Evidente el primero en la conciencia empírica vulgar en elespacio de tres dimensiones y un tiempo constante y absoluto. Sin embargo el segundo concepto de distancia es necesario para las medidas astronómicas de enormes distancias y velocidades en un espacio de cuatro dimensiones en su relación con la «velocidad de la luz como constante c». La distancia nunca podrá estar fuera del "cono de luz", siendo c, la velocidad de la luz, una constante deluniverso
Relación de indeterminación de Heisenberg que permite considerar la relación causa-efecto como un proceso estocástico
Véase evidencia (filosofía)
La genialidad individual, en cualquier caso, acabará siendo financiada, desarrollada y gestionada como proyecto de forma colectiva
En 1827 Ampère escribió su Teoría matemática de los fenómenos electrodinámicos inequívocamente...