Trianello, 11/07/2008 21.34:
Molto più semplicemente ho dato per sottinteso che trattandosi di una verità dell’aritmetica la dimostrazione dovesse essere di tipo aritmetico.
Visto che parli di "aritmetica" sei sicuro che quella sia una verita' dell'aritmetica, ossia sei in grado di formularla utilizzando la stessa aritmetica senza utilizzare il linguaggio umano ?
per evitare fraintendimenti ti cito un link
it.wikipedia.org/wiki/Algebra_elementare
dove si accenna alla differenza fra aritmetica e algebra naturale.
La verita' in questione si puo' enunciare e dimostrare facendo uso dell'algebra naturale.
Sei tu in grado di formularla facendo uso dell'artimetica ?
nel link citato si dice "Mentre in aritmetica compaiono solo numeri specifici (in pratica solo numeri interi e razionali) e le operazioni aritmetiche (come +, −, ×, ÷), in algebra si usano anche simboli (come a, x, y) per indicare numeri reali o complessi."
Ed è questo che mi lascia perplesso, come possiamo formulare la verita' in questione facendo uso della sola aritmetica ? senza usare un minimo di algebra naturale ?
ciao
[Modificato da Mauro di Arcisate 12/07/2008 22:53]