Limbajul matematic – între rigoare și incompletitudine
Cu toate acestea, matematica are o problemă serioasă la acest capitol: s-a demonstrat, și încă riguros, formal, că există afirmații adevărate, dar care nu pot fi demonstrate în această manieră formală, puterea limbajului matematic fiind limitată la descoperirea unui adevăr parțial. Acest rezultat, cu ecouri în concepția modernă despre cunoașterea științifică, a fost formulat de matematicianul austriac Kurt Gödel sub forma „Teoremelor de incompletitudine”, despre care voi vorbi în acest articol.