La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] X≡{x:x=1⋁(x=2∧F)} dove F è una asserzione matematica ancora non dimostrata, come l'ipotesi di Riemann. X è un invece nel caso in cui si verifichi un ampliamento delle conoscenze. In questi modelli si ha la nozione di 'A è vero nel nodo k' oppure ...
Leggi Tutto
COLLALTO, Antonio
Ugo Baldini
Nacque a Venezia il 21 0 22 apr. 1765. Mancano notizie sulla famiglia, socialmente modesta; il Cicogna, nel rilevarne la totale estraneità a quella omonima appartenente [...] dei più recenti studi esteri nel calcolo, in quanto sul modello di Lagrange e Monge e di trattatisti come Biot e ) fu scritta da A. Meneghelli come necrologio per le Memorie di matematica e di fisica della Società italiana, fisica, XX (1829), 2, ...
Leggi Tutto
modello
modèllo s. m. [lat. *modĕllus, dim. di modŭlus: v. modulo]. – 1. a. In genere, qualsiasi oggetto reale che l’artista si propone di ritrarre, o che un artigiano, un operaio abbia dinanzi a sé per costruirne un altro uguale o simile,...
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...