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
CREMONA, Luigi
U. Bottazzini
Lauro Rossi
Nacque a Pavia il 7 dic. 1830 da Gaudenzio, un novarese di famiglia assai agiata poi caduta in rovina, e da Teresa Andreoli. Ebbe tre fratelli tra i quali Tranquillo, [...] di volumi, cambi sfavorevoli, incompletezza e disordine dell'inventario e le quali egli stabilì un gran numero di teoremi e di proprietà. Si tratta di uno algebriche di dato genere. Osservazioni, in Rend. d. Ist. lombardo di scienze lettere ed arti, ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] più lungo di n bit. Ripercorriamo ora la storia della materia, iniziando con un pregevole pezzo d'antiquariato: il primo teorema di incompletezza, enunciato e dimostrato da Kurt Gödel nel 1931.
Fissiamo la nostra teoria assiomatica formale come sopra ...
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,...