numero
Dizionario delle Scienze Fisiche (1996)
numero
nùmero [Der. del lat. numerus] [LSF] Oltre che nei vari signif. propri della matematica, alcuni dei quali sono ricordati oltre, il termine è usato in varie discipline fisiche anche come sinon. [...] ; (d) se x e y sono n. naturali con successori uguali, allora x e y sono uguali; (e) se per ogni n. naturale x è data una relazione logica φ(x) e se φ(0) è vera e la verità di φ(x) implica quella di φ(x+1), allora le relazioni φ(x) sono vere per ogni ...
Leggi Tutto
DE FILIPPIS, Vincenzo
Dizionario Biografico degli Italiani (1987)
DE FILIPPIS, Vincenzo
Ugo Baldini
Nacque a Tiriolo (Catanzaro) il 4 apr. 1749 da Vito e Laura Micciulli.
La famiglia si collocava probabilmente nel "ceto civile" degli uffici e delle professioni: ciò, [...] contrario dell'uso già invalso; la trattazione si sviluppava da pochi principi "metafisici", privilegiando criteri di generalità e derivabilità logica. In tal senso parve al Marcolongo che i tre libri (il primo sul moto in generale, il secondo sulla ...
Leggi Tutto
CASORATI, Felice
Dizionario Biografico degli Italiani (1978)
CASORATI, Felice
Eugenio Togliatti
Nacque a Pavia il 17 dic. 1835 da Francesco, un medico che fu aggregato alla facoltà medicochirurgica dell'università di Pavia e ripetitore di fisiologia e materia [...] sostituendo quei piani con reticolati a maglie. Bisogna notare che il C., più incline per temperamento alla riflessione logica sui fatti matematici che ai lunghi sviluppi analitici, ha sempre preferito seguire gli orientamenti di Riemann, sia nel ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
POMPILJ, Giuseppe
Dizionario Biografico degli Italiani (2015)
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 [...] può sempre rispondere che, a stretto rigore, ogni modello è falso, in quanto non coincide con la realtà» (G. Pompilj, Logica della conformità, in Archimede, IV (1952), p. 27). Le sue critiche partono da un’analisi dettagliata del significato e delle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
algebra
Enciclopedia on line
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] , hanno in realtà la stessa struttura algebrica, cioè dal punto di vista algebrico hanno la stessa ossatura logica. Inoltre vengono nettamente separate le ‘proprietà algebriche’ di un dato insieme – cioè quelle che discendono esclusivamente dalla ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Leonardo da Vinci
Enciclopedia on line
Pittore, architetto, scienziato (Vinci, Firenze, 15 aprile 1452 - castello di Cloux, od. Clos-Lucé presso Amboise, 2 maggio 1519). Ha personificato il genio rinascimentale che rivoluzionò sia le arti figurative [...] di quest'ultimo periodo sono i disegni in cui è immaginata la fine del mondo, evento fantastico in cui operano con logica coerenza e con terribile bellezza le forze della natura indagate da Leonardo. Il 29 aprile 1519 faceva testamento; morì tre ...
Leggi Tutto
grafo
Enciclopedia on line
Nel linguaggio scientifico, struttura relazionale formata da un insieme finito di oggetti detti nodi o vertici, e da un insieme di relazioni tra coppie di oggetti dette archi o spigoli. Per indicare un [...] le strutture dati usate in un elaboratore, le interconnessioni in rete di elaboratori e i sistemi di comunicazione. La logica di funzionamento di un sistema di elaborazione è di norma di tipo discreto e rilevanti applicazioni dell’informatica, quali ...
Leggi Tutto
NUMERI, Teoria dei
Enciclopedia Italiana - IV Appendice (1979)
NUMERI, Teoria dei
Enrico Bombieri
Gli sviluppi recenti della t. dei n. (v. aritmetica: Aritmetica inferiore o teoria dei numeri, IV, p. 370) hanno condotto alla soluzione di problemi fondamentali e [...] l'equazione diofantea P(x1, ..., x23) = n è risolubile se e solo se n è un numero primo. I metodi di logica matematica impiegati nello studio del problema di Hilbert permettono anche di trasformare l'enunciato di problemi (per es., il problema dei 4 ...
Leggi Tutto
OPERATORI; OPERAZIONALE, CALCOLO
Enciclopedia Italiana - IV Appendice (1979)
OPERATORI; OPERAZIONALE, CALCOLO (od operatorio, calcolo)
Tullio Viola
Riteniamo opportuno aggiungere alle considerazioni svolte nelle voci: operatori (App. III, 11, p. 317) e simbolico, calcolo (App. [...] x) od operatore (lo stesso: 1/x) come a una nozione unica" (B. de Finetti), è indubbia la distinzione rigorosamente logica dai due concetti.
4. - I funzionali vennero chiamati dapprima, da Volterra, "funzioni di linee", tali linee essendo i diagrammi ...
Leggi Tutto
COLLALTO, Antonio
Dizionario Biografico degli Italiani (1982)
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 [...] prefazione egli traccia una breve storia del calcolo differenziale, considerando i vari tentativi settecenteschi di chiarificazione logica dei suoi fondamenti, introdotti dal Leibniz senza una giustificazione che non fosse quella della fecondità ...
Leggi Tutto