La civilta islamica: antiche e nuove tradizioni in matematica. Gli archimedei e i problemi infinitesimali
Roshdi Rashed
Gli archimedei e i problemi infinitesimali
La storia della geometria infinitesimale, [...] al paraboloide; si ha un⟨Vn, dunque un⟨ε, da cui: v+un⟨V/2. D'altra parte, si ha v+un =∑ni=1Wi, e dunque ∑ni=1Wi<V/2. l'incompletezza già segnalata S2 e h1>h2, si ha V1>V2. Questo teorema, anche se si dimostra in generale con il metodo di Ibn ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] da Gödel nel 1931, dell'incompletezza dei Principia mathematica e della teoria ‛se-allora', non si conosce neppure il suo campo d'applicazione, e ci si può dunque trovare all'improvviso di dalla teoria matematica (dal teorema di Gödel) consegue che ...
Leggi Tutto
Scienza greco-romana. Le sfere celesti e le origini della trigonometria
John L. Berggren
Le sfere celesti e le origini della trigonometria
La comparsa della sfera nella geometria è una diretta conseguenza [...] trattamento matematico dei loro argomenti. Infine, l’incompletezza formale di questi trattati, i quali in maniera è contenuta nel sofisticato trattamento dell’angolo d’inclinazione tra due cerchi massimi, esposto nel teorema 22. L’uso da parte di ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] A⊃B in realtà emerge solo quando A⊃B è un teorema della logica di riferimento, nel qual caso si può applicare la libere su un unico dominio universale D, di cui i vari Di sono , mentre i risultati di incompletezza rispetto a strutture relazionali sono ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] , fondamentale è stata la riflessione sui teoremi di incompletezza ottenuti da Kurt Gödel nel 1931. Questi fede, Atti del Seminario di studio, Lecce 6 dicembre 2006, a cura di D. Pallara, M. Spedicato, Galatina 2007.
L. Ambrosio, M. Forti, A ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] Infine, nel 1931, Gödel pubblicò i suoi teoremi di incompletezza, che rivelarono l'esistenza di profonde limitazioni (Minkowski 1973, p. 129). Molti dei problemi di Hilbert, d'altronde, non erano affatto nuovi e alcuni di essi avevano profonde radici ...
Leggi Tutto
incompletezza
incompletézza s. f. [der. di incompleto]. – Condizione di ciò che è incompleto: i. di una serie, di un elenco, di una reazione chimica; non sono in grado di giudicare, per i. dei dati (o per i. d’informazione). In logica matematica,...