Diferencia entre revisiones de «Historia de la lógica»
Contenido eliminado Contenido añadido
Deshecha la edición 31883471 de 190.232.79.147 (disc.) |
|||
Línea 59:
En un magistral artículo de 1885 leído por [[Peano]], [[Ernst Schröder]] y otros, [[Charles Peirce]] introdujo el término "[[Lógica de segundo orden]]" proporcionando la mayor parte de la moderna notación lógica, incluyendo los símbolos prefijados para la cuantificación universal y existencial. Los lógicos de finales del siglo XIX y de comienzos del XX estuvieron más familiarizados con el sistema lógico de Peirce-Schröder, aunque generalmente se reconoce que Frege es el Padre de la lógica moderna.
En [[1889]] [[Giuseppe Peano]] publicó la primera versión de la axiomatización lógica de la aritmética. Cinco de los nueve axiomas son conocidos como [[axiomas de Peano]]. Uno de estos axiomas fue una formalización del principio de la inducción matemática.
== Véase también ==
| |||