Citazione di: iano il 27 Febbraio 2023, 19:13:23 PME' la stessa rispettabile posizione di Eutidemo che io ho battezzato ''come matematica del coltello'' , dove è il coltello a fare a pezzi l'anguria.ma non me ne frega niente di Zermelo, quello che mi frega è se tutta sta costruzione di assiomi di logica matematica e geometrica è applicabile alla realtà . Sembra di no, quindi è una dimostrazione logica non applicabile . le equazioni di Newton sono applicabile alla realtà fenomenica? sì lo sono, infatti posso predire le eclissi di sole e di luna tramite un algoritomo basato sulla gravità universale. nel primo caso abbiamo un interessante costruzione logica che funziona solo in senso logico, dall altra abbiamo una costruzione matematica che si applica alla realtà. Questo è tutto ciò che ho imparato da questo interessante paradosso presentato da Eutidemo. E qui passo e chiudo.
Ma per avere a disposizione questo coltello bisogna rifiutare l'assioma di scelta di Zermelo.
Una volta rifiutatatolo avrai a disposizione un coltello col quale tagliare l'anguria come ti pare, ma nel momento in cui andrai a ricomporre i pezzi otterrai sempre la stessa anguria, e non c'è neanche bisogno di tagliare l'anguria, perchè si può dimostrare matematicamente che è così.
Ma il fatto che la matematica dimostra tutto è il contrario di tutto non significa che è contraddittoria, ma che la dimostrabilità di una tesi non è indipendente dagli assiomi assunti.