Demostración matemática deductiva
Deductive mathematical proof
- Fecha
- c. 580 a.C. · fiabilidad baja
- Lugar
- Mileto, Turquía
- Autoría
- Tales de Mileto; Pitágoras y su escuela
- Personas
- 👤 Tales de Mileto650 a.C.–548 a.C.
- Ámbito
- Saber y símbolos
⚠️ Dato en discusión: las fuentes no coinciden.
Qué es
Método de establecer verdades geométricas a partir de premisas mediante razonamiento lógico encadenado, en lugar de recetas empíricas. Es la invención de la matemática como ciencia demostrativa.
La atribución a Tales es tradición tardía (Proclo); la matemática babilónica ya contenía razonamientos generales pero no demostraciones explícitas.
A qué dio paso
- Axiomática euclidiana y toda la matemática rigurosa posterior
- Filosofía racionalista y lógica formal aristotélica
- Descubrimiento de los irracionales y crisis de los fundamentos pitagóricos
- Método científico teórico: modelo de conocimiento cierto para astronomía y física
Se apoya en
- Alfabeto griego con vocalesc. 800 a.C.
- Geometría práctica egipcia
- Matemática babilónica
Hizo posible
- Silogística y lógica formal de Aristótelesc. 350 a.C.
- Geometría axiomática (Elementos de Euclides)c. 300 a.C.
- Crítica del quinto postulado: cuadrilátero de Jayam1077
- Geometría euclidiana
- Método de exhaución
- Lógica aristotélica