Language and Godels Theorem [Paperback]

Language and Godels Theoremis a de-construction of Kurt Godel's Incompleteness Theorem's paradox sentences used to prove that no formal systems of logic or mathematics can exist. The semantic valuation of the 'meaning' behind the sentences used for the paradox is challenged and revised using other words that change the very nature of the sentences. These 'semantic' changes result in new meanings for the sentences and forms new interpretations of examining Godel's Incompleteness Theorem as it relates to David Hilbert's unifying plan for a Formalized mathematics.

The publication includes an unpublished paper on the motivation behind writing this book in the appendix as well as a copy of the authors original mathematics dissertation from which this monograph is derived. It includes a chapter on machine intelligence and is a culmination of Tices thoughts on language, machines, and artificial intelligence as a whole. Technical papers on the subject are included in the appendix.