Gödel Kanıtlaması — Ernest Nagel James R Newman

20 yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel in matematiğin temelleri hakkında kanıtladığı teoremlerdir Kesinlik tutarlılık tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni matematiğin aksiyomlardan türetilen doğru önermelerinin yani teoremlerin kesin olarak kanıtlanabilir olmasıydı Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen doğru değilseler yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır Whitehead ve Russell ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica yı ele alarak temellerin hep eksik kalacağını göstermiştir Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede karar verilemeyen önermeler olduğunu kanıtlamıştır yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir Ama öte yandan bu karar verilemeyen önermelerin doğru oldukları üst matematiksel akıl yürütmelerle gösterilebilir Ayrıca Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır Gödel in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur Hiç kuşku yok ki benim ortaya çıkardığım çalışma bir yanıyla Nagel ve Newman ın kitabından kaynaklanmıştır Douglas R Hofstadter Gödel Escher Bach ın yazarı Gödel in kanıtlaması üzerine yazılmış en iyi kitap Scientific American Olağanüstü bir yorumlama Nature K Tanıtım Bülteninden

20 yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel in matematiğin temelleri hakkında kanıtladığı teoremlerdir Kesinlik tutarlılık tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni matematiğin aksiyomlardan türetilen doğru önermelerinin yani teoremlerin kesin olarak kanıtlanabilir olmasıydı Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen doğru değilseler yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır Whitehead ve Russell ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica yı ele alarak temellerin hep eksik kalacağını göstermiştir Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede karar verilemeyen önermeler olduğunu kanıtlamıştır yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir Ama öte yandan bu karar verilemeyen önermelerin doğru oldukları üst matematiksel akıl yürütmelerle gösterilebilir Ayrıca Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır Gödel in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur Hiç kuşku yok ki benim ortaya çıkardığım çalışma bir yanıyla Nagel ve Newman ın kitabından kaynaklanmıştır Douglas R Hofstadter Gödel Escher Bach ın yazarı Gödel in kanıtlaması üzerine yazılmış en iyi kitap Scientific American Olağanüstü bir yorumlama Nature K

20 yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel in matematiğin temelleri hakkında kanıtladığı teoremlerdir Kesinlik tutarlılık tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni matematiğin aksiyomlardan türetilen doğru önermelerinin yani teoremlerin kesin olarak kanıtlanabilir olmasıydı Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen doğru değilseler yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır Whitehead ve Russell ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica yı ele alarak temellerin hep eksik kalacağını göstermiştir Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede karar verilemeyen önermeler olduğunu kanıtlamıştır yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir Ama öte yandan bu karar verilemeyen önermelerin doğru oldukları üst matematiksel akıl yürütmelerle gösterilebilir Ayrıca Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır Gödel in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur Hiç kuşku yok ki benim ortaya çıkardığım çalışma bir yanıyla Nagel ve Newman ın kitabından kaynaklanmıştır Douglas R Hofstadter Gödel Escher Bach ın yazarı Gödel in kanıtlaması üzerine yazılmış en iyi kitap Scientific American Olağanüstü bir yorumlama Nature K

20 yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel in matematiğin temelleri hakkında kanıtladığı teoremlerdir Kesinlik tutarlılık tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni matematiğin aksiyomlardan türetilen doğru önermelerinin yani teoremlerin kesin olarak kanıtlanabilir olmasıydı Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen doğru değilseler yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır Whitehead ve Russell ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica yı ele alarak temellerin hep eksik kalacağını göstermiştir Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede karar verilemeyen önermeler olduğunu kanıtlamıştır yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir Ama öte yandan bu karar verilemeyen önermelerin doğru oldukları üst matematiksel akıl yürütmelerle gösterilebilir Ayrıca Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır Gödel in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur Hiç kuşku yok ki benim ortaya çıkardığım çalışma bir yanıyla Nagel ve Newman ın kitabından kaynaklanmıştır Douglas R Hofstadter Gödel Escher Bach ın yazarı Gödel in kanıtlaması üzerine yazılmış en iyi kitap Scientific American Olağanüstü bir yorumlama Nature K

20 yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel in matematiğin temelleri hakkında kanıtladığı teoremlerdir Kesinlik tutarlılık tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni matematiğin aksiyomlardan türetilen doğru önermelerinin yani teoremlerin kesin olarak kanıtlanabilir olmasıydı Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen doğru değilseler yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır Whitehead ve Russell ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica yı ele alarak temellerin hep eksik kalacağını göstermiştir Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede karar verilemeyen önermeler olduğunu kanıtlamıştır yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir Ama öte yandan bu karar verilemeyen önermelerin doğru oldukları üst matematiksel akıl yürütmelerle gösterilebilir Ayrıca Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır Gödel in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur Hiç kuşku yok ki benim ortaya çıkardığım çalışma bir yanıyla Nagel ve Newman ın kitabından kaynaklanmıştır Douglas R Hofstadter Gödel Escher Bach ın yazarı Gödel in kanıtlaması üzerine yazılmış en iyi kitap Scientific American Olağanüstü bir yorumlama Nature K Yayınevi ALFA YAYINCILIK Yazar ERNEST NAGEL Sayfa Sayısı 136 Yıl 2020

Ernest Nagel tarafından kaleme alınan Gödel Kanıtlaması Alfa Yayınları eseri olarak okurlarla buluşuyor Gödel Kanıtlaması Ernest Nagel Kitap Özeti 20 yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel in matematiğin temelleri hakkında kanıtladığı teoremlerdir Kesinlik tutarlılık tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni matematiğin aksiyomlardan türetilen doğru önermelerinin yani teoremlerin kesin olarak kanıtlanabilir olmasıydı Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen doğru değilseler yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır Whitehead ve Russell ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica yı ele alarak temellerin hep eksik kalacağını göstermiştir Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede karar verilemeyen önermeler olduğunu kanıtlamıştır yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir Ama öte yandan bu karar verilemeyen önermelerin doğru oldukları üst matematiksel akıl yürütmelerle gösterilebilir Ayrıca Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır Gödel in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur Hiç kuşku yok ki benim ortaya çıkardığım çalışma bir yanıyla Nagel ve Newman ın kitabından kaynaklanmıştır Douglas R Hofstadter Gödel Escher Bach ın yazarı Gödel in kanıtlaması üzerine yazılmış en iyi kitap Scientific American Olağanüstü bir yorumlama Nature K Yayınevi Alfa Yayınları Yazar Ernest Nagel Sayfa 136 Sayfa Kağıt 2 Hamur Boyut 13 50x21 00 cm Basım Yılı Aralık 2020 Barkod 9786254491849 Kategori Matematik

20 yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel in matematiğin temelleri hakkında kanıtladığı teoremlerdir Kesinlik tutarlılık tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni matematiğin aksiyomlardan türetilen doğru önermelerinin yani teoremlerin kesin olarak kanıtlanabilir olmasıydı Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen doğru değilseler yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır Whitehead ve Russell ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica yı ele alarak temellerin hep eksik kalacağını göstermiştir Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede karar verilemeyen önermeler olduğunu kanıtlamıştır yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir Ama öte yandan bu karar verilemeyen önermelerin doğru oldukları üst matematiksel akıl yürütmelerle gösterilebilir Ayrıca Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır Gödel in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur Hiç kuşku yok ki benim ortaya çıkardığım çalışma bir yanıyla Nagel ve Newman ın kitabından kaynaklanmıştır Douglas R Hofstadter Gödel Escher Bach ın yazarı Gödel in kanıtlaması üzerine yazılmış en iyi kitap Scientific American Olağanüstü bir yorumlama Nature K

20 yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel in matematiğin temelleri hakkında kanıtladığı teoremlerdir Kesinlik tutarlılık tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni matematiğin aksiyomlardan türetilen doğru önermelerinin yani teoremlerin kesin olarak kanıtlanabilir olmasıydı Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen doğru değilseler yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır Whitehead ve Russell ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica yı ele alarak temellerin hep eksik kalacağını göstermiştir Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede karar verilemeyen önermeler olduğunu kanıtlamıştır yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir Ama öte yandan bu karar verilemeyen önermelerin doğru oldukları üst matematiksel akıl yürütmelerle gösterilebilir Ayrıca Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır Gödel in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur Hiç kuşku yok ki benim ortaya çıkardığım çalışma bir yanıyla Nagel ve Newman ın kitabından kaynaklanmıştır Douglas R Hofstadter Gödel Escher Bach ın yazarı Gödel in kanıtlaması üzerine yazılmış en iyi kitap Scientific American Olağanüstü bir yorumlama Nature K

20 yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel in matematiğin temelleri hakkında kanıtladığı teoremlerdir Kesinlik tutarlılık tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni matematiğin aksiyomlardan türetilen doğru önermelerinin yani teoremlerin kesin olarak kanıtlanabilir olmasıydı Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen doğru değilseler yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır Whitehead ve Russell ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica yı ele alarak temellerin hep eksik kalacağını göstermiştir Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede karar verilemeyen önermeler olduğunu kanıtlamıştır yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir Ama öte yandan bu karar verilemeyen önermelerin doğru oldukları üst matematiksel akıl yürütmelerle gösterilebilir Ayrıca Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır Gödel in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur Hiç kuşku yok ki benim ortaya çıkardığım çalışma bir yanıyla Nagel ve Newman ın kitabından kaynaklanmıştır Douglas R Hofstadter Gödel Escher Bach ın yazarı Gödel in kanıtlaması üzerine yazılmış en iyi kitap Scientific American Olağanüstü bir yorumlama Nature K

20 yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel in matematiğin temelleri hakkında kanıtladığı teoremlerdir Kesinlik tutarlılık tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni matematiğin aksiyomlardan türetilen doğru önermelerinin yani teoremlerin kesin olarak kanıtlanabilir olmasıydı Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen doğru değilseler yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır Whitehead ve Russell ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica yı ele alarak temellerin hep eksik kalacağını göstermiştir Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede karar verilemeyen önermeler olduğunu kanıtlamıştır yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir Ama öte yandan bu karar verilemeyen önermelerin doğru oldukları üst matematiksel akıl yürütmelerle gösterilebilir Ayrıca Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır Gödel in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur Hiç kuşku yok ki benim ortaya çıkardığım çalışma bir yanıyla Nagel ve Newman ın kitabından kaynaklanmıştır Douglas R Hofstadter Gödel Escher Bach ın yazarı Gödel in kanıtlaması üzerine yazılmış en iyi kitap Scientific American Olağanüstü bir yorumlama Nature K img src https s3 eu west 1 amazonaws com dia kitadagitim ckeditor_assets pictures 53 content_1_original_original jpg alt height 15 width 15 font size 1 color white font img

20 yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel in matematiğin temelleri hakkında kanıtladığı teoremlerdir Kesinlik tutarlılık tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni matematiğin aksiyomlardan türetilen doğru önermelerinin yani teoremlerin kesin olarak kanıtlanabilir olmasıydı Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen doğru değilseler yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır Whitehead ve Russell ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica yı ele alarak temellerin hep eksik kalacağını göstermiştir Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede karar verilemeyen önermeler olduğunu kanıtlamıştır yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir Ama öte yandan bu karar verilemeyen önermelerin doğru oldukları üst matematiksel akıl yürütmelerle gösterilebilir Ayrıca Gödel doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır Gödel in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur Hiç kuşku yok ki benim ortaya çıkardığım çalışma bir yanıyla Nagel ve Newman ın kitabından kaynaklanmıştır Douglas R Hofstadter Gödel Escher Bach ın yazarı Gödel in kanıtlaması üzerine yazılmış en iyi kitap Scientific American Olağanüstü bir yorumlama Nature K Tanıtım Bülteninden