e-book

A Course on Mathematical Logic

---

This book is written on the occassion of the birth centenary year of Kurt
G¨odel (1906–1978), the most exciting logician of all times, whose discoveries
shook the foundations of mathematics. His beautiful technique to examine
the whole edifice of mathematics within mathematics itself has been
likened, not only figuratively but also in precise technical terms, to the music
of Bach and drawings of Escher. It had a deep impact on philosophers
and linguists. In a way, it ushered in the era of computers. His idea of arithmetization
of formal systems led to the discovery of a universal computer
program that simulates all programs. Based on his incompleteness theorems,
physicists have propounded theories concerning artifical intelligence
and the mind–body problem.

The main goal of this book is to state and prove G¨odel’s completeness and
incompleteness theorems in precise mathematical terms. This has enabled
us to present a short, distinctive, modern, and motivated introduction to
mathematical logic for graduate and advanced undergraduate students of
logic, set theory, recursion theory, and computer science. Any mathematician
who is interested in knowing what mathematical logic is concerned
with and who would like to learn the famous completeness and incompleteness
theorems of G¨odel should also find this book particularly convenient.
The treatment is thoroughly mathematical, and the entire subject has been
approached like any other branch of mathematics. Serious efforts have been
made to make the book suitable for both instructional and self-reading purposes.
The book does not strive to be a comprehensive encyclopedia of logic,
nor does it broaden its audience to linguists and philosophers. Still, it gives
essentially all the basic concepts and results in mathematical logic.

---

Ketersediaan

Tidak ada salinan data

Informasi Detail

Judul Seri

-

No. Panggil

-

Penerbit

New York : Springer Science+Business Media, LLC., 2008

Deskripsi Fisik

viii, 14o Hlm.

Bahasa

English

ISBN/ISSN

978-0-387-76277-7

Klasifikasi

-

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

MATEMATIKA

Info Detail Spesifik

-

Pernyataan Tanggungjawab

agus

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar