# Kurt Gödel

## Introduction

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

category: people