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

Church Alonzo

Dizionario delle Scienze Fisiche (1996)

Church Alonzo Church 〈cèrcë〉 Alonzo [STF] (n. Washington 1903) Prof. di logica matematica nell'univ. di Princeton (1947) e nell'univ. della California, a Los Angeles (1967). ◆ [FAF] Tesi, o ipotesi, [...] ricorsiva è effettivamente calcolabile) non si possono né dimostrare, né confutare, ma solo rendere accettabili con argomenti di carattere sperimentale; esse precisano la nozione di procedimento effettivo di calcolo: v. Gödel, teorema di: III 58 f. ... Leggi Tutto
CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA
TAGS: LOGICA MATEMATICA – LOS ANGELES – CALIFORNIA
Mostra altri risultati Nascondi altri risultati su Church Alonzo (3)
Mostra Tutti

Vienna

Dizionario delle Scienze Fisiche (1996)

Vienna Viènna [Ted. Wien, la capitale dell'Austria] [STF] [FAF] Circolo di V.: denomin. (ted. Wiener Kreis) di un movimento neopositivistico che ebbe il suo centro a Vienna. Il primo circolo neopositivista, [...] notevoli rappresentanti del circolo di V. sono R. Carnap, O. Neurath, P. Frank e inoltre F. Waismann, G. Bergmann, K. Gödel, H. Feigl, K. Popper, V. Kraft, J. Schächter. Con l'occupazione hitleriana e la 2a guerra mondiale, parecchi rappresentanti di ... Leggi Tutto
CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA
TAGS: NEOPOSITIVISTA – ERNST MACH – SCHÄCHTER – WAISMANN – CHICAGO
Mostra altri risultati Nascondi altri risultati su Vienna (7)
Mostra Tutti

terzo

Dizionario delle Scienze Fisiche (1996)

terzo tèrzo [agg. numerico ordinale Der. del lat. tertius, da tres "tre"] [LSF] Che in una serie numericamente ordinata viene dopo altri due. ◆ T. suono: (a) [ACS] lo stesso che suono di combinazione, [...] falsa, e che quindi è vera la sua contraria A, in quanto una proposizione, e in ciò consiste il principio del t. escluso, o è vera, o è falsa. Il principio del t. escluso è stato confutato dalla logica matematica degli anni '30: v. Gödel, teorema di. ... Leggi Tutto
CATEGORIA: ACUSTICA – FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – TERMODINAMICA E TERMOLOGIA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

completezza

Dizionario delle Scienze Fisiche (1996)

completezza completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] argomenti assume gli stessi valori di f). ◆ [FAF] Teorema di c. semantica: nella logica, teorema, dimostrato da H. Gödel nel 1930, secondo il quale ogni teoria elementare, cioè del primo ordine, non contraddittoria ha un modello numerabile, cioè ha ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – MECCANICA QUANTISTICA – STORIA DELLA FISICA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA

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

modello

Enciclopedia on line

In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] una formula di T sia un teorema di T. Una prima soluzione di questo problema è espressa dal teorema di completezza semantica di Gödel: ‘una formula di una teoria elementare T è un teorema se e solo se è valida in T′, o, equivalentemente, ‘una teoria ... Leggi Tutto
CATEGORIA: ARCHITETTURA E URBANISTICA – SCULTURA – FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – ECOLOGIA – ALGEBRA – GEOMETRIA – LOGICA MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – DIRITTO PRIVATO – STORIA E FILOSOFIA DEL DIRITTO – METODI TEORIE E PROVVEDIMENTI – EPISTEMOLOGIA – FILOSOFIA DEL DIRITTO – FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM
Mostra altri risultati Nascondi altri risultati su modello (6)
Mostra Tutti

matematica

Enciclopedia on line

Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] teso a trovare solidi fondamenti per la m. ha subito tuttavia numerosi insuccessi, a partire dalla dimostrazione dei teoremi di Gödel, e ha anche smesso di essere al centro della riflessione matematica. Nuovo interesse è stato rivolto a temi poco ... Leggi Tutto
CATEGORIA: TEMI GENERALI – MATEMATICA APPLICATA – STORIA DELLA MATEMATICA – EPISTEMOLOGIA – METAFISICA
TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – SISTEMA DI NUMERAZIONE POSIZIONALE – SISTEMA DI NUMERAZIONE DECIMALE – TEORIA DELLE RAPPRESENTAZIONI – PROBLEMA DEI QUATTRO COLORI
Mostra altri risultati Nascondi altri risultati su matematica (14)
Mostra Tutti

sistema

Dizionario delle Scienze Fisiche (1996)

sistema sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] dal suo linguaggio simbolico, dal suo apparato deduttivo e dai teoremi derivabili in essa, senza alcun riferimento esterno: v. Gödel, teorema di: III 53 f. ◆ [OTT] S. fotometrico: s. di grandezze fotometriche: v. misurazioni ottiche: IV 40 c. ◆ [ASF ... Leggi Tutto
CATEGORIA: TEMI GENERALI – ACUSTICA – ASTROFISICA E FISICA SPAZIALE – BIOFISICA – FISICA ATOMICA E MOLECOLARE – FISICA MATEMATICA – FISICA NUCLEARE – FISICA TECNICA – GEOFISICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – METROLOGIA – OTTICA – RELATIVITA E GRAVITAZIONE – STORIA DELLA FISICA – TERMODINAMICA E TERMOLOGIA – ALGEBRA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA – MECCANICA APPLICATA

Scienza cognitiva

Enciclopedia Italiana - VI Appendice (2000)

Scienza cognitiva Antonio Rainone Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] , Reading (Mass.) 1977, 1992³. R.N. Shepard, The mental image, in American psychologist, 1978, pp. 125-37. D.R. Hofstadter, Gödel, Escher, Bach: an eternal golden braid, New York 1979 (trad. it. Milano 1984). S.M. Kosslyn, Images and mind, Cambridge ... Leggi Tutto
CATEGORIA: EPISTEMOLOGIA – PSICOLOGIA COGNITIVA – ANTROPOLOGIA CULTURALE – CIBERNETICA E INTELLIGENZA ARTIFICIALE
TAGS: ATTEGGIAMENTI PROPOSIZIONALI – INTELLIGENZA ARTIFICIALE – SCIENZA DEI CALCOLATORI – ELABORATORE ELETTRONICO – NEUROSCIENZA COGNITIVA
Mostra altri risultati Nascondi altri risultati su Scienza cognitiva (1)
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