dimotrare???

Un forum per discutere di tutto quello che non riguarda la matematica!

Moderatore: tutor

Bloccato
Barozz
Messaggi: 123
Iscritto il: 01 gen 1970, 01:00
Località: Turbigo MI

Messaggio da Barozz »

Secondo voi è possibile che un teorema o un qualsiasi enunciato, che non si trova in antitesi con tutti gli altri teoremi dimastrati e validi, ma che non è dimostrabile può essere considerato vero? E è possibile dimostrare che una congettura non è dimostrabile? Questo non escluderebbe la sua validità?[addsig]
I limiti sono fatti per essere risolti.
Avatar utente
talpuz
Moderatore
Messaggi: 873
Iscritto il: 01 gen 1970, 01:00
Località: Pisa

Messaggio da talpuz »

che esistano proposizioni indecidibili è stato (ampliamente) dimostrato da Goedel, nella prima metà del 900
<BR>inoltre, un po\' dopo, un certo Cohen (mi pare fosse lui) ispirandosi a Goedel ha dimostrato che il problema del continuo proposto da Cantor un secolo prima è indecidibile, cioè si possono costruire sistemi in cui tra la cardinalità del numerabile e quella del continuo non ce ne sono altre, ma anche sistemi in cui succede il viceversa
[img:18oeoalk]http://www.narutolegend.it/char_img/Sasuke.jpg[/img:18oeoalk]
Bloccato