Gödel'in bu teoremi matematikçilerin uğraş dallarına olan sonsuz güvenini kırmıştır elbet. Öte yandan bu teoremin gerçeğe sadece biçimsel olarak ve mantıkla ulaşılamayacağını kanıtlayarak, insanların bilgisayarlardan en azından bu konuda üstün olduklarını göstermiştir.