Can I read Kurt Gödel y sus Teoremas de Incompletud on EtoBox?

Kurt Gödel y sus Teoremas de Incompletud by Miguel Angel Carranza Rodríguez is a document available to read on EtoBox.

What is Kurt Gödel y sus Teoremas de Incompletud about?

Kurt Gödel fue un lógico, matemático y filósofo austriaco-estadounidense reconocido como uno de los más importantes lógicos de todos los tiempos. Es conocido principalmente por sus dos teoremas de la incompletitud publicados en 1931, los cuales establecen que para todo sistema axiomático lo suficientemente poderoso como para describir la aritmética, existen proposiciones verdaderas sobre los números naturales que no pueden demostrarse ni refutarse dentro de ese sistema.

Author

Miguel Angel Carranza Rodríguez

Language

ES