• 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
12 risultati
Tutti i risultati [12]
Matematica [4]
Informatica [2]
Storia della matematica [2]
Programmazione e programmi [1]
Temi generali [1]
Logica matematica [1]

funzione ricorsiva

Enciclopedia della Matematica (2017)

funzione ricorsiva funzione ricorsiva in logica, funzione aritmetica, cioè di dominio e codominio N, definita a partire da alcune funzioni base e attraverso alcune regole costruttive che ne garantiscono [...] base applicando solo gli schemi di composizione e ricorsione, sono dette funzioni ricorsive primitive. Esempi di funzioni ricorsive primitive sono l’addizione e la moltiplicazione fra numeri naturali, che si possono indicare rispettivamente con ... Leggi Tutto
TAGS: FUNZIONI RICORSIVE PRIMITIVE – FUNZIONE DI → ACKERMANN – FUNZIONI CALCOLABILI – FUNZIONE ARITMETICA – ENNUPLA ORDINATA
Mostra altri risultati Nascondi altri risultati su funzione ricorsiva (1)
Mostra Tutti

ricorsività

Enciclopedia on line

ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] iniziali mediante un numero finito di applicazioni delle regole di sostituzione e di induzione. Esempi di funzioni ricorsive primitive sono le comuni funzioni aritmetiche elementari: predecessore di x: pr(1) = 0, pr(x′) = x; segno di x: sg(0) = 0 ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: FUNZIONE RICORSIVA PRIMITIVA – FUNZIONE DI ACKERMANN – FUNZIONI RICORSIVE – TEORIA DEI NUMERI – NUMERI NATURALI
Mostra altri risultati Nascondi altri risultati su ricorsività (3)
Mostra Tutti

Logica matematica

Enciclopedia del Novecento (1978)

Logica matematica Abraham Robinson *La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] che ciò, di fatto, non si verifica, osserviamo che non è difficile ordinare effettivamente tutte le funzioni ricorsive primitive di una variabile secondo una successione infinita, con eventuali ripetizioni, specificando il modo in cui ciascuna ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEOREMA DI INCOMPLETEZZA DI GÖDEL – SCOMPOSIZIONE IN FATTORI PRIMI – TEOREMA DEL BUON ORDINAMENTO – FUNZIONE RICORSIVA PRIMITIVA – INSIEME DEI NUMERI NATURALI
Mostra altri risultati Nascondi altri risultati su Logica matematica (9)
Mostra Tutti

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 [...] il comportamento in modo tale da permetterne il calcolo. La speranza che la classe delle funzioni ricorsive primitive contenga tutte (e sole) le funzioni calcolabili, cioè quelle per le quali esiste un procedimento che permetta di trovarne i valori ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

Il teorema di Gödel ovvero i teoremi limitativi dell’aritmetica

Storia della civiltà europea a cura di Umberto Eco (2014)

Maria Conforti Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] , perché dipende esclusivamente dalla sua struttura; in particolare, per questa codifica Gödel si serve di funzioni ricorsive primitive. Attraverso questo procedimento tecnico chiamato gödelizzazione – che Gödel stesso ammetterà di avere ripreso da ... Leggi Tutto

successore

Enciclopedia della Matematica (2013)

successore successore di un elemento qualsiasi x di un insieme totalmente ordinato X (>), è l’elemento x′ ∈ X che è maggiore di x nell’ordinamento totale dell’insieme e tale che non vi siano altri [...] (n) = n + 1. La funzione successore è una delle → funzioni ricorsive di base a partire dalle quali è possibile costruire tutte le funzioni ricorsive primitive. Per esempio, la funzione addizione (Add) è una funzione ricorsiva primitiva che può essere ... Leggi Tutto
TAGS: FUNZIONE RICORSIVA PRIMITIVA – INSIEME TOTALMENTE ORDINATO – FUNZIONE SUCCESSORE – ORDINAMENTO TOTALE – TEORIA DEI NUMERI

minimalizzazione, operatore di

Enciclopedia della Matematica (2013)

minimalizzazione, operatore di minimalizzazione, operatore di o schema della minimalizzazione, una delle regole attraverso le quali si costruiscono le funzioni ricorsive. L’operatore di minimalizzazione, [...] delle funzioni ricorsive primitive all’insieme delle funzioni ricorsive generali. Le più comuni funzioni calcolabili sono infatti primitive ricorsive e per costruirle a partire dalle funzioni base (funzione zero, funzione successore e funzioni di ... Leggi Tutto
TAGS: FUNZIONI RICORSIVE PRIMITIVE – FUNZIONI CALCOLABILI – FUNZIONE SUCCESSORE – FUNZIONI RICORSIVE – NUMERO NATURALE

Ackermann

Enciclopedia della Matematica (2013)

Ackermann Ackermann Wilhelm (Schönebecke, Herscheid, Sassonia-Anhalt, 1896 ‐ Lüdenscheid, Renania Settentrionale-Vestfalia, 1962) logico e matematico tedesco. Fu allievo e collaboratore di D. Hilbert, [...] della coerenza dell’aritmetica. Attraverso la costruzione di una particolare funzione (→ Ackermann, funzione di), dimostrò che l’insieme delle funzioni ricorsive primitive non satura il concetto intuitivo di calcolabilità: esiste almeno una ... Leggi Tutto
TAGS: RENANIA SETTENTRIONALE-VESTFALIA – FUNZIONI RICORSIVE PRIMITIVE – LÜDENSCHEID

INFORMATICA

Enciclopedia Italiana - IV Appendice (1979)

INFORMATICA Paolo Ercoli Alberto Marini Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] struttura di dati non primitiva con strutture primitive si procede a funzioni proposte come totalità delle funzioni calcolabili, cioè con le funzioni definibili con il cosiddetto "λ-calcolo" di A. Church e con le funzioni generali ricorsive ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – TEORIA DELL'OTTIMIZZAZIONE – TEORIA DELLA COMPUTABILITÀ – ELABORATORE ELETTRONICO – PROBLEMA DELL'ARRESTO
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 [...] a innumerevoli soluzioni, tra cui le macchine di Turing, le funzioni ricorsive, il λ-calcolo. Anche negli algoritmi la semantica aveva un doppio regime: il significato di una primitiva del linguaggio algoritmico era built-in, dato dalle regole del ... 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
1 2
Vocabolario
ricorsivo
ricorsivo agg. [der. di ricorrere]. – In matematica e in logica matematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono ottenere dalle funzioni iniziali mediante...
córso²
corso2 córso2 s. m. [lat. cŭrsus -us, der. di cŭrrĕre «correre»]. – 1. a. ant. L’atto, l’esercizio del correre: In picciol c. mi parieno stanchi Lo padre e’ figli (Dante); alla lotta e al corso Io t’educai le membra (Parini); veloce nel c.;...
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