Messaggioda Martino » 18/06/2010, 19:43

Ho fatto una ricerca ma sembra che non sia facile trovare una dimostrazione di questo risultato, dovuto a Tarski.

Per ora ho trovato poco, ma qui ho trovato questo:

"For another indication of the controversy that initially surrounded the Axiom of Choice, consider this anecdote (recounted by Jan Mycielski in Notices of the AMS vol. 53 no. 2 page 209). Tarski, one of the early great researchers in set theory and logic, proved that AC is equivalent to the statement that any infinite set X has the same cardinality as the Cartesian product X x X. He submitted his article to Comptes Rendus Acad. Sci. Paris, where it was refereed by two very famous mathematicians, Fréchet and Lebesgue. Both wrote letters rejecting the article. Fréchet wrote that an implication between two well known truths is not a new result. And Lebesgue wrote that an implication between two false statements is of no interest. Tarski said that he never again submitted a paper to the Comptes Rendus."
Le persone che le persone che le persone amano amano amano.
Avatar utente
Martino
Moderatore globale
Moderatore globale
 
Messaggio: 3272 di 13035
Iscritto il: 21/07/2007, 10:48
Località: Brasilia

Precedente

Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite