Informatica

Enciclopedia del Novecento I Supplemento (1989)

Informatica Teoria della computazione di Fabrizio Luccio SOMMARIO: 1. Origine e motivazioni. 2. Notazione. 3. Automi finiti. 4. Automi a pila. 5. La macchina di [...] trovato una risposta negativa nel 1931 con il famoso teorema di incompletezza di Gödel, che provava l'esistenza di formule indimostrabili nel calcolo dei predicati del primo ordine ... ... Leggi Tutto

TAGS: MASSACHUSETTS INSTITUTE OF TECHNOLOGY – LINGUAGGIO DI PROGRAMMAZIONE – METODO DEGLI ELEMENTI FINITI – RISONANZA MAGNETICA NUCLEARE – REPERTORIO DELLE ISTRUZIONI

STORIA DELLA MATEMATICA

Enciclopedia della Matematica (2013)

STORIA DELLA MATEMATICA di Luigi Borzacchini Il tempo della scienza senza tempo La matematica è la più antica e la più immutabile delle discipline. Si può dire che [...] ng era una funzione aritmetica di nt, ng = φ(nt). Gödel riuscì a determinare una teorema di incompletezza). Si tratta di una incompletezza essenziale: la possibile aggiunta di ... ... 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

lògica matemàtica

Enciclopedia on line

matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste [...] si può dimostrare né la verità né la falsità (teorema di incompletezza). Abstract di approfondimentoda Logica matematica di Silvio Bozzi (Enciclopedia della Scienza e della Tecnica ... ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA

metateoria

Enciclopedia della Matematica (2013)

metateoria teoria che ha come oggetto di studio un’altra teoria, che ne costituisce la sua teoria oggetto, di cui indaga caratteristiche, formalizzazioni, sintassi e semantica. I [...] però impossibile da realizzare nel momento in cui K. Gödel dimostrò il teorema di incompletezza (→ Gödel, teorema di). La distinzione netta fra teoria oggetto e metateoria, oltre ... ... Leggi Tutto

TAGS: FONDAMENTI DELLA MATEMATICA – TEOREMA DI INCOMPLETEZZA – TEORIA DEI SISTEMI – SISTEMA DI ASSIOMI – ASSIOMI DI PEANO

Metodo

Enciclopedia del Novecento (1979)

di Gerard Radnitzky Metodo sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari [...] Con la dimostrazione, data da Gödel nel 1931, dell'incompletezza dei Principia mathematica e della teorema di Gödel) consegue che la costruzione di una macchina di Turing capace di ... ... Leggi Tutto

CATEGORIA: DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA – LOGICA MATEMATICA

TAGS: PROBLEMA DELLA DEMARCAZIONE – PRINCIPIO DI VERIFICAZIONE – METODO DEI MINIMI QUADRATI – TEORIA DELLA DIMOSTRAZIONE – OSSERVAZIONE SPERIMENTALE

Hilbert, problemi di

Enciclopedia della Matematica (2017)

Hilbert, problemi di lista di problemi (23 in tutto), all’epoca irrisolti, esposti in parte da D. Hilbert nel 1900, in occasione del secondo Congresso internazionale dei matematici [...] , ma non nel senso ipotizzato da Hilbert. Il teorema di incompletezza di Gödel (1931) afferma infatti che se un sistema di assiomi per l’aritmetica è consistente (non contiene cioè ... ... Leggi Tutto

TAGS: SISTEMA DI ASSIOMI DI → ZERMELO-FRAENKEL – TEOREMA DI INCOMPLETEZZA DI GÖDEL – EQUAZIONE DIFFERENZIALE LINEARE – EQUAZIONE DI EULERO-LAGRANGE – TEOREMA DI → KRONECKER-WEBER

COMPLESSITA'

Enciclopedia Italiana - VI Appendice (2000)

Complessità Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde [...] ha incontestabilmente un valore euristico, ma non ha valore di prova assoluta. Il teorema di incompletezza di K. Gödel mostra, d'altronde, che un sistema deduttivo formalizzato non ... Leggi Tutto

CATEGORIA: TEMI GENERALI

EPISTEMOLOGIA

Enciclopedia Italiana - IV Appendice (1978)

EPISTEMOLOGIA. - Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi [...] famoso teorema di K. Gödel, che nel 1931 mostrò l'intrinseca impossibilità di dal rappresentare una limitazione esiziale, detta incompletezza, anche se per principio non può ... ... Leggi Tutto

TAGS: PRINCIPIO D'INDETERMINAZIONE – FILOSOFIA DELLA SCIENZA – ANALISI INFINITESIMALE – FERDINAND DE SAUSSURE – TEORIA DEGLI INSIEMI

Hilbert

Enciclopedia della Matematica (2017)

Hilbert David (Königsberg, Prussia Orientale, oggi Kaliningrad, Russia, 1862 - Göttingen, Bassa Sassonia, 1943) matematico tedesco. La sua opera ha segnato emblematicamente per la matematica [...] si manifestò inattuabile in seguito alla formulazione, a opera di Gödel, del teorema di incompletezza (→ Gödel, teorema di), ma i metodi inaugurati da Hilbert (metodi diretti, in ... Leggi Tutto

TAGS: FONDAMENTI DELLA MATEMATICA – FILOSOFIA DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – CALCOLO DELLE VARIAZIONI – CARDINALITÀ DEL CONTINUO

Logiche non standard

Enciclopedia della Scienza e della Tecnica (2007)

standard Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] noto corollario del teorema di Gödel. Pochi anni dopo (1940) un teorema dimostrato da James dimostrato che, mentre i risultati di incompletezza rispetto a strutture relazionali sono ... ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA