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

lògica matemàtica

Enciclopedia on line

lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] per la matematica e di dimostrarne la completezza e la coerenza con gli strumenti della logica. Nel 1931 però K. Gödel dimostrò che in qualsiasi sistema formale coerente in grado di rappresentare l'aritmetica esistono formule di cui non si può ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA
Mostra altri risultati Nascondi altri risultati su lògica matemàtica (9)
Mostra Tutti

dimostrazione, teoria della

Enciclopedia della Matematica (2013)

dimostrazione, teoria della dimostrazione, teoria della branca della logica fondata da D. Hilbert che ha come oggetto di studio le capacità dimostrative dei sistemi formali. Caduto, a causa delle scoperta [...] della dimostrazione si è sviluppata in numerose direzioni autonome, tra le quali, per esempio, una teoria della misura delle capacità dimostrative dei sistemi formali e una teoria delle proprietà intrinseche delle dimostrazioni (→ Gödel, teorema di). ... Leggi Tutto
TAGS: TEORIA DELLA MISURA – SISTEMI FORMALI – TEOREMA – LOGICA – GÖDEL

Peano Giuseppe

Dizionario delle Scienze Fisiche (1996)

Peano Giuseppe Peano Giuseppe [STF] (Cuneo 1858 - Torino 1932) Prof. di analisi infinitesimale nell'univ. di Torino (1890). ◆ [ALG] Aritmetica di P.: una costruzione assiomatica dell'aritmetica: v. Gödel, [...] teorema di: III 54 b. ◆ [ALG] Curva di P.: ideata da P. per dimostrare errate certe idee sulle curve, in partic. che esse siano identicamente enti continui a una dimensione; è costituita da una spezzata ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA
TAGS: ANALISI INFINITESIMALE – IPERSPAZIO – TORINO – CUNEO
Mostra altri risultati Nascondi altri risultati su Peano Giuseppe (6)
Mostra Tutti

incompletezza

Dizionario delle Scienze Fisiche (1996)

incompletezza incompletézza [Der. di incompleto] [FAF] Il fenomeno per cui ci sono formule A(x) per le quali, per ogni n, si prova A(n), ma non si prova A(x) per ogni x: v. Gödel, teorema di: III 56 [...] b. ◆ [FAF] Teorema di i.: v. Gödel, teorema di: III 53 c. ... Leggi Tutto
CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

estensionalita, assioma di

Enciclopedia della Matematica (2013)

estensionalita, assioma di estensionalità, assioma di nella teoria NBG degli insiemi, afferma che due classi uguali hanno le medesime proprietà: ∀x∀y(x = y ⇒ ∀z(x ∈ z ⇔ y ∈ z) (→ Neumann-Bernays-Gödel, [...] teoria di) ... Leggi Tutto

calcolabilita

Dizionario delle Scienze Fisiche (1996)

calcolabilita calcolabilità [Der. di calcolabile] [ALG] Generic., la proprietà di essere calcolabile. ◆ [FAF] Per una teoria, è una delle formulazioni equivalenti del concetto generale di ricorsività, [...] detta anche definibilità e studiata per la prima volta da K. Gödel nel 1936 (Über die Länge von Beweisen): v. Gödel, teorema di: III 56 c. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

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, [...] 1990. RUCKER, R. Infinity and the mind: the science and philosophy of the infinite. Boston, Birkhäuser, 1982. SHANKER, S.G. Gödel's theorem in focus. Londra-New York, Croom Helm, 1988. VAN STIGT, W.P. Brouwer's intuitionism. Amsterdam, Elsevier, 1990 ... Leggi Tutto
CATEGORIA: COSMOLOGIA – TEMI GENERALI

Morse-Kelley, teoria di

Enciclopedia della Matematica (2013)

Morse-Kelley, teoria di Morse-Kelley, teoria di indicata anche come teoria MK, fu introdotta attorno agli anni Cinquanta del Novecento dai matematici statunitensi J.L. Kelley e A.P. Morse come variante [...] della teoria di Neumann- Bernays-Gödel (teoria NBG) attraverso una estensione degli assiomi in essa previsti: nell’assioma NBG0 (assioma d'astrazione) la formula A(x) può essere una qualunque formula ben formata e non necessariamente una formula ... Leggi Tutto
TAGS: ASSIOMA

Zermelo-Fraenkel, teoria di

Enciclopedia della Matematica (2013)

Zermelo-Fraenkel, teoria di Zermelo-Fraenkel, teoria di sistema di assiomi per la teoria degli → insiemi, noto anche come teoria ZF, logicamente equivalente a un’altra sistemazione assiomatica indicata [...] come NBG (→ Neumann-Bernais-Gödel, teoria di). La teoria fu proposta per la prima volta da E. Zermelo nel 1908 e fu successivamente perfezionata da A. Fraenkel e T.A. Skolem; sua caratteristica principale è quella di seguire la prassi matematica ... Leggi Tutto
TAGS: TEORIA DEL PRIMO ORDINE – IPOTESI DEL → CONTINUO – ANTINOMIA DI → RUSSELL – TEORIA DEGLI → INSIEMI – ASSIOMA DELLA SCELTA

autoriferiménto

Dizionario delle Scienze Fisiche (1996)

autoriferimento autoriferiménto [Comp. di auto- e riferimento] [ALG] [FAF] Nella logica matematica, fenomeno per cui, quando si aritmetizza il linguaggio di una teoria numerica, i termini della teoria [...] denotano anche termini della teoria stessa: v. Gödel, teorema di: III 55 e. ◆ [ELT] Nella teoria dei sistemi, la proprietà che avrebbero alcuni sistemi di riferirsi a sé stessi, cioè di determinare i propri stati internamente, mediante un processo di ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA
1 2 3 4 5 6 7 8 ... 18
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