Sembolik Mantığın Tarihi 1847 1950 — Samet Büyükada

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 Tarskinin 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

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 Tanıtım Bülteninden

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

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

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

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

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