libcats.org
Главная

Mathematical Logic: Undergraduate Texts in Mathematics

Обложка книги Mathematical Logic: Undergraduate Texts in Mathematics

Mathematical Logic: Undergraduate Texts in Mathematics

, ,
This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic.
Популярные книги за неделю:

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Elementary surveying. An introduction to geomatics

Автор: , Автор:
Категория: P_Physics, PGp_Geophysics
Размер книги: 43.64 Mb
Только что пользователи скачали эти книги:

Finite-temperature field theory

Автор: , Автор:
Размер книги: 2.24 Mb

Reinventing Japan: From Merchant Nation to Civic Nation

Автор:
Размер книги: 1.57 Mb

Nuevo viaje a la Alcarria (Plaza & Janes literaria)

Автор:
Размер книги: 309 Kb

Architectural Roofing & Waterproofing Volume 2 2011

Автор:
Размер книги: 22.15 Mb

The Roving Mind

Автор: , Автор: , Автор:
Категория: P_Physics, PPop_Popular-level
Размер книги: 2.41 Mb

Jewish Involvement In Shaping American

Автор:
Категория: fiction
Размер книги: 418 Kb

Blaue Katzen

Автор: , Автор:
Категория: fiction
Размер книги: 831 Kb

Touched by a Dom

Автор:
Категория: fiction
Размер книги: 164 Kb