Aykut SARITAŞ Bilgi Paylaşım Sitesi !
Kurt Gödel’le aynı çağda yaşayan ünlü Alman matematikçi David Hilbert, matematik konuları içerisinde yer alan bütün ispatların, belirli bir sabit yöntem yada yöntemler bütünüyle, kısacası “aksiyomatik” bir sistematik aracılığıyla elde edilebileceğini savunuyordu ve bu düşünce çerçevesinde çalışmalar yapmaya başladı. Temel aritmetikteki bütün doğruları, aksiyomlarından türetebilir ise, matematikte yer alan bütün doğruları da bu aksiyom yapılarını kullanarak ortaya çıkarabilecekti.
Gödel’in Eksiklik Teoremi
