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, [...] proporzionalità tra area del cerchio e quadrato del diametro, e il teoremadi Pitagora. In entrambi i casi si studia la lunula associata di unificare i vari casi particolari. Ma l'incompletezza già segnalata nasconde la possibilità dell'esistenza di ...
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 [...] Con la dimostrazione, data da Gödel nel 1931, dell'incompletezza dei Principia mathematica e della teoria dei numeri ha matematica (dal teoremadi Gödel) consegue che la costruzione di una macchina di Turing capace di calcolare qualsiasi funzione ...
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 [...] matematico dei loro argomenti. Infine, l’incompletezza formale di questi trattati, i quali in maniera piuttosto declinazione (l’altezza sopra l’equatore), considera come acquisito un teoremadi sferica, che, peraltro, non si ritrova in nessuno dei ...
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 [...] si può dimostrare un teoremadi completezza generalizzato rispetto a classi di modelli in cui le proprietà di R rientrano nello schema diincompletezza rispetto a strutture relazionali sono sporadici a livello proposizionale, c'è un numero infinito di ...
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 [...] contatto più stretto e più profondo con tutti gli altri.
Accanto ai testi sapienziali, fondamentale è stata la riflessione sui teoremidiincompletezza ottenuti da Kurt Gödel nel 1931. Questi dimostrano, in primo luogo, che nessun sistema finito ...
Leggi Tutto
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 [...] della m. hilbertiana non dipende però tanto da questa difficoltà quanto dal teorema d'incompletezzadi Gödel.
La metamatematica di Gödel. - La novità del metodo metamatematico di K. Gödel sta nel fatto che egli, oltre alla teoria matematica oggetto ...
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 [...] anni Venti. Infine, nel 1931, Gödel pubblicò i suoi teoremidiincompletezza, che rivelarono l'esistenza di profonde limitazioni insite nel programma formalista perseguito dagli allievi di Hilbert. Nonostante questo scacco, gli sforzi per provare la ...
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,...
godeliano
‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...