gödel'in eksiklik teoremi bize, matematiğin tutarlı olduğunu bilemeyeceğimizi gösterdi. tutarsızlığı bilinebilir tabii, mesela ortaya bir çelişki çıkartırsın ve deriz ki: "aa meğer tutarsızmış!". ancak tutarsız değilse, yani tutarlıysa, bunu bilmenin bir imkânı yoktur.
yani gödel'in eksiklik teoreminin ardından şunu biliyoruz: tutarlıysa bile, asla ama asla tutarlı olduğunu bilemeyeceğiz.
Tüm Reklamları Kapat
