rację mój znajomy: matematyka sprowadza się do nudnego<br>procederu. <br> A jednak tak nie jest. Na początku lat trzydziestych austriacki matematyk Kurt Gödel udowodnił twierdzenie, które potem zostało ochrzczone jego nazwiskiem i które wielu myślicieli jest skłonnych uważać za najważniejsze osiągnięcie matematyki XX w. Twierdzenie Gödla można wyrazić bardzo prosto: układ aksjomatów dla każdej teorii matematycznej, która jest przynajmniej tak bogata jak arytmetyka (może to więc być sama arytmetyka), jeżeli jest niesprzeczny, to jest niezupełny. W tych kilku zdaniach mieści się wielka rewolucja myślowa, być może dziś nawet jeszcze do końca nie zrozumiana.<br> Warto również dodać, że sam sposób dowodzenia tego twierdzenia