verità s. f. [lat. vērĭtas -atis, der. di verus «vero»]. – 1. [...] di più geometrie), la corrente formalista ha inteso verità come sinon. di dimostrabilità; infine, nell’accezione logica più moderna, il concetto di verità fa riferimento ...
Leggi Tutto
Pur potendo vantare come erede della logica formale un'origine risalente almeno ad Aristotele, come disciplina scientifica la logica matematica è un acquisto recente. Possiamo far risalire la sua data di nascita al massimo alla metà dell'Ottocento,...
di Luigi Borzacchini
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica di base, quella insegnata oggi nella scuola primaria, è pressoché identica in tutte le scuole...