ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] la sua funzione caratteristica χP è ricorsiva.
Teoremidi composizione di K. Gödel
I tre teoremi seguenti consentono di ottenere, dai precedenti, nuove funzioni e predicati ricorsivi primitivi. Teorema 1: le funzioni ottenute da funzioni o predicati ...
Leggi Tutto
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] neri. L'induzione ha incontestabilmente un valore euristico, ma non ha valore di prova assoluta.
Il teoremadi incompletezza di K. Gödel mostra, d'altronde, che un sistema deduttivo formalizzato non può trovare in se stesso la dimostrazione assoluta ...
Leggi Tutto
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] oltremodo restrittiva delle conoscenze matematiche tradizionali), sia per l'esito del famoso teoremadi K. Gödel, che nel 1931 mostrò l'intrinseca impossibilità di stabilire, entro un sistema logico-matematico implicante l'aritmetica elementare, il ...
Leggi Tutto
Il caos, nel linguaggio della fisica e della matematica moderna, identifica la situazione di impossibilità di stimare a priori con certezza il valore futuro delle grandezze che caratterizzano un sistema [...] temporali caotiche possa portare alla scrittura di un algoritmo universale di previsione delle stesse. G. Chaitin ha dimostrato l'impossibilità di tale costruzione in base al teoremadi incompletezza di K. Gödel, aprendo nuovi orizzonti al dibattito ...
Leggi Tutto
Matematico e logico-matematico statunitense, nato a Long Branch (New Jersey) il 2 aprile 1934. Ha conseguito il Ph. D. all'università di Chicago nel 1958; è professore di matematica all'università di Stanford [...] nel 1878, e posta da D. Hilbert nel 1900 come primo problema matematico) K. Gödel nel 1940 aveva dimostrata la compatibilità con quegli assiomi. Il teoremadi C. e il cosiddetto "metodo del forcing", da lui creato per realizzarne la dimostrazione ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] dosi di ormone femminile a girini anfibi, se ne ottiene la mascolinizzazione.
Economia
P. del liberale paretiano Teorema presentato di R. Robinson (1937), di P. Bernays (1936-1958) e di K. Gödel (1938) possono considerarsi come sviluppi di quello di ...
Leggi Tutto
Peano Giuseppe
Peano Giuseppe [STF] (Cuneo 1858 - Torino 1932) Prof. di analisi infinitesimale nell'univ. di Torino (1890). ◆ [ALG] Aritmetica di P.: una costruzione assiomatica dell'aritmetica: v. Gödel, [...] teoremadi: III 54 b. ◆ [ALG] Curva di P.: ideata da P. per dimostrare errate certe idee sulle curve, in partic. che esse siano identicamente enti continui a una dimensione; è costituita da una spezzata di segmenti identici che, al limite, ricopre ...
Leggi Tutto
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, teoremadi: III 54 f. ◆ [...] [ALG] [FAF] Teoremidi Löwenheim-S.: v. logica: III 485 e. ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] si poteva ottenere una decomposizione disgiunta di una sfera unitaria dello spazio R3 in 4 insiemi, A, B, C, D tali che A, B, C e B ∪ C erano congruenti e D numerabile).
Nel 1940 Gödel dimostrerà un teorema che garantiva la compatibilità dell’assioma ...
Leggi Tutto
RELATIVITÀ
Christian Moller
Tullio Regge
Eugenio Garin
Relatività di Christian Møller
sommario: 1. Introduzione e panorama storico: a) il principio di relatività speciale. Sistemi inerziali; b) relatività [...] in un sistema inerziale in moto con velocità assoluta v, il teoremadi composizione delle velocità (3) fornisce per la velocità della luce un nostra stessa esistenza e di quella del mondo, Gödel si ferma sulla ‟scoperta di una nuova e stupefacente ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
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à...