• 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
lingua italiana
50 risultati
Tutti i risultati [50]
Matematica [25]
Storia della matematica [9]
Filosofia [7]
Storia del pensiero filosofico [5]
Logica matematica [4]
Algebra [3]
Biografie [4]
Temi generali [3]
Informatica [3]
Fisica [3]

Gödel, Kurt

Enciclopedia on line

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 emigrò negli USA, di cui prese la cittadinanza nel 1948. È stato membro permanente (dal 1946) dell'Institute for advanced study (Princeton) e dell'Association ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: INSTITUTE FOR ADVANCED STUDY – TEORIA DELLA RELATIVITÀ – TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – ERNST MACH
Mostra altri risultati Nascondi altri risultati su Gödel, Kurt (4)
Mostra Tutti

combinatòria

Enciclopedia on line

Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] per la combinatoria. Anche prima della costruzione dei computer, questioni di carattere teorico hanno portato a risultati importanti. Kurt Gödel nel 1931 dimostrò che vi sono enunciati veri sui numeri naturali che non si possono dedurre dagli assiomi ... Leggi Tutto
CATEGORIA: ALGEBRA
TAGS: TEORIA DELLE RAPPRESENTAZIONI – PROBLEMA DEI QUATTRO COLORI – FONDAMENTI DELLA MATEMATICA – SERIE FORMALI DI POTENZE – CALCOLATORI ELETTRONICI
Mostra altri risultati Nascondi altri risultati su combinatòria (4)
Mostra Tutti

Odifreddi, Piergiorgio

Enciclopedia on line

Odifreddi, Piergiorgio Odifreddi, Piergiorgio. -  Matematico e scrittore italiano (n. Cuneo 1950). Laureato in matematica a Torino (1973), ha proseguito gli studi negli Stati Uniti presso le università dell’Illinois e della [...] (2017); La democrazia non esiste. Critica matematica della ragione politica (2018); Il dio della logica. Vita geniale di Kurt Gödel matematico della filosofia (2018); Il genio delle donne. Breve storia della scienza al femminile (2019); nel 2022, In ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: PROVA DEL NOVE – FENOMENOLOGIA – STATI UNITI – KURT GÖDEL – MATEMATICA
Mostra altri risultati Nascondi altri risultati su Odifreddi, Piergiorgio (1)
Mostra Tutti

STORIA DELLA MATEMATICA

Enciclopedia della Matematica (2013)

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 [...] coincidessero con le verità matematiche (correttezza e completezza semantica): un passo decisivo in questa direzione fu fatto da Kurt Gödel (1906-78), che nel 1929 dimostrò che il calcolo dei predicati del primo ordine era semanticamente completo ... Leggi Tutto
TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – METODO DEI MOLTIPLICATORI DI LAGRANGE – ACCADEMIA DELLE SCIENZE DI BERLINO – TEOREMA FONDAMENTALE DELL’ALGEBRA – MEDITATIONES DE PRIMA PHILOSOPHIA

La grande scienza. Cronologia scientifica: 1961-1970

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1961-1970 1961-1970 1961 Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] teoria degli insiemi di Zermelo-Fraenkel, e che lo stesso vale per l'assioma della scelta. Il logico austriaco Kurt Gödel aveva già dimostrato, nel 1940, che questi due assiomi sono consistenti con Zermelo-Fraenkel; quindi, il contributo di Cohen ... Leggi Tutto
CATEGORIA: STORIA DELL ASTRONOMIA – ANTROPOLOGIA FISICA – STORIA DELLA BIOLOGIA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica

Storia della Scienza (2004)

La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica Umberto Bottazzini Filosofia e pratica matematica Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] , la patria di Kant. La cosa più interessante di quel convegno però è la breve comunicazione (Tav. V) di un giovane logico viennese, Kurt Gödel (1906-1978), che passa quasi inosservata ma ha effetti devastanti sulle sorti del programma hilbertiano ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

L'Universo matematico

Frontiere della Vita (1998)

L'Universo matematico John D. Barrow (Astronomy Centre, University of Sussex, Brighton, Gran Bretagna) Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] . Sfortunatamente, e in modo del tutto inaspettato, l'impresa crollò quasi da un giorno all'altro. Nel 1931 Kurt Gödel, un giovane matematico sconosciuto dell'università di Vienna, dimostrò che l'obiettivo di Hilbert non era raggiungibile. Qualunque ... Leggi Tutto
CATEGORIA: COSMOLOGIA – TEMI GENERALI

La grande scienza. Combinatoria

Storia della Scienza (2003)

La grande scienza. Combinatoria Peter J. Cameron Combinatoria Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] la combinatoria. Anche prima della costruzione dei computer, questioni di carattere teorico hanno portato a risultati importanti. Kurt Gödel (1931) dimostrò che vi sono enunciati veri sui numeri naturali che non si possono dedurre dagli assiomi di ... Leggi Tutto
CATEGORIA: ALGEBRA

La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica Solomon Feferman Le scuole di filosofia della matematica I più importanti programmi di fondazione della [...] Bernays e Kurt Gödel. Oggi si parla dunque dei sistemi assiomatici ZF (Zermelo-Fraenkel) e BG (Bernays-Gödel). Con sconfitta temporanea. Ciò emerse nel 1931 dagli sbalorditivi risultati di Gödel in base ai quali se T è una qualsiasi teoria formale ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

La grande scienza. Automi e linguaggi formali

Storia della Scienza (2003)

La grande scienza. Automi e linguaggi formali Dominique Perrin Automi e linguaggi formali La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] automi finiti in un contesto nel quale a prima vista essi non compaiono, e cioè nella logica formale. Dai lavori di Kurt Gödel degli anni Trenta era noto che la teoria logica degli interi con le operazioni + e × è indecidibile; ciò lasciava aperta la ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE
1 2 3 4 5
Vocabolario
godeliano
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à...
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