• 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
il chiasmo
lingua italiana
17 risultati
Tutti i risultati [177]
Informatica [17]
Matematica [72]
Filosofia [39]
Fisica [32]
Algebra [28]
Temi generali [24]
Storia della fisica [24]
Fisica matematica [23]
Metafisica [20]
Epistemologia [19]

complessita

Dizionario delle Scienze Fisiche (1996)

complessita complessità [Der. di complesso] [FAF] (a) L'essere complesso, il fatto di costituire un sistema di più parti o elementi interdipendenti in relazione funzionale fra di loro; (b) specific., [...] la lunghezza della minima istruzione necessaria per simulare il comportamento del sistema: v. Gödel, teorema di: III 58 a. ◆ [MCS] C. algoritmica: v. caos: sviluppi recenti: VI 619 f. ◆ [MCS] C. assoluta di una successione: una possibile misura della ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – TEMI GENERALI – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA – MECCANICA APPLICATA
Mostra altri risultati Nascondi altri risultati su complessita (2)
Mostra Tutti

stringa

Dizionario delle Scienze Fisiche (1996)

stringa stringa [Der. dell'ingl. string "cordoncino"] [ELT] [INF] Nella tecnica dei calcolatori elettronici, sequenza finita di caratteri alfanumerici registrata in memoria che rappresenta dati in forma [...] codificata: s. alfabetica, di soli caratteri alfabetici, s. di bit, di numeri binari, ecc. ◆ [ALG] S. casuale: v. Gödel, teorema di: III 58 a. ◆ [ASF] S. cosmica: v. cosmologia primordiale: I 803 d. ◆ [RGR] S. relativistica: lo stesso che corda ... Leggi Tutto
CATEGORIA: ASTROFISICA E FISICA SPAZIALE – FISICA MATEMATICA – FISICA NUCLEARE – RELATIVITA E GRAVITAZIONE – TEMI GENERALI – ALGEBRA – ELETTRONICA
Mostra altri risultati Nascondi altri risultati su stringa (2)
Mostra Tutti

Turing Alan Mathison

Dizionario delle Scienze Fisiche (1996)

Turing 〈tiùrin〉 Alan Mathison [STF] (Londra 1912 - Wilmslow, Cheshire, 1954) Lettore di matematica nell'univ. di Manchester (1948). ◆ [INF] Ipotesi di T.: v. automi, teoria degli: I 330 b. ◆ [INF] Macchina [...] di T.: modello meccanico di algoritmi, proposto da T. nel 1936: v. automi, teoria degli: I 330 b e Gödel, teorema di: III 56 f. ◆ [INF] Test di T.: v. intelligenza artificiale: III 233 b. ... Leggi Tutto
CATEGORIA: STORIA DELLA FISICA – TEMI GENERALI
TAGS: INTELLIGENZA ARTIFICIALE – ALAN MATHISON TURING – MATEMATICA – ALGORITMI – LONDRA
Mostra altri risultati Nascondi altri risultati su Turing Alan Mathison (3)
Mostra Tutti

aritmetizzazióne

Dizionario delle Scienze Fisiche (1996)

aritmetizzazione aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] ., procedimento con cui, seguendo determinate regole, si associano alcuni numeri interi ai segni e alle formule di un linguaggio, rendendo così possibile un calcolo matematico delle espressioni che sono prese in esame: v. Gödel, teorema di: III 55 c. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

ricorsivo

Dizionario delle Scienze Fisiche (2012)

ricorsivo ricorsivo [agg. Der. di ricorrere: (→ ricorrente)] [LSF] Sinon. di ricorrente. ◆ [ALG] [INF] Algoritmo, o procedimento o procedura, r.: algoritmo che è formulato con esplicito riferimento a [...] funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione e induzione: v. complessità di calcolo: I 663 b. ◆ [ALG] Insiemi r.: v. Gödel, teorema di: III 57 b. ◆ [INF] Paradigma r.: v. algoritmi, teoria degli: I 102 c. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – TEMI GENERALI – ALGEBRA – ELETTRONICA

aritmètica

Dizionario delle Scienze Fisiche (1996)

aritmetica aritmètica [Der. del lat arithmetìca, dal gr. arithmós "numero"]. Parte della matematica concernente lo studio dei numeri, soprattutto dei numeri interi; il termine, per la prima volta usato [...] a un dato campo d'integrità, ecc. A proposito delle difficoltà che si incontrano nella definizione formale dell'a. v. Gödel, teorema di: III 53 c. ◆ [INF] A. a virgola mobile: nell'informatica e nei sistemi di codificazione numerica, metodo di ... Leggi Tutto
CATEGORIA: ALGEBRA – TEMI GENERALI
Mostra altri risultati Nascondi altri risultati su aritmètica (7)
Mostra Tutti

COMPLESSITA'

Enciclopedia Italiana - VI Appendice (2000)

Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] le cristal et la fumée. Essai sur l'organisation du vivant, Paris 1979 (trad. it. Firenze 1987). D.R. Hofstadter, Gödel, Escher, Bach. An eternal golden braid, New York 1979 (trad. it. Milano 1984). I. Prigogine, I. Stengers, La nouvelle alliance ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: SENSIBILITÀ ALLE CONDIZIONI INIZIALI – TEORIA SINTETICA DELL'EVOLUZIONE – MEZZI DI COMUNICAZIONE DI MASSA – CORRISPONDENZA BIUNIVOCA – EQUAZIONE DIFFERENZIALE

Programmazione, algoritmi di

Enciclopedia della Scienza e della Tecnica (2008)

Programmazione, algoritmi di Alessandro Panconesi Il termine algoritmo denota un procedimento sistematico ed esplicitato nei suoi passi elementari per l’esecuzione di un calcolo, inteso nella sua accezione [...] ). Luccio, Pagli 1999: Luccio, Fabrizio - Pagli, Linda, Algoritmi, divinità e gente comune, Pisa, ETS, 1999. Nagel, Newman 1958: Nagel, Ernest - Newman, James R., Gödel’s proof, New York-London, New York University Press, 1958 (trad. it.: La prova di ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – PROGRAMMAZIONE E PROGRAMMI

macchina

Dizionario delle Scienze Fisiche (1996)

macchina màcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] che costituiscono modelli discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic., m. di Turing (v. Gödel, teorema di: III 56 f); (b) teoria delle m., lo studio delle analogie funzionali tra le m. (intese come ... Leggi Tutto
CATEGORIA: BIOFISICA – ELETTROLOGIA – FISICA ATOMICA E MOLECOLARE – FISICA DEI PLASMI – FISICA MATEMATICA – FISICA NUCLEARE – FISICA TECNICA – MECCANICA – MECCANICA QUANTISTICA – TEMI GENERALI – TERMODINAMICA E TERMOLOGIA – STATISTICA E CALCOLO DELLE PROBABILITA
Mostra altri risultati Nascondi altri risultati su macchina (6)
Mostra Tutti

logica

Dizionario delle Scienze Fisiche (1996)

logica lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] non quella dei predicati, mentre quella che analizza pure la quantificazione dei predicati è detta l. del secondo ordine: v. Gödel, teorema di: III 54 e. ◆ [FAF] L. enunciativa: lo stesso che l. proposizionale (v. oltre). ◆ [ALG] [FAF] L. formale, o ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA
Mostra altri risultati Nascondi altri risultati su logica (9)
Mostra Tutti
1 2
Vocabolario
godeliano
godeliano ‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...
nùmero
numero nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
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