Neděle, 11. prosinec 2016 | Svátek má Dana Text je dostupný pod licencí CC BY-SA 3.0 | Přihlášení

Kurt Gödel (1906 – 1978)


Logik, matematik, filozof, docent a profesor.
 
Kurt Gödel
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ť.


 
© 2009–2015Citáty Ochrana údajů | Kontakt