Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] delle costruzioni da cui si possono dedurre le regole della logica intuizionista.
13. L'induzione completa
Le dimostrazioni per induzione completa sono valide nella matematica intuizionista. Sia P(x) una proprietà che può essere goduta da un numero ...
Leggi Tutto
L'Eta dei Lumi: la fine della conoscenza naturale 1700-1770. Luce, calore, elettricita e magnetismo
Roderick W. Home
Luce, calore, elettricità e magnetismo
A partire dagli anni Settanta del Settecento, [...] di un'ampia gamma di effetti d'induzione elettrica, tra cui la straordinaria forza della scarica emessa dalla bottiglia di Leida. Tuttavia, egli non cercò mai di dare una dimostrazione interamente matematica della teoria, perché non volle speculare ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica. L'ottica e l'elettrodinamica dei corpi in movimento
Michel Janssen
John Stachel
L'ottica e l'elettrodinamica dei corpi in movimento
Il moto dell'etere
Il [...]
Più precisamente in questo teorema la descrizione matematica della configurazione nel sistema di riferimento in moto era la conclusione a cui giunsero riguardo ai fenomeni di induzione, ossia che essi dipendevano soltanto dallo stato di moto relativo ...
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 [...] il dogmatismo: le cause ricavate dai fenomeni per induzione devono essere ritenute vere, finché non se ne egli si ispira ai Sermons di Isaac Barrow (1630-1677), il matematico teologo che gli aveva ceduto la cattedra lucasiana di Cambridge.
Contro ...
Leggi Tutto
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 tenga conto anche degli sviluppi storici in altri campi della matematica.
Il Libro X e il commento di Pappo
I concetti intere positive; ci fornisce quindi la sua dimostrazione per induzione, accompagnata da una tavola triangolare che dà i ...
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 [...] elementi di ℕ.
L'ultimo assioma, il V, è alla base delle dimostrazioni per induzione su ℕ: per mostrare che una proprietà P(x) vale per ogni x∈ℕ, è forza le sue tesi sull'origine soggettiva della matematica e abbandonò la logica della verità e della ...
Leggi Tutto
Econometria
Edmond Malinvaud
Introduzione
L'econometria è oggi una branca della scienza economica; ma per conoscerla a fondo bisogna tener presente che a suo tempo essa fu anche un movimento che propugnava [...] allora molta attenzione da parte degli econometristi.
Una reazione contro i principî classici dell'induzione si è manifestata del resto nella stessa statistica matematica. Pur senza mettere in discussione l'uso di questi principî quando si tratta ...
Leggi Tutto
Enzo Iarocci
Acceleratore
«Io non cerco, trovo» (Pablo Picasso)
LHC. Il grande anello di collisioni adroniche
di
10 settembre
Il CERN, l’Organizzazione europea per la ricerca nucleare di Ginevra, mette [...] la sua intima struttura matematica, basata su simmetrie astratte, studiate da tempo nella teoria matematica dei gruppi. I segni che, in conseguenza della variazione del flusso di induzione magnetica, viene indotta nella spira costituita dall’orbita. ...
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 [...] aritmetico. Per quanto riguarda invece Ḫalīl, è verosimile che egli abbia ottenuto formule combinatorie, sebbene soltanto per induzione: era un matematico e un linguista geniale, e quelle formule non sembrano essere fuori della sua portata.
In quanto ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] struttura. Qui ricordiamo solo il fondamentale principio di induzione: ogni insieme non vuoto di numeri naturali equivalenza con un altro principio: per dimostrare che un teorema matematico è valido per ogni numero naturale n, basta dimostrarlo per ...
Leggi Tutto
variazionale
agg. [der. di variazione]. – Nel linguaggio scient., relativo a una variazione o a variazioni. Per es., in fisica, induzione v., l’induzione elettromagnetica prodotta da variazioni di un campo magnetico (si contrappone a mozionale,...
interferenza
interferènza s. f. [dal fr. interférence, che è dall’ingl. interference, propr. «incrocio, conflitto (di interessi, ecc.)», der. di (to) interfere: v. interferire]. – 1. Nel linguaggio scient. e tecn., il sovrapporsi di due fenomeni...