Úterý, 12. listopad 2024 | Svátek má Benedikt 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–2019Citáty Ochrana údajů | Kontakt