Kurt Gödel

Kurt Gödel was a person, mathematician, who worked on many foundational issues in formal logic. Some of his most interesting results are: Note that the above descriptions are by no way rigorous. The interested reader should refer to a good textbook on formal logic.

This page is linked from: Methods of Reflection