mantıkçı kurt gödelin eksiklik teorem tam olarak nasıl açıklanır nasıl ifade edilir?
Matematiğin çelişkisiz olduğunun ispatlanamayacağını ispatlamıştır. Bu oldukça ağır bir konu. Adam hayatını harcamış buna. Bir iki cümleyle anlatılamaz. Kitaplık çapta mevzû. Konuya vakıf olmak için Boğaziçi Üniversitesinin çıkardığı "Godel Kanıtlaması" adlı kitabı alıp okuyunuz.