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
#2 05. 12. 2013 10:52
- vojta_vorel
- Příspěvky: 70
- Škola: MFF UK
- Pozice: student
- Reputace: 5
Re: Jak vyřešit bezespornost teorie?
↑ vandusik:
Ahoj
Řekl bych, že stačí najít jakýkoli model. Sporné teorie model nemají.
Vojta
Offline
#4 05. 12. 2013 11:03 — Editoval Rumburak (05. 12. 2013 11:26)
Re: Jak vyřešit bezespornost teorie?
↑ vandusik:
Ahoj.
Když model nenajdeme, může to znamenat i to, že jsme nehledali dobře, takže to o teorii nic nevypovídá.
Když v teorii lze dokázat nějakou větu a rovněž i její negaci, pak je teorie sporná.
Offline