Semantica
Tullio De Mauro
*La voce enciclopedica Semantica è stata ripubblicata da Treccani Libri con il titolo Il valore delle parole, arricchita e aggiornata da un contributo di Stefano Gensini.
sommario: [...] exprimables, dans leur nature fondamentale, par des formules mathématiques"), contraddetta da testi successivi e dal Cours (R. Godel, Les sources manuscrites du Cours de linguistique générale, Genève 1957, pp. 44 e 49). Soprattutto con Hjelmslev ...
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 [...] la filosofia della matematica da Frege ai Principia mathematica, ha ancor oggi numerosi sostenitori. Con la dimostrazione, data da Gödel nel 1931, dell'incompletezza dei Principia mathematica e della teoria dei numeri ha avuto inizio per la filosofia ...
Leggi Tutto
Cibernetica
Ernest H. Hutten
di Ernest H. Hutten
Cibernetica
sommario: 1. Introduzione storica. 2. L'epistemologia delle macchine. 3. La struttura informativa delle macchine. 4. Sistema, processo, informazione [...] arrivati al concetto molto ampio di funzione ricorsiva generale, in cui non appare più l'elemento iterativo (Herbrand-Gödel-Kleene). Il concetto di ricorsività generale precisa l'idea intuitiva secondo cui si può determinare senza ambiguità tutta la ...
Leggi Tutto
REGGE, Tullio Eugenio
Adele La Rana
– Nacque a Torino l’11 luglio del 1931, secondo figlio di Michele e Lidia Petrini.
Già da bambino manifestò una spiccata predisposizione per la matematica e le [...] e parte in USA. Qui entrò in contatto e strinse amicizia con scienziati come Robert Oppenheimer, Freeman Dyson e Kurt Gödel.
I suoi interessi scientifici hanno continuato a variare e allargarsi, coprendo argomenti molto diversi: dalla teoria della ...
Leggi Tutto
caos e complessita
càos e complessità. – Nel linguaggio della fisica e della matematica moderna, la condizione di incertezza sulla previsione di un sistema dinamico governato da leggi deterministiche. [...] stesse. G. Chaitin ha dimostrato l’impossibilità di tale costruzione in base al teorema di incompletezza di Godel, aprendo nuovi orizzonti al dibattito epistemologico sulla intelligibilità dell’Universo. Molti fenomeni naturali sono descritti da ...
Leggi Tutto
cardinalita
cardinalità nozione introdotta da G. Cantor che generalizza il concetto intuitivo di “numero di elementi di un insieme” astraendo dalla natura e dall’ordine degli elementi stessi. La nozione, [...] e, più in generale, l’uguaglianza ℵi+1 = 2ℵi (ipotesi del continuo generalizzata). Nel 1938 il logico matematico K. Gödel dimostrò che l’ipotesi del continuo è consistente con gli assiomi della teoria degli insiemi di → Zermelo-Fraenkel, cioè che la ...
Leggi Tutto
Linguista (Ginevra 1857 - Vufflens 1913). Nipote di Nicolas-Théodore, pronipote di Horace-Benedict, in un ambiente di fine e antica cultura S. sviluppò un'intelligenza precoce, spesso applicata a fatti [...] e una ripresa rigorosamente formale delle idee di Saussure. Negli anni Cinquanta un valoroso latinista e armenologo ginevrino, R. Godel, si assunse il compito di risalire alle fonti e di rileggere i manoscritti degli allievi e del maestro, conservati ...
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 [...] regole dell’interpretazione, con i suoi decaloghi ed imperativi costringenti, incontra il dilemma del teorema dell’incompletezza di Gödel (Tribe, L.H., The Invisible Constitution, Oxford, 2008, 153 ss.): come si debbono interpretare le regole sull ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] dell'informatica teorica. Esso costituisce di fatto una prosecuzione e un arricchimento dell'opera dei logici (quali Kurt Gödel, Stephen Kleene, Alan Turing e Alonzo Church), che negli anni Trenta hanno affrontato e risolto i primi importanti ...
Leggi Tutto
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) [...] mendelevite, powellite, ecc.), la composizione di parole polirematiche (costante di Planck, teorema di incompletezza di Gödel, trombe di Falloppio, ecc.; cfr. Cortelazzo 1990; ➔ polirematiche, parole; ➔ scienza, lingua della);
(f) ➔ forestierismi (o ...
Leggi Tutto
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à...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...