matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] teso a trovare solidi fondamenti per la m. ha subito tuttavia numerosi insuccessi, a partire dalla dimostrazione dei teoremi di Gödel, e ha anche smesso di essere al centro della riflessione matematica. Nuovo interesse è stato rivolto a temi poco ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
Hilbert, David
Enciclopedia on line
{{{1}}}
Matematico tedesco (Königsberg 1862 - Gottinga 1943). È la figura più notevole della matematica della prima metà del Novecento e forse dell'intero secolo. A Königsberg frequentò l'università con [...] successivi, ci si può ridurre. Dopo una notevole mole di lavoro tecnico in questa direzione, i risultati di K. Gödel dimostrarono sostanzialmente l'impossibilità del sogno hilbertiano. Forse H. non ne fu mai convinto ma una delle sue ultime opere ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
scelta
Enciclopedia on line
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] è equipotente a un sottoinsieme di un insieme B, allora B è equipotente ad un sottoinsieme di A). Nel 1938 K. Gödel dimostrò che l’assioma di s. (come l’ipotesi del continuo) è compatibile con i rimanenti assiomi delle correnti teorie assiomatiche ...
Leggi Tutto
Metodo
Enciclopedia del Novecento (1979)
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
Informatica teorica
Enciclopedia della Scienza e della Tecnica (2007)
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
CATEGORIE, Teoria delle
Enciclopedia Italiana - IV Appendice (1978)
Introduzione. - La teoria delle c. è di recente costruzione, ma, per la sua stessa natura, è oggi già penetrata diffusamente nella matematica. Essa rappresenta, nel pensiero matematico, un momento di sintesi, [...] ", ecc. Le vie seguite (o proposte) consistono o nell'assumere come base la teoria degl'insiemi con gli assiomi di Gödel-Bernays-von Neumann in cui gli oggetti primitivi (non definiti) sono le classi, gl'insiemi sono quelle classi che sono elementi ...
Leggi Tutto
sistema
Dizionario delle Scienze Fisiche (1996)
sistema
sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] dal suo linguaggio simbolico, dal suo apparato deduttivo e dai teoremi derivabili in essa, senza alcun riferimento esterno: v. Gödel, teorema di: III 53 f. ◆ [OTT] S. fotometrico: s. di grandezze fotometriche: v. misurazioni ottiche: IV 40 c. ◆ [ASF ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
ACUSTICA
–
ASTROFISICA E FISICA SPAZIALE
–
BIOFISICA
–
FISICA ATOMICA E MOLECOLARE
–
FISICA MATEMATICA
–
FISICA NUCLEARE
–
FISICA TECNICA
–
GEOFISICA
–
MECCANICA
–
MECCANICA DEI FLUIDI
–
MECCANICA QUANTISTICA
–
METROLOGIA
–
OTTICA
–
RELATIVITA E GRAVITAZIONE
–
STORIA DELLA FISICA
–
TERMODINAMICA E TERMOLOGIA
–
ALGEBRA
–
ANALISI MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
–
MECCANICA APPLICATA
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
DE GIORGI, Ennio
Dizionario Biografico degli Italiani (2014)
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] tutti gli altri.
Accanto ai testi sapienziali, fondamentale è stata la riflessione sui teoremi di incompletezza ottenuti da Kurt Gödel nel 1931. Questi dimostrano, in primo luogo, che nessun sistema finito di assiomi riuscirà mai a caratterizzare ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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