Axiomas de Peano para los números naturales
Peano axioms
- Fecha
- 1889 · fiabilidad alta
- Lugar
- Turín, Italia
- Autoría
- Giuseppe Peano (Arithmetices principia); formulación previa de Dedekind (1888)
- Personas
- 👤 Giuseppe Peano1858–1932
- Ámbito
- Saber y símbolos
⚠️ Dato en discusión: las fuentes no coinciden.
Qué se descubrió
Caracterización de los naturales mediante cero, sucesor e inducción, en notación simbólica. Es el sistema formal de referencia sobre el que Gödel demostró la incompletitud.
Dedekind publicó una caracterización equivalente un año antes; Peano reconoció la deuda.
A qué dio paso
- fundamentos de la aritmética
- teoremas de incompletitud
- teoría de la recursión
- verificación formal
Se apoya en
- Dedekind (Was sind und was sollen die Zahlen)
- Grassmann