OliForum Matematico

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]

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