Gödel, sayılar teorisi gibi yeterli karmaşıklıktaki bir sistemde hem doğru hem de yanlış olduğu kanıtlanamayacak bir önermenin var olması gerektiğini kanıtladı.
Sayfa 188Kitabı okudu
·
11 görüntüleme
Yorum yapabilmeniz için giriş yapmanız gerekmektedir.