• 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
14 risultati
Tutti i risultati [57]
Matematica [13]
Filosofia [6]
Informatica [5]
Fisica [4]
Storia della fisica [4]
Fisica matematica [4]
Temi generali [4]
Storia della matematica [4]
Letteratura [3]
Algebra [3]

indecidibile

Dizionario delle Scienze Fisiche (1996)

indecidibile indecidìbile [Comp. di in- neg. e decidibile "che non può essere deciso"] [ALG] [FAF] Teoria i.: quella per la quale non esiste nessun algoritmo mediante il quale sia possibile decidere [...] in un numero finito di passi, per ogni proposizione formulabile in essa, se sia vera o falsa; è tale, per es., l'intera aritmetica (v. Gödel, teorema di: III 53 c) ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA
Mostra altri risultati Nascondi altri risultati su indecidibile (1)
Mostra Tutti

trivalente

Dizionario delle Scienze Fisiche (1996)

trivalente trivalènte [agg. Comp. di tri- e valente] [CHF] Di elemento chimico che ha valenza tre, cioè che presenta trivalenza. ◆ [ALG] [FAF] Logica t.: quella nella quale si ammette che una proposizione [...] possa essere o vera o falsa o indecidibile. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

teoremi di indecidibilita

Enciclopedia della Scienza e della Tecnica (2008)

teoremi di indecidibilità Silvio Bozzi In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] di questi risultati è il teorema di Gödel (1931), il quale afferma che l’aritmetica di Peano del primo ordine è indecidibile. Il risultato si può estendere a teorie molto più deboli dell’aritmetica di Peano – quale il sistema Q di Robinson – e ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: PROBLEMA DELLA FERMATA – MACCHINE DI TURING – LOGICA MATEMATICA – TEORIA DEI NUMERI – ARITMETICA
Mostra altri risultati Nascondi altri risultati su teoremi di indecidibilita (4)
Mostra Tutti

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, [...] R, la cui complessità è superiore a quella del sistema del computer. Una domanda come "R è una sequenza casuale?" è indecidibile per il computer. La complessità delle proposizioni "R è casuale" e "R non è casuale" è troppo grande per essere tradotta ... Leggi Tutto
CATEGORIA: COSMOLOGIA – TEMI GENERALI

risolubile

Dizionario delle Scienze Fisiche (1996)

risolubile risolùbile [agg. Der. del lat. resolubilis "che si può risolvere", dal part. pass. resolutus del lat. resolvere "sciogliere di nuovo"] [ALG] Equazione algebrica r. per radicali, o r. algebricamente: [...] di Ising in una e due dimensioni (v. modelli risolubili in meccanica statistica). ◆ [ALG] [FAF] Problema non r., o indecidibile: nella logica matematica, problema logico che in linea di principio non ammette una soluzione generale: è tale, per es ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA

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. [...] . In modo equivalente, L è computabile se è riconosciuto da una macchina di Turing che si ferma sempre. Un tipico linguaggio indecidibile è l'insieme delle coppie (⟨M⟩, x), dove M è una macchina di Turing, opportunamente codificata da una parola, e x ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE

Computazione, teoria della

Enciclopedia della Scienza e della Tecnica (2007)

Computazione, teoria della Fabrizio Luccio La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] , a meno che non sia banalmente verificata da tutti o da nessuno. Corollario. Per un'arbitraria MT M le seguenti questioni sono indecidibili: L(M)=Φ L(M)≠Φ, L(M) è finito L(M) Σ*, L(M) è regolare L(M) è libero, L(M) è ricorsivo L(M) non è ricorsivo ... Leggi Tutto
CATEGORIA: ANALISI MATEMATICA
TAGS: CALCOLO DEI PREDICATI DEL PRIMO ORDINE – LINGUAGGI DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – CORRISPONDENZA BIUNIVOCA – TEOREMA DI INCOMPLETEZZA

La grande scienza. Cronologia scientifica: 1941-1950

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1941-1950 1941-1950 1941 Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] del campo razionale. La matematica americana Julia Robinson dimostra che la teoria del primo ordine del campo razionale è indecidibile; non esiste, cioè, un algoritmo che, data una formula della logica del primo ordine nel linguaggio della teoria dei ... Leggi Tutto
CATEGORIA: ANTROPOLOGIA FISICA – BIOCHIMICA – STORIA DELLA BIOLOGIA – CHIMICA FISICA – STORIA DELLA CHIMICA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

Complessità algoritmica

Enciclopedia della Scienza e della Tecnica (2007)

Complessità algoritmica Fabrizio Luccio Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] algoritmi esponenziali conforta la congettura che P≠NP, ma la prova che tale affermazione sia vera o falsa, decidibile o indecidibile non sembra vicina. La scoperta che Psod è NP-completo ha permesso di dimostrare che altri problemi P∈NP hanno questa ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – INSIEME DEI NUMERI NATURALI – TEORIA DELLA COMPUTABILITÀ – TEORIA DELLA COMPLESSITÀ – TEORIA DEGLI INSIEMI

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 [...] è spiegata da una diversa interpretazione del terzo valore. Per Kleene 1/2 significa indecidibile (si applica quindi alle proposizioni indecidibili dell'aritmetica), mentre 1/2 per Bochvar significa paradossale e si applica quindi alle proposizioni ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: GEORG WILHELM FRIEDRICH HEGEL – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – GOTTFRIED WILHELM LEIBNIZ – RELAZIONE DI EQUIVALENZA
1 2
Vocabolario
indecidìbile
indecidibile indecidìbile agg. [der. di decidere, col pref. in-2]. – Propr., che non può essere deciso. In logica, è detto di ogni asserzione, proposizione, formula per la quale si dimostra che, in un dato sistema formalizzato, né essa né...
indecidibilità
indecidibilita indecidibilità s. f. [der. di indecidibile]. – L’essere indecidibile. In logica, condizione nella quale è impossibile decidere se una proposizione è vera o falsa.
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