• 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
4 risultati
Tutti i risultati [81]
Logica matematica [4]
Matematica [28]
Informatica [9]
Storia della matematica [7]
Programmazione e programmi [5]
Filosofia [4]
Algebra [3]
Temi generali [3]
Analisi matematica [3]
Matematica applicata [2]

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 [...] due regole di derivazione. Sia f0(x), f1(x), f2(x), ... la successione di funzioni ricorsive ottenute in tal modo. Si consideri la funzione F(x)=fx(x)+1. Questa funzione è computabile in senso intuitivo, dal momento che, fissato un numero naturale n ... 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

Dimostrazione, teoria della

Enciclopedia della Scienza e della Tecnica (2007)

Dimostrazione, teoria della Jean-Yves Girard La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] non è maggiorato nemmeno da una funzione ricorsiva primitiva. Per dimostrare la convergenza dell un principio d'uniformità, così che se f: α→α′ è una funzione strettamente crescente si può definire una α-dimostrazione ‒ l'immagine reciproca di Π ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: FUNZIONE RICORSIVA PRIMITIVA – TEORIA DELLA DIMOSTRAZIONE – QUANTIFICATORE UNIVERSALE – LOGICA DEL PRIMO ORDINE – TEORIA DELLE CATEGORIE

induzione

Enciclopedia on line

Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale. Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] . Il principio di i. fornisce la giustificazione anche per le cosiddette definizioni ricorsive di funzioni aritmetiche. In generale, esse stabiliscono il valore di una funzione per l’argomento zero (e per eventuali parametri); poi stabiliscono il ... Leggi Tutto
CATEGORIA: ANTROPOLOGIA FISICA – BIOCHIMICA – BIOINGEGNERIA – EMBRIOLOGIA – GENETICA – CHIMICA FISICA – CHIMICA INORGANICA – ELETTROLOGIA – FISICA MATEMATICA – LOGICA MATEMATICA – FISIOLOGIA UMANA – GENETICA MEDICA – PSICHIATRIA – CITOLOGIA EMBRIOLOGIA E GENETICA – DOTTRINE TEORIE E CONCETTI – METAFISICA – STRUMENTI E TECNOLOGIA APPLICATA
TAGS: FATTORE DI CRESCITA DELL’EPIDERMIDE – RISONANZA MAGNETICA NUCLEARE – FATTORE DI CRESCITA NERVOSO – POLARIZZAZIONE MAGNETICA – DROSOPHILA MELANOGASTER
Mostra altri risultati Nascondi altri risultati su induzione (6)
Mostra Tutti

La logica e i fondamenti della matematica tra Ottocento e Novecento

Il Contributo italiano alla storia del Pensiero: Scienze (2013)

La logica e i fondamenti della matematica tra Ottocento e Novecento Mario Piazza I fondamenti della geometria Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] sistema dei numeri naturali come un insieme N su cui è data una funzione iniettiva f da N a N. (l’operazione di passaggio al successore), al sistema dei numeri e alla derivabilità ricorsiva delle proprietà numeriche; tuttavia la differenza principale ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – STORIA DELLA MATEMATICA
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...
piazza
piazza s. f. [lat. platĕa «via larga, piazza» (dal gr. πλατεῖα, propriam. femm. di πλατύς «largo»); cfr. platea, che risale a una variante lat. platēa con e lunga]. – 1. a. Area libera, più o meno spaziosa, di forma quadrata, rettangolare,...
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