• 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
9 risultati
Tutti i risultati [14]
Matematica [9]
Algebra [4]
Informatica [4]
Temi generali [2]
Storia della matematica [2]
Analisi matematica [1]
Aritmetica [1]
Matematica applicata [1]
Cibernetica e intelligenza artificiale [1]
Filosofia [1]

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. [...] sui gruppi context-free. Il quarto e ultimo livello della gerarchia è costituito dalla classe dei linguaggi ricorsivamente enumerabili. Essa viene introdotta mediante le macchine di Turing. Definiremo anche la corrispondente classe di funzioni ... 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 [...] accettate dalla MT Mi di pari indice. Teorema 11. Il linguaggio Ld={αi tali che αi∉L(Mi), i=0,1,…} non è ricorsivamente enumerabile. Il teorema si dimostra notando che se esistesse una MT Mj tale che Ld=L(Mj), la definizione di Ld condurrebbe alla ... Leggi Tutto
CATEGORIA: ANALISI MATEMATICA
TAGS: CALCOLO DEI PREDICATI DEL PRIMO ORDINE – LINGUAGGI DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – CORRISPONDENZA BIUNIVOCA – TEOREMA DI INCOMPLETEZZA

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 [...] . Ma per (a)-A = {n∣T⊬¬ψn(n)}={n∣T⊦ψn(n)}, dunque −A è ricorsivamente enumerabile. Poiché sia A sia −A sono ricorsivamente enumerabili, A è un insieme ricorsivo. Perciò esiste un j tale che ψj(a) rappresenta A in T, cioè per ogni n: b) se n ... Leggi Tutto
CATEGORIA: ARITMETICA – STORIA DELLA MATEMATICA

La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsività

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita Piergiorgio Odifreddi Teoria della ricorsività La teoria della ricorsività affronta lo studio delle funzioni con lo [...] da un computer. L'insolubilità del problema della fermata dimostra che esistono insiemi ricorsivamente enumerabili ma non ricorsivi. Poiché per ogni insieme ricorsivamente enumerabile esiste un programma x che si ferma sull'argomento z se e solo se ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

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 [...] si immerge in un gruppo finitamente presentato se, e soltanto se, l’insieme delle relazioni del gruppo è ricorsivamente enumerabile, rendendo così esplicita l’analogia con i problemi di assiomatizzabilità e decidibilità per teorie. Su un altro ... 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

m-completo

Dizionario delle Scienze Fisiche (1996)

m-completo m-complèto 〈èmme-〉 [agg. Comp. del simb. m e completo] [ALG] Insieme m.: tipo particolare di insieme ricorsivamente enumerabile: v. Gödel, teorema di: III 57 d. ... Leggi Tutto
CATEGORIA: ALGEBRA

creativo

Dizionario delle Scienze Fisiche (1996)

creativo creativo [Der. del lat. creare "relativo al creare"] [ALG] Insieme c.: tipo di insieme ricorsivamente enumerabile: v. Gödel, teorema di: III 57 d. ... Leggi Tutto
CATEGORIA: ALGEBRA

enumerabile

Dizionario delle Scienze Fisiche (1996)

enumerabile enumeràbile [agg. Der. del lat. numerus "numero"] [ALG] Insieme e.: insieme per cui esiste un procedimento effettivo per stabilire una corrispondenza biunivoca tra i suoi elementi e i numeri [...] naturali. ◆ [ALG] [INF] Insieme ricorsivamente e.: v. automi, teoria degli: I 332 c. ... Leggi Tutto
CATEGORIA: ALGEBRA – TEMI GENERALI

ricorsivamente

Dizionario delle Scienze Fisiche (2012)

ricorsivamente ricorsivaménte [Der. di ricorsivo "in maniera ricorsiva"] [ALG] Insieme r. enumerabile: v. Gödel, teorema di: III 57 b. ◆ [ALG] Nozione non r. enumerabile: v. Gödel, teorema di: III 54 [...] f ... Leggi Tutto
CATEGORIA: ALGEBRA
Vocabolario
escluṡióne
esclusione escluṡióne s. f. [dal lat. exclusio -onis, der. di excludĕre «escludere»]. – 1. L’atto, il fatto di escludere o di essere escluso: e. da un’assemblea, dagli esami; e. dal diritto di voto (in determinati casi contemplati dalla legge);...
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