In tutti i testi di matematica sia universitari che non, quando si stabilisce una corrispondenza biunivoca tra due insiemi infiniti non si fa nulla, si mostrano semplicemente alcuni termini dei due insiemi, magari su due righe sovrapposte, ed è finita lì, come per esempio tra tutti i naturali e i naturali pari. Ora io dico: e se volessimo meccanizzare un algoritmo (magari con una macchina di Turing) per costruire effettivamente la corrispondenza come potremmo fare? Cioè se io desidero che sia una macchina a stabilire l’esistenza o meno della corrispondenza ciò non implica un tempo? Mi spiego: supponiamo di avere due macchine ( ideali per esempio) una che conta i termini di un insieme e l’altra conta i termini dell’altro insieme. Una delle due macchine non resterà sistematicamente indietro rispetto all’altra? E allora in che senso sono riuscito a stabilire la corrispondenza? Esistono ricerche in questa direzione? o non mi rendo conto di pensare in modo scorretto? Grazie per la vostra cortesia.

[…]

Leggi tutto

Studiando i criteri di divisibilità, ci siamo accorti che, per sapere se un numero è divisibile per 11, oltre al criterio descritto dal nostro libro di testo, si può anche sottrarre l’ultima cifra al numero formato dalle altre; se si ottiene 0 o un multiplo di 11, il numero è divisibile: ad es. 957 è divisibile per 11 perché 95-7 = 88, che è multiplo di 11. Poi ci siamo accorti che, con piccole variazioni si può stabilire se un numero è divisibile per 13, per 17 o per 19: – per 13 : si sottrae l’ultima cifra al triplo del numero formato dalle altre : ad es 299 è divisibile per 13 perché 29*3-9= 78, che è multiplo di 13; – per 17 : si sottrae l’ultima cifra al numero formato dalle altre moltiplicato per 7: – per 19 : si sottrae l’ultima cifra al numero formato dalle altre moltiplicato per 9. Regole analoghe possono anche essere applicate per stabilire se un numero è divisibile per 10, per 12, per 14, per 15, per 16 e per 18. Vorremmo sapere se quelli che abbiamo “scoperto” possono essere considerati criteri di divisibilità e se ci potete spiegare il perché di questi comportamenti.

[…]

Leggi tutto

Dato un numero N prodotto di due numeri primi (a*b=N) esiste una regola, al di fuori della scomposizione in fattori primi per individuare a e b? Se immaginiamo, infatti, N abbastanza grande (es. un numero composto da 100 cifre i tentativi della scomposizione per trovare a e b non possono essere fatti nemmeno da un computer!!! Perchè gli antichi matematici si interessarono del rapporto aureo e dove trovo del materiale in immagini che riguardi questo argomento?

[…]

Leggi tutto