La seconda rivoluzione scientifica: matematica e logica. La topologia degli insiemi di punti
Roger Cooke
Brian Griffith
La topologia degli insiemi di punti
La topologia generale o topologia degli insiemi [...] ) il principio dell'assenza di angoli e la dimostrazione restava valida. Era quindi naturale considerare un insieme infinito in passato. Cantor mostrò che (P')' è contenuto in P'. Definì poi perinduzione P(0)=P e P(ν+1)=(P(ν))'. La successione hP(ν)j ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] , sul delta del Tevere e in Sardegna dall'Unità Dimostrativaper il Controllo della Malaria della Rockefeller Foundation. Data l'efficacia di potenziale elettrico che si sviluppa perinduzione elettromagnetica trasversalmente alla corrente, che è ...
Leggi Tutto
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 sottoinsieme dell'insieme finito {1, 2 in parametri numerici. La definizione è perinduzione sul numero di simboli logici di un ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] freon e altri) e in essa agisce un campo magnetico con induzione di 2 T, generato da bobine percorse da una corrente elettrica chimica fisica organica del Centro di Studi di Grenoble dimostranoper la prima volta l'esistenza del ferromagnetismo in ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] da Jacob e Monod sull'induzione dell'enzima beta-galattosidasi. L'esperimento dimostra che l'infezione di reale V e una forma bilineare continua su di esso a(u,v), tale che per un dato α>0 e per ogni v∈V soddisfi a(v,v)≥α∥v∥2 ‒ se K⊂V è convesso ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] stesso e da E. Szemerédi.
I Teoremi A e B. H. Cartan dimostra che per un qualsiasi fascio analitico coerente F su uno spazio di Stein X si ha: e Frank M. Burnet inducono sperimentalmente l'induzione della tolleranza immunologica: se un organismo allo ...
Leggi Tutto
Scienza greco-romana. Scienza e forme di sapere in Platone
Luc Brisson
Scienza e forme di sapere in Platone
L'atteggiamento di Platone nei confronti del sapere relativo al mondo sensibile è oggetto [...] Teodoro prova per la prima volta ‒ anche se in modo incompleto e facendo ricorso all'induzione ‒ l circolarità di tutti i movimenti menzionati si spiega con la volontà di dimostrarne la permanenza (v. sopra). Platone passa poi al sistema nutritivo ( ...
Leggi Tutto
L'Ottocento: matematica. Analisi complessa
Jeremy Gray
Analisi complessa
Lo sviluppo dell'analisi complessa è una delle caratteristiche salienti della matematica del XIX secolo. Lo studio di funzioni [...] molti casi gli integrali venivano calcolati "per mezzo di una sorta di induzione" basata sul "passaggio dal reale all'immaginario"; pensando, come Laplace, che a questo metodo mancasse una dimostrazione rigorosa, si impegnò nel tentativo di fornirne ...
Leggi Tutto
L'Ottocento: matematica. Teoria dei numeri
Catherine Goldstein
Teoria dei numeri
Le tappe più significative dello sviluppo di un settore della scienza o dell'arte si accordano raramente con la suddivisione [...] teorie acquista un fascino particolare perché importanti proposizioni si possono spesso scoprire per semplice induzione, ma sono tuttavia di una tale profondità che non se ne trova la dimostrazione se non dopo molti tentativi" (Smith 1859, p. 39). La ...
Leggi Tutto
L'Ottocento: matematica. Il rigore in analisi
Umberto Botta
Il rigore in analisi
L'eredità di Lagrange
All'epoca della Rivoluzione francese, l'esigenza di formare una classe di ingegneri civili e militari [...] equazioni lineari in infinite incognite con una specie di induzione e la felice divinazione del risultato di un ardito Cantor indeboliva le ipotesi del suo teorema dimostrando che esso continuava a valere se per certi valori di x "viene meno o ...
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...