• 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
15 risultati
Tutti i risultati [32]
Matematica [15]
Logica matematica [7]
Filosofia [6]
Storia della matematica [5]
Fisica [3]
Storia del pensiero filosofico [2]
Biologia [2]
Astronomia [2]
Storia della fisica [2]
Fisica matematica [2]

La grande scienza. Cronologia scientifica: 1961-1970

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1961-1970 1961-1970 1961 Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] di lezioni tenuto all'Università di Leningrado. Nonostante gli spazi di Sobolev venissero usati abitualmente già dalla prima metà del secolo, questo libro, per la sua completezza su un paziente. 1964 Teorema di Sharkovski sulle orbite periodiche. Il ... Leggi Tutto
CATEGORIA: STORIA DELL ASTRONOMIA – ANTROPOLOGIA FISICA – STORIA DELLA BIOLOGIA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

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 [...] tutti, il teorema di compattezza – sui modelli di insiemi di formule in linguaggi elementari con numero di costanti extralogiche arbitrario. Più o meno negli stessi anni Tarski pubblica i risultati ottenuti nei primi anni Trenta sulla completezza e ... 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

Metodo

Enciclopedia del Novecento (1979)

Metodo GGerard Radnitzky di Gerard Radnitzky Metodo sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] cumulativa, seppur non consegue una condizione finale di completezza almeno vi si approssima asintoticamente. La scienza matematica (dal teorema di Gödel) consegue che la costruzione di una macchina di Turing capace di calcolare qualsiasi funzione ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA
TAGS: PROBLEMA DELLA DEMARCAZIONE – PRINCIPIO DI VERIFICAZIONE – TEORIA DELLA DIMOSTRAZIONE – METODO DEI MINIMI QUADRATI – OSSERVAZIONE SPERIMENTALE
Mostra altri risultati Nascondi altri risultati su Metodo (4)
Mostra Tutti

La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica Solomon Feferman Le scuole di filosofia della matematica I più importanti programmi di fondazione della [...] all'opera Grundlagen der Mathematik (Fondamenti della matematica, 1934) ‒ che i teoremi di Gödel segnassero il fallimento del suo programma. Ma egli doveva già aver preso visione di un altro risultato che sconvolgeva la sua concezione complessiva. Il ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

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, [...] dei fenomeni sonori, mentre un centinaio di anni fa, per pubblicizzare la completezza e l'unicità, sarebbe stato più scoperta questa nuova e più semplice via di dimostrare i teoremi di Gödel, riformulandoli in proposizioni sull'informazione e la ... Leggi Tutto
CATEGORIA: COSMOLOGIA – TEMI GENERALI

Logiche non standard

Enciclopedia della Scienza e della Tecnica (2007)

Logiche non standard Claudio Pizzi Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] noto corollario del teorema di Gödel. Pochi anni dopo (1940) un teorema dimostrato da James n, j, k≥0 si può dimostrare un teorema di completezza generalizzato rispetto a classi di modelli in cui le proprietà di R rientrano nello schema [2] ∀w1, w2, ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: GEORG WILHELM FRIEDRICH HEGEL – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – GOTTFRIED WILHELM LEIBNIZ – RELAZIONE DI EQUIVALENZA

Informatica teorica

Enciclopedia della Scienza e della Tecnica (2007)

Informatica teorica Giorgio Ausiello Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] Gödel, Stephen Kleene, Alan Turing e Alonzo Church), che negli anni Trenta hanno affrontato e risolto i primi importanti interrogativi riguardanti la completezza e la consistenza delle teorie logiche e il potere computazionale dei sistemi formali di ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – PROGRAMMAZIONE E PROGRAMMI
TAGS: PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – INSIEMI PARZIALMENTE ORDINATI – LINGUAGGI DI PROGRAMMAZIONE – RETI DI TELECOMUNICAZIONI – CALCOLATORI ELETTRONICI

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi Gabriele Lolli La teoria degli insiemi La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] cardinali indagando con completezza le leggi cardinali in presenza e assenza dell'assioma di scelta, rilevando inverso del teorema di Nielsen-Schreier. Dopo il lavoro di Gödel, restava aperto il problema dell'indipendenza dell'assioma di scelta e ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

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 [...] necessarie e sufficienti affinché 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 ... 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

Modelli, Teoria dei

Enciclopedia della Scienza e della Tecnica (2007)

Modelli, Teoria dei Silvio Bozzi Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] tutti, il teorema di compattezza ‒ sui modelli di insiemi di formule in linguaggi elementari con numero di costanti extralogiche arbitrario. Più o meno negli stessi anni Tarski pubblica i risultati ottenuti nei primi anni Trenta sulla completezza e ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEOREMA DI COMPATTEZZA – GRUPPO DI AUTOMORFISMI – TEORIA DELLA STABILITÀ – CLASSI D'EQUIVALENZA – GEOMETRIA ALGEBRICA
Mostra altri risultati Nascondi altri risultati su Modelli, Teoria dei (3)
Mostra Tutti
1 2
  • 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