• 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
vocabolario
28 risultati
Tutti i risultati [28]
Matematica [15]
Informatica [8]
Temi generali [6]
Cibernetica e intelligenza artificiale [3]
Analisi matematica [2]
Geometria [2]
Algebra [2]
Biografie [2]
Aritmetica [1]
Cosmologia [1]

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 [...] di una curva, ma è anche il punto di partenza della teoria della misura: è l’integrale indefinito a diventare allora un integrale che tali formalizzazioni catturassero completamente il senso della computabilità effettiva (tesi di Church: ogni funzione ... 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

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 [...] naturale trattare in primo luogo la nozione di calcolabilità (o ‛computabilità') nel sistema dei numeri naturali, vale a dire cercare di stabilire in quali condizioni una funzione della teoria dei numeri - cioè una funzione con argomento e valori nei ... 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 grande scienza. Geometria non commutativa

Storia della Scienza (2003)

La grande scienza. Geometria non commutativa Alain Connes Geometria non commutativa Se si pensa che la geometria sia strettamente legata al nostro modello di spazio-tempo, allora la teoria generale [...] 1982) abbiamo introdotto una K-teoria definita geometricamente che contempla in particolare gruppi discreti, gruppi di Lie, azioni di gruppi e foliazioni. Le proprietà principali sono la computabilità e la semplicità delle definizioni. Nel caso dei ... Leggi Tutto
CATEGORIA: GEOMETRIA

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, [...] l'abilità di comprendere cose come la teoria quantistica, i buchi neri, la teoria della relatività, pur non avendo di per sé umana. La computabilità Il costruttivismo, però, ci insegna qualcosa sul carattere matematico della natura. Possiamo vedere ... Leggi Tutto
CATEGORIA: COSMOLOGIA – TEMI GENERALI

Geometria non commutativa

Enciclopedia della Scienza e della Tecnica (2007)

Geometria non commutativa Alain Connes Se si pensa che la geometria sia strettamente legata al nostro modello di spazio-tempo allora la teoria generale della relatività dà chiaramente ragione a Carl [...] F. Baum abbiamo introdotto una K-teoria definita geometricamente che contempla in particolare gruppi discreti, gruppi di Lie, azioni di gruppi e foliazioni. Le proprietà principali sono la computabilità e la semplicità delle definizioni. Nel caso dei ... Leggi Tutto
CATEGORIA: GEOMETRIA
TAGS: TEORIA DELLE RAPPRESENTAZIONI – TEORIA QUANTISTICA DEI CAMPI – APPROSSIMAZIONE SEMICLASSICA – ELETTRODINAMICA QUANTISTICA – GRUPPO DI RINORMALIZZAZIONE
Mostra altri risultati Nascondi altri risultati su Geometria non commutativa (13)
Mostra Tutti

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 [...] lo sviluppo dei calcolatori a programma memorizzato. È questa l'origine dei due assi portanti della teoria della computazione, cioè la computabilità e la complessità di calcolo. Il secondo problema di Hilbert sulla dimostrazione di compatibilità ... 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. 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 [...] Cinquanta, con un interesse via via crescente, la teoria della ricorsività ha cercato di svincolarsi dall'approccio puramente numerico e di estendere la propria ricerca alla nozione di computabilità su oggetti di varia natura. Una tale estensione è ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

costruttivismo

Enciclopedia on line

Arte e architettura Movimento d’avanguardia che si sviluppò in Russia nel complesso clima d’impegno ideologico e culturale degli anni successivi alla Rivoluzione del 1917. Sulla base di stimoli e suggestioni [...] Bagrickij, V.A. Lugovskoj, V.M. Inber) e, soprattutto, nel campo dell’architettura con le realizzazioni e i progetti dei fratelli Vesnin, di K.S. ai concetti di computabilità, decisione ecc., ed è alla base della teoria della ricorsività (➔). ... Leggi Tutto
CATEGORIA: ACCADEMIE SCUOLE E MOVIMENTI – TEMI GENERALI
TAGS: EPISTEMOLOGICO – AVANGUARDIA – MATEMATICA – SOCIALISMO – VCHUTEMAS
Mostra altri risultati Nascondi altri risultati su costruttivismo (2)
Mostra Tutti

METAMATEMATICA

Enciclopedia Italiana - IV Appendice (1979)

METAMATEMATICA Alberto Pasquinelli Aldo Marruccelli . Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] 346-72; E. Casari, Computabilità e ricorsività, Varese 1959; R. Magari, Su certe teorie non enumerabili (sulle limitazioni dei potente. Con queste ipotesi e utilizzando la teoria della ricorsività primitiva, Gödel dimostrò nella predetta memoria ... Leggi Tutto
TAGS: TEORIA DELLA DIMOSTRAZIONE – PRINCIPIO D'INDUZIONE – SISTEMA ASSIOMATICO – ESPERIMENTI MENTALI – GEOMETRIA EUCLIDEA
Mostra altri risultati Nascondi altri risultati su METAMATEMATICA (4)
Mostra Tutti

GRAMMATICA GENERATIVA

Enciclopedia Italiana - IV Appendice (1979)

GRAMMATICA GENERATIVA Giulio Lepschy . La g. g. (di cui la g. trasformazionale è il tipo più importante) costituisce la maggiore novità nella linguistica teorica contemporanea. È stata ideata e costruita [...] lingua deve "fare un uso infinito di mezzi finiti") e gli studi compiuti nel nostro secolo sulla teoria matematica della computabilità e della ricorsività (A. M. Turing, E. Post, ecc.) che consentono di dare una formulazione precisa a tale intuizione ... Leggi Tutto
TAGS: LINGUISTICA STRUTTURALE – LINGUA ITALIANA – NOAM CHOMSKY – AGIRE UMANO – RICORSIVITÀ
Mostra altri risultati Nascondi altri risultati su GRAMMATICA GENERATIVA (1)
Mostra Tutti
1 2 3
Vocabolario
computàbile
computabile computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica teorica, detto di una funzione...
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