In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] sono catalogabili nella teoria dei modelli. Tra questi il teoremadi Löwenheim-Skolem, dimostrato in forma definitiva nel 1920; i teoremidi completezza e diincompletezzadi K. Gödel; l’accurata precisazione, formulata da Tarski nel 1933, del ...
Leggi Tutto
Godel Kurt
Gödel 〈gö´dël〉 Kurt [STF] (Brno 1906, nat. SUA - Princeton, New Jersey, 1978) Docente di matematica nell'univ. di Vienna (1933), nel 1938 passò negli SUA e dal 1946 fu membro permanente dello [...] Princeton, New Jersey. ◆ [FAF] Numero di G.: → gödelizzazione. ◆ [FAF] Teorema d'incompletezza sintattica di G.: il più celebre dei risultati di G., enunciato nel 1931 e noto come teoremadi G. per antonomasia: v. gödel, teoremadi: III 53 c. ◆ [RGR ...
Leggi Tutto
incompletezzaincompletézza [Der. di incompleto] [FAF] Il fenomeno per cui ci sono formule A(x) per le quali, per ogni n, si prova A(n), ma non si prova A(x) per ogni x: v. Gödel, teoremadi: III 56 [...] b. ◆ [FAF] Teoremadi i.: v. Gödel, teoremadi: III 53 c. ...
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à...