Si definisce terminologia l’insieme dei termini e delle espressioni che designano i concetti e gli oggetti di un particolare settore del sapere o di una attività e professione umana (Marello 1995: 719) [...] , ecc.), la ➔ derivazione (bentonite, mendelevite, powellite, ecc.), la composizione di parole polirematiche (costante di Planck, teoremadiincompletezzadi Gödel, trombe di Falloppio, ecc.; cfr. Cortelazzo 1990; ➔ polirematiche, parole; ➔ scienza ...
Leggi Tutto
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 [...] semantica 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 ...
Leggi Tutto
Proprieta
Walter Euchner
Walter Santagata
Antonio Gambaro
di Walter Euchner, Walter Santagata, Antonio Gambaro
PROPRIETÀ
Filosofia e politica di Walter Euchner
Introduzione
Il rapporto tra proprietà [...] lo stesso risultato.
Secondo alcuni autori il cosiddetto teoremadi Coase non sarebbe altro che una tautologia (v. schiavitù e della sua estinzione partendo dall'ipotesi dell'incompletezza del diritto di proprietà sulla persona altrui (v. Barzel, 1977 ...
Leggi Tutto
Alberto Vespaziani
Abstract
L’interpretazione costituzionale dipende dalla teoria della costituzione e dalla teoria dell’interpretazione. Non esiste un grado zero dell’interpretazione, le interpretazioni [...] discorso sulle regole dell’interpretazione, con i suoi decaloghi ed imperativi costringenti, incontra il dilemma del teorema dell’incompletezzadi Gödel (Tribe, L.H., The Invisible Constitution, Oxford, 2008, 153 ss.): come si debbono interpretare le ...
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à...