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 [...] di asserzione in forma di negazione che non era possibile sostituire con un'asserzione positiva. L'esempio di Brouwer considerava un numero reale definito da un esplicito riferimento studio della metamatematica disistemi costruttivi.
La semantica ...
Leggi Tutto
POMPILJ, Giuseppe
Enrico Rogora
POMPILJ, Giuseppe. – Nacque a Roma il 17 luglio 1913.
Nel 1918 perse il padre, morto in guerra. Si laureò con lode in matematica nel 1935 con una tesi di geometria algebrica [...] delle rilevazioni campionarie effettuate dall’Istituto centrale di statistica. Creò l’Istituto di calcolo delle probabilità presso la facoltà di scienze statistiche, che divenne un autorevole riferimento per tutte le ricerche che avevano la ...
Leggi Tutto
FANTONI, Filippo
Antonella Pagano
Figlio di Romolo, proveniente da nobile famiglia, nacque presumibilmente intorno al 1530 a Firenze, come attesta l'appellativo di "Florentinus" sempre presente accanto [...] Lorena, riferiscedi un "Matematico passato dello Studio di Pisa" che in tarda età prese ad analizzare la teoria copernicana con l'intento di confutarla ma, convinto dai principi e dalle dimostrazioni del nuovo sistema, fini per diventarne un aperto ...
Leggi Tutto
ortogonale
ortogonale [Der. del lat. orthogonus, dal gr. orthog✄ònios "ad angolo retto", comp. di orthós "dritto" e g✄onía "angolo"] [ALG] Qualifica di ciascuno di due enti che formano tra loro un angolo [...] Base o.: → base. ◆ [ALG] Coordinate o.: coordinate curvilinee identificate da linee coordinate costituenti un sistema o. (v. oltre), come sono, per es., le coordinate di un riferimento o. (v. oltre). ◆ [ALG] Curva o. a una superficie: una linea che ...
Leggi Tutto
cubico
cùbico [agg. (pl.m. -ci) Der. di cubo] [MTR] Come qualifica di grandezze, equivale a volumico, cioè indica riferimento all'unità di volume. ◆ [ALG] Di forme geometriche rappresentate da un'equazione [...] Un numero complesso ha parimenti tre radici c. ma tutte e tre complesse: → radice. R. di un numero nel campo complesso. ◆ [PSD] Reticolo c.: reticolo cristallino del sistema c., ove si abbia un atomo anche al centro delle facce (c. a facce centrate ...
Leggi Tutto
rappresentazione
rappresentazióne [Der. del lat. repraesentatio -onis, dal part. pass. repraesentatus del lat. repraesentare "rappresentare", comp. di re- "di nuovo" e praesentare "presentare"] [ALG] [...] quando a ogni punto si associ la sua ascissa in un prefissato riferimento cartesiano. ◆ [ALG] R. grafica: (a) modo di visualizzare mediante un disegno (di norma un diagramma) una funzione di una o più variabili; (b) il diagramma stesso. ◆ [ANM] R ...
Leggi Tutto
componente
componènte [agg., s.m. e s.f. Part. pres. di comporre: (→ componendo)] [LSF] Per un fenomeno di natura complessa, e anche per le grandezze che lo descrivono, denomin. o qualifica di fenomeni [...] di un vettore rispetto a un riferimento: per un vettore generico v e, per semplicità, in un riferimento cartesiano: (a) [s.m.] i tre c. di elettronici passivi. ◆ [TRM] C. indipendenti di un sistema termodinamico: v. fasi termodinamiche: II 542 d ...
Leggi Tutto
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
riferire2
riferire2 v. tr. [lat. referre, comp. di re- e ferre «portare»] (io riferisco, tu riferisci, ecc.). – 1. a. Di notizie, fatti, discorsi, riportarli, cioè comunicarli, farli sapere ad altri: appena tornato a casa riferì l’accaduto...