La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] finiti, ne esiste uno che è minore di un altro. Perdimostrare questo profondo risultato di matematica discreta, i due introducono l'importante Si avanza, quindi, per la prima volta l'ipotesi che l'induzione del programma di differenziamento ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] . Tecniche molto efficaci perdimostrare la non approssimabilità di alcuni problemi o per individuare con precisione i alla struttura del programma, con un meccanismo di induzione strutturale. Una delle caratteristiche dell'approccio denotazionale è ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] alla classe, allora ogni numero appartiene alla classe (principio d’induzione).
Dal primo assioma e dal quarto si deduce il teorema di filosofia (Parigi, 1900) egli presenta un metodo perdimostrare che un concetto primitivo R di una teoria T non ...
Leggi Tutto
MAGGI, Gian Antonio
Adriano Paolo Morando
Nacque a Milano il 19 febbr. 1856, dal nobile Pietro Giuseppe - noto orientalista, membro dell'Istituto lombardo di scienze e lettere - e da Clara Anelli. Si [...] . 13, pp. 384-390; Induzione elettrica su conduttori limitati da piani 1914], pp. 206-211), dette la dimostrazione rigorosa, poi approfondita da E. Beltrami Giorgi che "resterà come uno dei capisaldi per la storia della meccanica dei nostri tempi".
Il ...
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 [...] accantonato e dimenticato, a dimostrazione del fatto che «la matematizzazione non è fatta per dirigenti poco abili» (G del teorema di Bayes, il fondamento del processo di induzione statistica. La critica principale di Pompilj alla teoria della ...
Leggi Tutto
BOGGIO, Tommaso
Antonella Bastai Prat
Nato a Valperga (Torino), il 22 dic. 1877, da Francesco e Anna Fassino, frequentò la sezione fisico-matematica dell'istituto tecnico "Sommeiller". Dimostrò ben [...] ad una nuova ed elegante dimostrazione dell'importante teorema di Hilbert, per cui un'equazione con nucleo Académie des sciences di Parigi (Nuova risoluzione del problema dell'induzione magnetica per una sfera isotropa, in Nuovo Cimento, s. 5, ...
Leggi Tutto
variazionale
variazionale [agg. Der. di variazione] [LSF] Di principio o equazione esprimente una condizione cui deve soddisfare la variazione che una certa grandezza subisce quando si facciano variare [...] induzione di movimento, l'induzione che s'accompagna a variazioni nel tempo dell'induzione del campo magnetico in sistemi in quiete: v. induzione u è l'energia per unità di volume e ρ la densità. La dimostrazione della validità di questa affermazione ...
Leggi Tutto
ricorrenza
ricorrènza [Der. di ricorrente] [LSF] Ciascuno dei casi in cui un dato fenomeno si verifica, sinon. di occorrenza. ◆ [ALG] (a) Sinon. di induzione (completa), come nelle locuz. definizione [...] per r., dimostrazione o ragionamento per r., principio di ricorrenza. (b) Sinon. di ricorsività. ◆ [GFS] Metodo della r.: v. terremoto, previsione del: VI che si evolve secondo le equazioni di Hamilton, per un dato iniziale non di equilibrio x e una ...
Leggi Tutto
induzione
induzióne s. f. [dal lat. inductio -onis, der. di inducĕre «indurre», part. pass. inductus; nelle accezioni scient. dei nn. 3 e 4, dal fr. induction e ingl. induction]. – 1. non com. L’atto di indurre, di agire cioè con la persuasione...
per
pér prep. [lat. pĕr]. – Come le altre prep. proprie, può fondersi con l’articolo determinativo per dare luogo alle prep. articolate, raramente usate, pel (per il), pei o pe’ (per i), e ad altre, del tutto disusate, pegli (per gli), pella...