University of Wisconsin-Milwaukee

Godel’s Incompleteness Theorems John Byrum University of Wisconsin-Milwaukee PhD Graduate Student – Teaching Assistant “The concepts and proofs for some of Godel’s work will be explored. Common consistent axiomatic systems contain statements which are true but are not provable.”