Travisando completamente le conclusioni di Goedel riguardo all'indimostrabilita' della coerenza della matematica.. qualcuno si impegna per distruggerla cercando una contraddizione negli assiomi di Peano...
Molto divertente. Riusciranno i nostri eroi a trovare il piu' grande numero dispari?
Non ho ancora capito se sono seri o no, fattosta' che lo stanno facendo e per ora impegnano una stazione di calcolo alpha.. ma solo perche' ancora non hanno messo a punto un algoritmo di calcolo distribuito.
mah... ecco cosa dicono le faq del loro sito:
Q: Are you serious? It is easy to prove that there is no such thing as the greatest odd number.
A: The proof is trivial, when you believe that there are no contradictions in Peano's axioms. But what guarantees that those axioms are free of contradictions? Nothing, and that's the thing we are searching - a contradiction.
Q: Is it true that the US government has for years denied knowledge of the existence of the Greatest Odd Number?
A: This is very likely, because the USA is a powerful country with a lot of supercomputers. They have probably found the number already.
Q: Do you know how France will react?
A: We don't know, but with the experience gotten from the RSA-incident, we think that the French government will soon make addition and modular arithmetic prohibited.
LOL !!
1 comment:
e io che ho problemi con la tabellina del 7.
ma che dire del ruolo dell'algebra nella poesia?
e del ruolo della poesia nell'aritmetica?
e del ruolo dell'algebra nella gastronomia?
e del ruolo della gastronomia nella sociologia?
e del ruolo della tossicodipendenza nella grammatica?
e del ruolo di questultima nel ruolo della prima?
e del ruolo di libero nel calcio moderno?
Post a Comment