La civilta islamica: antiche e nuove tradizioni in matematica. La tradizione araba del Libro X degli Elementi
Marouane Ben Miled
La tradizione araba del Libro X degli Elementi
La storia delle letture [...] che la formula nota oggi come 'binomio di Newton' era stata dimostrata da al-Karaǧī per le potenze intere positive; ci fornisce quindi la sua dimostrazioneperinduzione, accompagnata da una tavola triangolare che dà i coefficienti dello sviluppo ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] da Russell, Weyl accettava come basilari il sistema dei numeri naturali e i principî a esso associati di dimostrazioneperinduzione e di definizione ricorsiva. Attribuiva a Russell la formulazione del principio del circolo vizioso, mentre citava le ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] (x>0∧y>0∧z>0∧ w>2→xw+ +yw≠zw). Un tipico metodo dimostrativo finitario è il procedimento di dimostrazioneperinduzione applicato ad asserzioni finitarie. Ciò che è caratteristico del nucleo finitario è che in esso si considerano soltanto ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] misurando la tensione elettrica che si genera perinduzione elettromagnetica nel cavo di vincolo.
Una conferma l'ultimo di 4 articoli (il primo del 1996), in cui dimostra che su una 4-varietà simplettica compatta gli invarianti di Seiberg-Witten ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. L'algebra e il suo ruolo unificante
Roshdi Rashed
L'algebra e il suo ruolo unificante
La seconda metà del VII sec. vede il costituirsi [...] dimostrazioni viene definita ῾illa (causa) della soluzione. Al-Ḫwārizmī non solo richiede una dimostrazioneper ogni caso, ma a volte per della dimostrazione di questa formula, compare come procedimento di dimostrazione in matematica l'induzione ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] (1852-1939) produce l'analoga dimostrazioneper π. Si capisce dunque perché, per molti matematici, l'ardita teoria cantoriana il nucleo teorico del suo lavoro.
Per Poincaré, al contrario, il principio di induzione ha natura di giudizio sintetico a ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] della distanza del corpo dal fuoco dell'ellisse. Nella dimostrazione egli usa la tecnica geometrica, integrata con il metodo ne corregge il dogmatismo: le cause ricavate dai fenomeni perinduzione devono essere ritenute vere, finché non se ne abbia ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] da al-Samaw᾽al che, alla fine del X sec., al-Karaǧī conosceva le formule
,
per n intero e che aveva anche dimostrato il teorema del binomio perinduzione finita completa. Dalla fine del X sec., le espressioni come la [15] vengono continuamente ...
Leggi Tutto
L'Eta dei Lumi: matematica. La teoria dei numeri
Günther Frei
La teoria dei numeri
La teoria dei numeri (o aritmetica) tratta delle proprietà dei numeri. Lungo tutta la sua storia, un tema dominante [...] , dove x è un numero reale, e dimostrò innanzitutto che non vi è alcuna espressione razionale per questo numero π(x). Tempo dopo, nel 1808, formulò l'ipotesi che π(x)≈x/(logx−a) con a=1,08366, ricavando questa espressione per 'induzione', vale a dire ...
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...