The Incompleteness Phenomenon

ISBN-13: 9781568810294 / Angielski / Twarda / 1995 / 218 str.

Martin Goldstern;Goldstern; Haim Judah

Opis

Designed to be the foundation for a two-term course, this book investigates mathematical logic. The basic premise of mathematical logic is that every reasonable mathematical system is intrinsically incomplete. This premise forms the basis of Godel's famous incompleteness theorem.

Spis treści

Introduction, 1 The Framework of Logic, 2 Completeness, 3 Model Theory, 4 The Incompleteness Theorem. Index.   

O autorze

Goldstern, Martin; Judah, Haim