Il paradosso della prova
October 24, 2022•154 words
Non appena si tenta di provare qualcosa, sia pure informalmente (ma anche formalmente), ci si scontra con la domanda: che cos'è una prova? È chiaro che non esistono prove, ma solo conclusioni in accordo con certi assiomi. Più in generale, includendo le "derivazioni" informali, quelle cioè che facciamo tutti i giorni e che sto facendo io qui, esistono idee in accordo con altre e con l'idea di relazione tra idee. Assumiamo quindi che si possa dimostrare qualsiasi cosa: come ci accordiamo sugli assiomi? Si potrebbe pensare di provarli uno per uno: ma per la natura della prova, come detto sopra, il processo è infinito. Dunque ne consegue (tautologicamente) che più un'idea è vaga più è facile che venga accettata. Congetturo che tanto più un'idea è famosa, tanto più essa è vaga nella sua definizione e nella sua dimostrazione. Paradossalmente, un'idea esisterebbe di più tanto meno essa è vera. Non la renderebbe questo più vera?