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.”