Kurt Gödel - Collected Works

This collection includes Gödel's most influential papers, such as his completeness theorem and incompleteness theorems, which fundamentally changed the understanding of formal systems and their limitations.

His work laid the foundation for theoretical computer science and artificial intelligence.