Lógica de predicados y cuantificadores (Begriffsschrift)
Predicate logic and quantifiers
- Fecha
- 1879 · fiabilidad alta
- Lugar
- Jena, Alemania
- Autoría
- Gottlob Frege; notación alternativa de Peirce (1885)
- Personas
- 👤 Gottlob Frege1848–1925
- Ámbito
- Saber y símbolos
Qué se descubrió
Primer sistema formal completo con variables, cuantificadores y reglas de inferencia explícitas, capaz de expresar toda la matemática. Inaugura la lógica moderna y el programa logicista.
Russell descubrió en 1902 una paradoja en el sistema de Frege que arruinó su Grundgesetze.
A qué dio paso
- Principia Mathematica
- teoremas de Gödel
- teoría de modelos
- lenguajes de programación y demostradores automáticos
Se apoya en
- Álgebra de Boole1847-1854
- Leibniz
Hizo posible
- Conjuntos difusos y lógica difusa1965
- verificación formal de software
- Prolog y bases de datos lógicas