Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] prim'ordine, ma esso fu dato originariamente per un linguaggio più potente. La dimostrazione fa uso di un ‛procedimento diagonale' piuttosto simile a quello che si presenta nel paradosso di Russell, che a sua volta fu suggerito da un'argomentazione ...
Leggi Tutto
L'Ottocento: matematica. Il rigore in analisi
Umberto Botta
Il rigore in analisi
L'eredità di Lagrange
All'epoca della Rivoluzione francese, l'esigenza di formare una classe di ingegneri civili e militari [...] corrispondenza tra questi e i punti della retta. Tuttavia, come già sapevano gli antichi Greci, esistono grandezze come la diagonale e il lato di un quadrato che sono incommensurabili tra loro, e dunque segmenti che sono incommensurabili rispetto a ...
Leggi Tutto
diagonale
agg. e s. f. [dal lat. diagonalis, rifacimento del gr. διαγώνιος, comp. di διά «attraverso» e γωνία «angolo»]. – 1. s. f. a. In geometria, ogni segmento che congiunge due vertici non consecutivi di un poligono: le d. di un rettangolo,...
matrice
s. f. [dal lat. matrix -icis «madre; utero»]. – 1. a. Sinon. non com. di madre, soltanto nell’espressione merid. chiesa m., o assol. matrice, lo stesso che chiesa madre (v. madre). b. Sinon. letter. di utero, di uso com. nel linguaggio...