Language and Godels Theorem : a revised edition / by Bradley S. Tice, Advanced Human Design, USA.

Format:

Book

Author/Creator:

Tice, Bradley S.

Series:

River Publishers series of information science and technology.

River Publishers series in information science and technology

Language:

English

Subjects (All):

Gödel's theorem.

Decidability (Mathematical logic).

Physical Description:

1 online resource (94 p.)

Edition:

1st ed.

Place of Publication:

Aalborg, Denmark : River Publishers, [2013]

Language Note:

English

Summary:

Language and Godels Theorem is 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 author's original mathematics dissertation from which this monograph is derived. It includes a chapter on machine intelligence and is a culmination of Tice's thoughts on language, machines, and artificial intelligence as a whole. Technical papers on the subject are included in the appendix.

Contents:

""Cover""; ""Contents""; ""1 Introduction""; ""2 The completeness of the axioms of the functional calculus of logic""; ""3 Some metamathematical results on completeness and consistency""; ""4 Appendix C""; ""5 Appendix E""; ""Index""

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

Description based on online resource; title from PDF title page (ebrary, viewed January 11, 2014).

ISBN:

87-93102-30-5

OCLC:

903172204