Bu kitap, Hilbert'in deyimiyle "astronomun bulunduğu noktanın hareketini gözetmesi, fizikçinin aletlerinin kuramını incelemesi ve filozofun aklın kendisini eleştirmesi gibi, matematiğe özgü kanıtları konu edinen" Matematiksel Mantık Kuramı'nın temellerini vermeyi ve matematik tarihinin en sarsıcı çalışmalarından olan Gödel'in teoremlerine ilgi duyanlara bir kaynak sunmayı amaçlamaktadır.

Kitapta, sonraki bölümlerin kolayca izlenmesini sağlamak için önce önermeler mantığı ayrıntılı olarak ele alınmıştır. Sonra birinci dereceden mantık ve birinci dereceden biçimsel kuramlar açıklanmış, Gödel Tamlık Teoremi kanıtlanıp bazı uygulamalarına yer verilmiştir. Modeller Kuramı'nm temel kavram ve teoremlerine ayrılan ve yaban (nonstandard) analize kısaca yer verilen bir bölümün ardından son bölümde Gödel Eksiklik Teoremleri, kanıtın ana fikrinin anlaşılmasına özen gösterilerek önce sezgisel olarak kanıtlanmış, ardından bu teoremlerin matematiksel kanıtları verilmiştir. Kitabın sonunda Gödel Eksiklik Teoremlerine iki farklı yaklaşım ele alınmış ve kısaca da olsa ikinci dereceden mantığa değinilmiştir.

Konu Başlıkları

Ön Bilgiler

Önermeler Mantığı

Birinci Dereceden Kuramlar

Modeller Kuramına Giriş

Gödel Eksiklik Teoremleri

(Tanıtım Bülteninden)

Hamur Tipi : 2. Hamur

Sayfa Sayısı : 540

Ebat : 14 x 21

İlk Baskı Yılı : 2019

Baskı Sayısı : 1. Basım