• 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
26 risultati
Tutti i risultati [26]
Matematica [11]
Logica matematica [5]
Filosofia [3]
Storia della matematica [2]
Biografie [1]
Aritmetica [1]
Statistica e calcolo delle probabilita [1]
Biologia [1]
Filiere strumenti e tecniche della produzione industriale [1]
Geometria [1]

Informatica

Enciclopedia del Novecento (1989)

Informatica Fabrizio Luccio Franco P. Preparata Carl-Erik Fröberg Piero Sguazzero Piero Dell'Orco e Tomaso Poggio Teoria della computazione  di Fabrizio Luccio SOMMARIO: 1. Origine e motivazioni. [...] il famoso teorema di incompletezza di Gödel, che provava l'esistenza di formule indimostrabili nel calcolo dei predicati del primo ordine, attraverso la costruzione di una di tali formule. La prova di Gödel, basata sulla costruzione di una formula ... Leggi Tutto
TAGS: CALCOLO DEI PREDICATI DEL PRIMO ORDINE – MASSACHUSETTS INSTITUTE OF TECHNOLOGY – TEOREMA DI INCOMPLETEZZA DI GÖDEL – PROBLEMA DEL COMMESSO VIAGGIATORE – METODO DEGLI ELEMENTI FINITI
Mostra altri risultati Nascondi altri risultati su Informatica (12)
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 [...] dal numero nt e quindi ng era una funzione aritmetica di nt, ng = φ(nt). Gödel riuscì a determinare una formula d che rappresentava un punto (primo teorema di incompletezza). Si tratta di una incompletezza essenziale: la possibile aggiunta di d ( ... 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

lògica 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 ultime possono [...] 1931 però K. Gödel dimostrò che in qualsiasi sistema formale coerente in grado di rappresentare l'aritmetica esistono formule di cui non si può dimostrare né la verità né la falsità (teorema di incompletezza). Abstract di approfondimento da Logica ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA
Mostra altri risultati Nascondi altri risultati su lògica matemàtica (9)
Mostra Tutti

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 [...] sostenitori. Con la dimostrazione, data da Gödel nel 1931, dell'incompletezza dei Principia mathematica e della teoria dei matematica (dal teorema di Gödel) consegue che la costruzione di una macchina di Turing capace di calcolare qualsiasi funzione ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA
TAGS: PROBLEMA DELLA DEMARCAZIONE – PRINCIPIO DI VERIFICAZIONE – TEORIA DELLA DIMOSTRAZIONE – METODO DEI MINIMI QUADRATI – OSSERVAZIONE SPERIMENTALE
Mostra altri risultati Nascondi altri risultati su Metodo (4)
Mostra Tutti

Logiche non standard

Enciclopedia della Scienza e della Tecnica (2007)

Logiche non standard Claudio Pizzi Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] un ben noto corollario del teorema di Gödel. Pochi anni dopo (1940) un teorema dimostrato da James Dugundji, evidenziando di incompletezza rispetto a strutture relazionali sono sporadici a livello proposizionale, c'è un numero infinito di sistemi ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: GEORG WILHELM FRIEDRICH HEGEL – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – GOTTFRIED WILHELM LEIBNIZ – RELAZIONE DI EQUIVALENZA

EPISTEMOLOGIA

Enciclopedia Italiana - IV Appendice (1978)

. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] l'esito del famoso teorema di K. Gödel, che nel 1931 mostrò l'intrinseca impossibilità di stabilire, entro un sistema ". Ora, lungi dal rappresentare una limitazione esiziale, detta incompletezza, anche se per principio non può venir mai integralmente ... Leggi Tutto
TAGS: TRACTATUS LOGICO-PHILOSOPHICUS – PRINCIPIO D'INDETERMINAZIONE – METODO IPOTETICO-DEDUTTIVO – FILOSOFIA DELLA MATEMATICA – FILOSOFIA DELLA SCIENZA
Mostra altri risultati Nascondi altri risultati su EPISTEMOLOGIA (6)
Mostra Tutti

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 [...] contatto più stretto e più profondo con 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 ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: ISTITUTO NAZIONALE PER LE APPLICAZIONI DEL CALCOLO – ACCADEMIA NAZIONALE DELLE SCIENZE, DETTA DEI XL – PONTIFICIA ACCADEMIA DELLE SCIENZE – ACCADEMIA DELLE SCIENZE DI TORINO – EQUAZIONE ALLE DERIVATE PARZIALI
Mostra altri risultati Nascondi altri risultati su DE GIORGI, Ennio (4)
Mostra Tutti

La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Gödel

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel Carlo Cellucci I teoremi di incompletezza di Gödel Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] . La presente formulazione D1-D3 si deve a Martin Hugo Löb (Löb 1955). Possiamo allora formulare il seguente risultato (Gödel 1931b). Secondo teorema di incompletezza: esiste un enunciato φ tale che: 1) Se T è coerente allora T⊬φ; 2) S⊦ConT→φ, dove ... Leggi Tutto
CATEGORIA: ARITMETICA – STORIA DELLA MATEMATICA

INFORMAZIONE E COMPUTAZIONE QUANTISTICA: TEORIA

XXI Secolo (2010)

Informazione e computazione quantistica: teoria Mario Rasetti Al crocevia tra scienza e tecnologia La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] dall’inglese Alan M. Turing (1912-1954) nel suo tentativo di trovare una soluzione costruttiva al problema aperto da Gödel con i suoi teoremi di incompletezza individuando problemi che fossero dimostrabilmente indimostrabili, un oracolo è una specie ... Leggi Tutto

modello

Enciclopedia on line

In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] sono catalogabili nella teoria dei modelli. Tra questi il teorema di Löwenheim-Skolem, dimostrato in forma definitiva nel 1920; i teoremi di completezza e di incompletezza di K. Gödel; l’accurata precisazione, formulata da Tarski nel 1933, del ... Leggi Tutto
CATEGORIA: ARCHITETTURA E URBANISTICA – SCULTURA – FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – ECOLOGIA – ALGEBRA – GEOMETRIA – LOGICA MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – DIRITTO PRIVATO – STORIA E FILOSOFIA DEL DIRITTO – METODI TEORIE E PROVVEDIMENTI – EPISTEMOLOGIA – FILOSOFIA DEL DIRITTO – FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM
Mostra altri risultati Nascondi altri risultati su modello (6)
Mostra Tutti
1 2 3
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à...
incompletézza
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,...
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