Sembolik Mantığın Tarihi 1847-1950
Liste Fiyatı :
175,00TL
İndirimli Fiyat :
112,18TL
Kazancınız :
62,82TL
Taksitli fiyat :
9 x 13,71TL
Havale/EFT ile :
109,38TL
Satış adedi :
1
9786255536808
1443082
https://www.teklifkitap.com/sembolik-mantigin-tarihi-1847-1950
Sembolik Mantığın Tarihi 1847-1950
112.18
Bu eser, sembolik mantığın 1847-1950 yılları arasındaki tarihsel gelişimini
akademik bir perspektifle ele almaktadır. George Boole'un mantığı
cebirselleştirme girişiminden Alan Turing'in hesaplanabilirlik teorisine
uzanan bu yüz yıllık süreç, mantığın felsefi bir disiplinden matematiksel
ve biçimsel bir bilim dalına dönüşümünü temsil eder. Kitap, dört
temel dönüşüm evresi üzerinden ilerlemektedir: Cebirselleşme Dönemi
(1847-1880), Yüklemler Mantığı Dönemi (1879-1921), Meta-Matematik
Dönemi (1920-1934) ve Hesaplanabilirlik Dönemi (1936-1950).
Augustus De Morgan'ın ilişkiler teorisi, Gottlob Frege'nin yüklemler
mantığı, Bertrand Russell'ın betimlemeler kuramı, Kurt Gödel'in eksiklik
teoremleri, Alfred Tarski'nin doğruluk kuramı ve Turing'in evrensel
makinesi gibi kilometre taşları sistematik biçimde incelenmektedir.
Eser, mantığın epistemolojik, metodolojik, ontolojik ve pragmatik dönüşümlerini
tarihsel bağlamında sunarak, modern mantık ve bilgisayar
biliminin entelektüel temellerini aydınlatmayı amaçlamaktadır. Türkçe
mantık tarihi yazımındaki boşluğu doldurmak üzere hazırlanan bu çalışma,
hem felsefe ve ilahiyat hem de matematik ve bilgisayar bilimleri
alanlarındaki araştırmacılar için kapsamlı bir kaynak sunmaktadır.
- Açıklama
- Bu eser, sembolik mantığın 1847-1950 yılları arasındaki tarihsel gelişimini akademik bir perspektifle ele almaktadır. George Boole'un mantığı cebirselleştirme girişiminden Alan Turing'in hesaplanabilirlik teorisine uzanan bu yüz yıllık süreç, mantığın felsefi bir disiplinden matematiksel ve biçimsel bir bilim dalına dönüşümünü temsil eder. Kitap, dört temel dönüşüm evresi üzerinden ilerlemektedir: Cebirselleşme Dönemi (1847-1880), Yüklemler Mantığı Dönemi (1879-1921), Meta-Matematik Dönemi (1920-1934) ve Hesaplanabilirlik Dönemi (1936-1950). Augustus De Morgan'ın ilişkiler teorisi, Gottlob Frege'nin yüklemler mantığı, Bertrand Russell'ın betimlemeler kuramı, Kurt Gödel'in eksiklik teoremleri, Alfred Tarski'nin doğruluk kuramı ve Turing'in evrensel makinesi gibi kilometre taşları sistematik biçimde incelenmektedir. Eser, mantığın epistemolojik, metodolojik, ontolojik ve pragmatik dönüşümlerini tarihsel bağlamında sunarak, modern mantık ve bilgisayar biliminin entelektüel temellerini aydınlatmayı amaçlamaktadır. Türkçe mantık tarihi yazımındaki boşluğu doldurmak üzere hazırlanan bu çalışma, hem felsefe ve ilahiyat hem de matematik ve bilgisayar bilimleri alanlarındaki araştırmacılar için kapsamlı bir kaynak sunmaktadır.Stok Kodu:9786255536808Boyut:135-210-Sayfa Sayısı:122Baskı:1Basım Tarihi:2025-12-26Kapak Türü:KartonKağıt Türü:Kitap KağıdıDili:Türkçe
- Taksit Seçenekleri
- Axess KartlarTaksit SayısıTaksit tutarıGenel ToplamTek Çekim112,18112,18258,33116,67339,64118,91620,19121,15913,71123,40Finansbank KartlarıTaksit SayısıTaksit tutarıGenel ToplamTek Çekim112,18112,18258,33116,67339,64118,91620,19121,15913,71123,40Bonus KartlarTaksit SayısıTaksit tutarıGenel ToplamTek Çekim112,18112,18258,33116,67339,64118,91620,19121,15913,71123,40Paraf KartlarTaksit SayısıTaksit tutarıGenel ToplamTek Çekim112,18112,18258,33116,67339,64118,91620,19121,15913,71123,40Maximum KartlarTaksit SayısıTaksit tutarıGenel ToplamTek Çekim112,18112,18258,33116,67339,64118,91620,19121,15913,71123,40World KartlarTaksit SayısıTaksit tutarıGenel ToplamTek Çekim112,18112,18258,33116,67339,64118,91620,19121,15913,71123,40Diğer KartlarTaksit SayısıTaksit tutarıGenel ToplamTek Çekim112,18112,18258,33116,67339,64118,91620,19121,15913,71123,40
- Yorumlar
- Yorum yazBu kitabı henüz kimse eleştirmemiş.
