Sulle orme di Eulero Blog
La logica, in un certo senso, è il tentativo dell’uomo di trasformare la ricerca della verità in un calcolo, che trasforma un’affermazione in un’altra, fino ad arrivare al risultato finale.
Ma cos’è un’affermazione vera? È una domanda apparentemente facile, ma nasconde una serie di trappole a cui serve stare attenti. Ci sono frasi che non sono affermazioni, affermazioni che sono vere solo in certi contesti, o che sicuramente non sono vere, o che esprimono solo l’opinione di qualcuno, o che dicono troppo poco per capire di cosa si sta parlando…
Da sempre, i matematici si sono scontrati con un problema: come si fa a costruire una teoria in modo corretto? Di solito si parte da una o più premesse, si applica una serie di passaggi, e si giunge a una conclusione. Capire come garantire la correttezza di questa procedura non è facile, e ha impegnato gli studiosi per secoli, fino a far nascere una vera e propria disciplina di studio: la logica.
Nella storia della matematica, soprattutto nei secoli passati, quando scambiarsi informazioni a grandi distanze era più difficile, si è assistito a un fenomeno curioso: diversi studiosi, indipendentemente l’uno dall’altro, arrivano a fare la stessa...
Una specie di cicala che vive in Nord America, la magicicada, ha avuto un peculiare percorso evolutivo, in cui i numeri primi hanno svolto un ruolo fondamentale per la sua sopravvivenza. Che aiuto danno,...
Vi siete mai chiesti perché un’ora sia fatta di 60 minuti? I motivi pratici alla base di tale scelta sono molto antichi: l’idea fu adottata dai babilonesi circa 4000 anni fa. Eppure, il 5...