dimotrare???
Moderatore: tutor
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.
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
<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]