• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
il chiasmo
lingua italiana
5 risultati
Tutti i risultati [5]
Matematica [4]
Fisica [1]
Lingua [1]
Comunicazione [1]
Religioni [1]

godeliano

Vocabolario on line

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 [...] la coerenza dell’aritmetica all’interno del formalismo dell’aritmetica stessa, ecc.; numeri g., o numeri di Gödel, numeri naturali che possono venire associati biunivocamente, secondo determinati criterî, ai segni, alle formule e alle dimostrazioni ... Leggi Tutto

godelizzazione

Vocabolario on line

godelizzazione godeliżżazióne ‹ġö-› s. f. [dal nome di K. Gödel (v. la voce prec.)]. – Procedimento logico-matematico ideato da K. Gödel per formalizzare la matematica, detto anche aritmetizzazione (v.). ... Leggi Tutto

nùmero

Vocabolario on line

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 [...] del numero di Reynolds, per cui si ha transizione dal moto laminare a quello turbolento); n. quantico (v. quantico); n. di Gödel, o n. gödeliano (v. gödeliano); n. di Mach (v. mach); n. di iodio (v. iodio); in statistica, n. indice (v. indice, n. 4 e ... Leggi Tutto

incompletézza

Vocabolario on line

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, teorema d’i. sintattica, quello con il quale K. Gödel (1909-1978) dimostrò che qualsiasi sistema formale coerente in grado di rappresentare l’aritmetica è sintatticamente incompleto (v. incompleto). ... Leggi Tutto

teorèma

Vocabolario on line

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 [...] in un ramo della matematica (t. fondamentale dell’algebra), dal loro scopritore, reale o presunto (t. di Pitagora, t. di Gödel); talvolta, un teorema va sotto il nome di corollario o di lemma (v. le rispettive voci). In un teorema si distinguono in ... Leggi Tutto
Enciclopedia
Gödel, Kurt
Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) denominato Wiener Kreis. Dopo il 1938...
godelizzazione
godelizzazione gödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logica matematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione di un sistema formale del primo ordine....
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali