Encuentra el libro
que te está
buscando a ti.
que te está
buscando a ti.
En comprolibros.es encontrarás todo tipo de tesoros literarios
En comprolibros.es encontrarás todo tipo de tesoros literarios
| Referencia: | LYD3892 |
| ISBN: | 9780486669809 |
| Editorial: | Dover Publications |
| Año: | 1992 |
| Medidas: | 14x20 |
| Páginas: | 90 |
| Estado de conservación: | Muy bueno |
On formally undecidable propositions of principia mathematica and related systems
En este trabajo, Kurt Gödel demuestra sus teoremas de incompletitud, estableciendo que en sistemas formales suficientemente potentes existen proposiciones verdaderas que no pueden ser demostradas dentro del propio sistema. El resultado revela límites fundamentales del formalismo en matemáticas. Es un texto clave en la lógica matemática del siglo XX.
Contraportada amarillenta