Ensayos de Metamatemáticas
1952·ensayo
Una obra clásica que proporciona una introducción exhaustiva a la lógica matemática y la teoría de la recursión, con un énfasis en los aspectos computacionales y fundamentales de las matemáticas.
SK
SK
Stephen C. Kleene
estadounidense
Stephen C. Kleene fue un destacado matemático y lógico estadounidense, conocido por sus contribuciones fundamentales a la teoría de la computabilidad y el desarrollo del cálculo de predicados. Su obra ha tenido un impacto duradero en la informática y la matemática.
Obras en el archivo
2 títulos
Parte de una serie de ensayos clásicos sobre lógica matemática, este trabajo aborda la Escuela Formalista de Hilbert y cómo el teorema de incompletitud de Gödel impactó directamente en sus aspiraciones de establecer un sistema axiomático completo y consistente para toda la matemática. Explica las implicaciones profundas de estos conceptos.
Autores relacionados
Aparecen junto a Stephen C. Kleene en búsquedas del archivo