nLab
Kurt Gödel

Kurt Gödel

Introduction

Kurt Gödel is one of the major figures of logic and foundations from the early 20th century.

References

category: people