Kurt Gödel
Wikipédia'''Kurt Gödel''' (* [[28. apríl]] 1906, Brno, Rakúsko-Uhorsko – † [[14. január]] 1978, Princeton, [[USA]]) bol logik, matematik, filozof, docent a profesor.
Citáty
- 1. Nech je daná axiomatická sústava aritmetiky Z+. Potom je vždy možné na základe tých pojmov, ktoré do sústavy vstupujú, zostaviť najmenej jednu takú vetu, ktorú pomocou danej axiomatickej sústavy nie je možné ani dokázať, ani vyvrátiť.