Skolem Thoralf Albert
Skolem 〈skùulem〉 Thoralf Albert [STF] (Sandsvær 1887 - Oslo 1963) Prof. di matematica nell'univ. di Oslo (1938). ◆ [ALG] [FAF] Paradosso di S.: v. Gödel, teorema di: III 54 f. ◆ [...] [ALG] [FAF] Teoremi di Löwenheim-S.: v. logica: III 485 e. ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] soltanto di una questione di periodizzazione: è la logica sotterranea delle alleanze tra neoarchimedismo e teorie dell'impetus ῾ mi ha detto che il nipote di Ibn Mu῾āḏ, giudice e matematico, gli aveva riferito di aver visto dal tempo di Ibn Mu῾āḏ due ...
Leggi Tutto
La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. L'ottica
A. Mark Smith
Graziella Federici Vescovini
Eyal Meiron
L'ottica
L'eredità dell'ottica araba nel mondo [...] di Ibn al-Hayṯam fu notevole anche da un punto di vista matematico. Il suo impiego delle sezioni coniche per risolvere quello che nel fenomeni meteorologici sia durante la trattazione della scienza della logica e di altri argomenti. Anche nel De῾ot ...
Leggi Tutto
La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. Dinamica
Marwan Rashed
Dinamica
Scrivere la storia della dinamica araba non è facile, principalmente per due ragioni: [...] , ragionamenti per assurdo ed estrapolazioni di natura dialettica oppure logica, non ha nulla di moderno. Tutt'al più si cercare a tutti i costi di modernizzare il pensiero del celebre matematico, ci limiteremo a osservare che non si può fare a meno ...
Leggi Tutto
L'Eta dei Lumi: l'avvento delle scienze della Natura 1770-1830. Fisica e chimica esatte
Theodore S. Feldman
Frederic L. Holmes
Marco Beretta
Fisica e chimica esatte
Misure premoderne e strumenti
di [...] physique. Il nuovo metodo applicava le tecniche razionali e matematiche dell'ingegneria e della meccanica ai risultati di una a un sistema di suffissi, era possibile una loro combinazione logica.
Fu comunque in ambito chimico che l'influenza della ...
Leggi Tutto
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 [...] una molecola d'acqua. Tale idea consente di rivisitare la logica e la teoria della dimostrazione da un punto di vista 150.000 anni circa.
1988
L'omologia di Floer. Il matematico tedesco Andreas Floer introduce una nuova teoria omologica per le 3 ...
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 [...] del cervello umano. Il neurofisiologo Warren S. McCulloch e il matematico Walter H. Pitts riconducono i meccanismi basilari del cervello umano alla logica simbolica booleana. Il modello suggerisce che tali meccanismi fisiologici potrebbero essere ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Roshdi Rashed
Dal greco all'arabo: trasmissione e traduzione
Gli storici delle scienze e della [...] voleva conoscere di più e meglio la filosofia, la logica, e ugualmente la statica e la fisica. Le esigenze traduttore-dotto al dotto-traduttore
Ṯābit ibn Qurra è uno dei più grandi matematici non solo dell'Islam ma di tutti i tempi. Inizia la sua ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La musica
Paolo Gozza
La musica
La musica e il Cosmo
Secondo la tradizione, l'istituzione del termine Cosmo (kosmos, mundus) risale a Pitagora. [...] Tolomeo (II sec. d.C.), impegnata a risolvere con calcoli matematici il moto anomalo dei pianeti e a fornire previsioni certe per 1981 (trad. it.: La consolazione della musica, della logica, della teologia e della filosofia, Bologna, Il Mulino, 1986 ...
Leggi Tutto
L'Eta dei Lumi: l'avvento delle scienze della Natura 1770-1830. La retroguardia qualitativa
Giuliano Pancaldi
John L. Heilbron
Anders Lundgren
La retroguardia qualitativa
Nuovi fenomeni: la pila [...] la legge coulombiana dell'inverso del quadrato. Il modello matematico della pila realizzato da Biot era basato sulla semplice algebra metodo del bilancio di materia sia stato la logica conseguenza dell'interesse lavoisieriano per gli esperimenti di ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...