Forum27 - Türkiye'nin En Büyük Forumu
 

Go Back   Forum27 - Türkiye'nin En Büyük Forumu > Eğitim - Öğretim > matematik - geometri

Cevapla

 

LinkBack Seçenekler Stil
  #1  
Alt 9 December 2008, 15:04
Junior Member
 
Kayıt Tarihi: 1 September 2008
Mesajlar: 0
Konular:
Aldığı Beğeni: 0 xx
Beğendiği Mesajlar: 0 xx
Standart Gödel'in Eksiklik Teoremi

Gödel'in Eksiklik Teoremi

Gödel'in çağdaşı olan ünlü matematikçi
[Link'i Görebilmeniz İçin Kayıt Olunuz.! Kayıt OL], matematikteki tüm ispatların, belli bir yöntemle, yani [Link'i Görebilmeniz İçin Kayıt Olunuz.! Kayıt OL] bir sistem vasıtasıyla, elde edilebileceğini düşünüyordu ve bu doğrultuda çalışmalarına başladı. Temel aritmetikteki tüm doğruları, aksiyomlarından türetebilirse, matematikteki tüm doğruları da bu aksiyomlardan elde edebilecekti.
[Link'i Görebilmeniz İçin Kayıt Olunuz.! Kayıt OL] bunun olanaksızlığını gösterdi. Bunu kısaca şu şekilde yaptı: Bu önerme ispatlanamaz ifadesini [IMG]http://www.************/forum/images/smilies/msn_gift.gif[/IMG] aritmetik sisteminde formülize etti. Aynı şekilde G ifadenin değilini (Bu önerme ispatlanabilir) de formülize etti. Daha sonra, G ifadesinin aritmetik olarak doğruluğu hesaplanabilirse, G ifadesinin değilinin de doğruluğunun hesaplanabileceğini gösterdi. Ve Gödel buradan şu iki sonuca varmıştır:
  1. Elementer aritmetik içeren aksiyomatik bir sistem tutarlı (consistent) ise [Link'i Görebilmeniz İçin Kayıt Olunuz.! Kayıt OL] (complete) değildir.
  2. Elementer aritmetik içeren aksiyomatik bir sistemin tutarlılığını sistemin kendi içinden (sistemin kendi formüllerini ve işlemlerini kullanarak) ispatlamak mümkün değildir.
İşin ilginç tarafı, bu G ifadesi sistemin içine bir aksiyom olarak yerleştirilse bile, yeni bir Gödel cümlesi çıkartılabilir. Yani ne kadar aksiyom eklersek ekleyelim, böyle bir sistemde doğruluğu ya da yanlışlığı ispatlanamayacak bir Gödel cümlesi bulunacaktır.
Alıntı ile Cevapla
Cevapla

Seçenekler
Stil



Saat: 02:58


Telif Hakları vBulletin® v3.8.9 Copyright ©2000 - 2020, ve
Jelsoft Enterprises Ltd.'e Aittir.
Tipobet Kameralı Sohbet Süpertotobet istanbul escort istanbul escort Bahis Siteleri Bahis Siteleri Bahis Siteleri Bahis Siteleri Bahis Siteleri Bahis Siteleri Betvole tipobet365 elexbet canlı maç izle elexbet giriş hiltonbet canlı hiltonbet hiltonbet tv hiltonbet pashagaming giriş ngsbahis tv ngsbahis güncel giriş Bakırköy escort Ataköy escort Avcılar escort goldenbahis tv betmatik giriş elexbet giriş hiltonbet sex hikaye porno seyret buca escort bedava bonus İnterbahis Gorabet Goldenbahis Fenomenbet Betper Betpas Betpark Arzbet Sultanbet megabahis grbets kolaybet belugabahis eyüp escort beylikdüzü escort çorlu escort izmir escort istanbul escort bayan konya escort bayan sex hikaye

Search Engine Optimization by vBSEO 3.6.0 PL2