< 1 >
Kurt Gödel
El matemático austríaco Kurt Friedrich Gödel (1906 - 1978) fue un logicus importante, famoso por su teorema de incompletitud.
- Teoremas de incompletitud
- Inteligencia artificial
- Hipótesis del continuo
- Teoría de la relatividad general