Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#1 05. 05. 2010 15:40
gödelovy věty
dobrý den, mohu se zeptat, zda je tu někdo na fóru, kdo alespoň trochu rozumí důkazu gödelových vět. Peru se s tím a měl bych nějaké dotazy: předně, znamená to, že když formule nemá model tak je nedokazatelná? - i když uvažuji že je to nesmysl..
Offline
#2 06. 05. 2010 19:02
- check_drummer
- Příspěvky: 4650
- Reputace: 101
Re: gödelovy věty
Co znamená, že formule nemá model? Znamená to, že neexistuje model, ve kterém by formule byla splnitelná?
Myslím, že to, co říkáš je potom pravda (podle věty o úplnosti).
"Máte úhel beta." "No to nemám."
Offline
#3 12. 05. 2010 15:09
Re: gödelovy věty
↑ 7867088:
Jo, myslím že aspoň trochu rozumím Gödelovým důkazům :-)
Dva jsou tisíckrát jeden.
Offline