Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] un algoritmo di verifica per le dimostrazioni. Definiremo teoria assiomatica formale un siffatto sistema formale. Come qualunque linguaggio di programmazione. Un importante esempio è il LISP, che useremo in seguito come linguaggio diriferimento. I ...
Leggi Tutto
LOMBARDO RADICE, Lucio
Albertina Vittoria
Piervittorio Ceccherini
Nacque a Catania il 10 luglio 1916, da Giuseppe e da Gemma Harasim, terzogenito dopo Giuseppina e Laura.
Come lui stesso scrisse, i [...] punto diriferimento per gli intellettuali del dissenso cecoslovacco e di altri Paesi dell'Est europeo, facendosi interprete di loro scettico riguardo alla possibilità di democratizzazione del sistema socialista e, dopo il colpo di Stato in Polonia ( ...
Leggi Tutto
MIRANDA, Carlo
Franco Palladino
Nacque a Napoli il 15 ag. 1912 da Giovanni, medico e professore all’Università di Napoli (di cui fu rettore nel 1921-23) e da Elena Nimmo.
Compiuti gli studi secondari, [...] generica area matematica all’interno della facoltà di scienze – costituita di cattedre autonome dotate di gabinetti con sale di studio e biblioteche e con un seminario matematico quale punto diriferimento comune per la ricerca – fosse giuridicamente ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Vito Volterra
Angelo Guerraggio
Fino agli anni Settanta del secolo scorso, le tracce di Vito Volterra nel mondo matematico italiano sono rimaste piuttosto deboli. La maturazione di una diversa sensibilità [...] il prevalente magistero di Dini, il suo iniziale e principale punto diriferimento. Ancora studente del il modello preda-predatore (detto anche modello di Lotka-Volterra) pervenendo a un sistemadi due equazioni differenziali del primo ordine:
Formula ...
Leggi Tutto
resistenza
resistènza [Der. del lat. resistentia, dal part. pres. resistens -entis di resistere "resistere", comp. di re- "re-" e sistere "fermarsi"] [LSF] (a) In senso generico, il fatto di resistere, [...] con la formula generale: R=CrSρ V2/2, dove S è una superficie diriferimento (per es., per le ali è la superficie in pianta), ρ è la . ◆ [ELT] R. di isolamento: (a) l'altissima r. elettrica dei componenti un sistemadi isolamento elettrico; (b) la ...
Leggi Tutto
integrale
integrale [s.m. e agg. Der. del lat. integralis, da integer "intero"] [LSF] Relativo alla considerazione di una totalità di elementi o che concorre alla costituzione di questa totalità. ◆ [ANM] [...] dz sono le componenti di v e ds secondo gli assi diriferimento x,y,z, rispettiv di un'equazione differenziale o di un siste-ma di equazioni differenziali: lo stesso che soluzio-ne dell'equazione o del sistemadi equazioni differenziali. ◆ [MCS] I. di ...
Leggi Tutto
Numerazione
Walter Maraschini
Come si denominano e come si scrivono i numeri
In ogni lingua i numerali, cioè le parole che indicano i numeri, sono diversi: uno, due, tre in italiano diventano one, two, [...] fare riferimento alle dita. Non è un caso che nelle tavolette di argilla ritrovate in Mesopotamia e risalenti a due o tre millenni prima di Cristo si sono trovate incisioni con segni che significano rispettivamente 1, 2, 3.
E anche nel sistemadi ...
Leggi Tutto
PIOLA DAVERIO, Gabrio
Danilo Capecchi
PIOLA DAVERIO, Gabrio. – Nacque a Milano il 15 luglio 1794 da Giuseppe Maria, patrizio e giureconsulto milanese, e da Angiola Casati, in una famiglia ricca e nobile.
Venne [...] motivi per cui quest’ultimo tenne Piola come punto diriferimento tra gli scienziati italiani durante la sua permanenza italiana dubbie e non troppo persuadenti. È desso un sistema che abbisogna appunto di quelle sole cognizioni a cui arriva la mente ...
Leggi Tutto
piano 2
piano2 [Der. del lat. planum "pianura", neutro sostantivato dell'agg. planus] [ALG] Ente geometrico costituente l'astrazione del concetto intuitivo di una superficie liscia, non incurvata, priva [...] definiti a meno di un fattore di proporzionalità, il cui annullarsi è in relazione a particolari assetti del p. rispetto al riferimento (per es., del circolo massimo assunto come fondamentale in un sistemadi coordinate celesti, qual è il p. dell' ...
Leggi Tutto
permeabilita
permeabilità [Der. di permeabile] [LSF] Proprietà di essere permeabile, in senso proprio e figurato. ◆ [FTC] Proprietà dei materiali solidi di impregnarsi e lasciarsi attraversare da fluidi [...] , ci si riferisce a tale p. (più spesso, equival., alla corrispondente p. relativa); (e) p. magnetica relativa: la p. magnetica di una sostanza relativ. a quella del vuoto, e quindi grandezza adimensionata in qualunque sistemadi unità di misura; in ...
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...