METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] elemento tra tutti quelli che soddisfano a P. Il postulato debole degli ε, che viene posto in luogo degli assiomi dei sia l'espressione A sia l'espressione ¬ A. Per far ciò, in base alla legge di Duns Scoto, basterà far vedere che c'è una formula ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Astronomia, astrologia e geografia matematica
John D. North
Anne Tihon
Graziella Federici Vescovini
Uta Lindgren
Astronomia, astrologia [...] scritto di Pietro ‒ che, sebbene non manchi di punti deboli, dimostra quanto l'autore desiderasse conoscere a fondo la nuova altri dati; sembra che sia stato lui a calcolare, sulla base di osservazioni durate 25 anni, che il movimento dell'apogeo ...
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; [...] sembra d'altronde far emergere i limiti della fisica del Kalām. I due punti deboli della dimostrazione di Abū Hāšim ‒ il tempo in essa è discreto, il che ipoteca alla base l'analisi di un processo continuo e, soprattutto, non si trova traccia dell ...
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 [...] Siding Spring in Australia; si tratta di due oggetti piuttosto deboli, rispettivamente, di magnitudine 14 e 17; appaiono molto (perigeo 268 km, apogeo 625 km, inclinazione 3,0°) dalla base italiana sulla costa del Kenya il 25 marzo; è l'ultimo della ...
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 [...] 05.30 locali, gli Stati Uniti fanno esplodere, in un'apposita base creata a circa 80 km a nord-ovest della località di Alamogordo, di Kyoto. ·
La teoria del gas di Bose debolmente interagente. Formulata dal fisico teorico Nikolaj N. Bogoljubov, del ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] esempio dal principio sopra enunciato possiamo provare una forma debole del teorema di irriducibilità di Hilbert per cui, con la funzione esponenziale), ecc. Sulla stessa linea, ma sulla base di tecniche diverse, sono i risultati di Ax e Kochen e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] e l'analisi". I suoi assiomi sono proposti non in base a un'analisi logica o filosofica, ma partendo dalla teoria , k è di Mahlo, allora è di Mahlo in L, se debolmente compatto, è debolmente compatto in L. La prima breccia in questo blocco si aprì nel ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Galilei e la geometria del moto accelerato
Enrico Giusti
Galilei e la geometria del moto accelerato
Tra l'impressionante numero di testi scientifici, [...] e tempi. è qui che l'argomentazione di Galilei è più debole e che egli forza lo strumento matematico di cui dispone, la del moto accelerato, che riempiono un rettangolo con la stessa base e altezza del triangolo del moto accelerato; dunque la sua ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola matematica di Mosca
Sergej Sergeevic Demidov
La scuola matematica di Mosca
La matematica a San Pietroburgo e a Mosca
Nella seconda [...] quale parteciparono i maggiori specialisti dell'epoca.
Sulla base della teoria delle funzioni di variabile reale si additiva dei numeri. Nel 1930 Šnirel′man dimostrò una forma debole della congettura di Goldbach, provando che ogni numero pari è ...
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 [...] modo opportuno i problemi irrisolti è anche possibile fornire un controesempio debole all'enunciato: 'per ogni numero reale x, x⟨0 oppure ' P→(¬P→Q), che trova giustificazione sulla base dell'interpretazione BHK. Il sistema della logica intuizionista ...
Leggi Tutto
debole
débole (ant. o region. débile) agg. e s. m. [dal lat. debĭlis]. – 1. agg. a. Che manca o è scarso di forza fisica: il malato è ancora d.; mi sento molto d.; un cavallo d., che non regge alla fatica; per antonomasia, spec. in senso scherz.,...
tampone
tampóne s. m. [dal fr. tampon, forma nasalizzata di tapon, affine all’ital. tappo]. – 1. In medicina e igiene, nome dato a varie confezioni o preparazioni in materiale assorbente (cotone idrofilo, garza, carta speciale, e simili, in...