• 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
atlante
il chiasmo
lingua italiana
167 risultati
Tutti i risultati [3303]
Matematica [167]
Diritto [655]
Biografie [556]
Storia [324]
Temi generali [253]
Filosofia [239]
Religioni [257]
Economia [194]
Scienze demo-etno-antropologiche [160]
Diritto civile [167]

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 [...] come fondamento universale per i sistemi di basi di dati. Una base di dati relazionale è simile a un modello per la logica del primo ordine: c'è un insieme di individui e un certo numero di tabelle che danno le relazioni tra gli individui. Nel 1979 ... Leggi Tutto
CATEGORIA: STORIA DELL ASTRONOMIA – ANTROPOLOGIA FISICA – STORIA DELLA BIOLOGIA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

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 [...] complessiva. Il teorema di Löwenheim-Skolem, stabilito nel 1920, mostrava infatti come ogni teoria T formulata nella logica del primo ordine che ha un modello infinito deve avere un modello numerabile. In tal modo nessuna tale T potrebbe essere ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

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 [...] l'inferenza non-monotòna in vari modi, due dei quali hanno suscitato un certo interesse. Il primo consiste nell'estendere il linguaggio della logica del primo ordine con un operatore modale M che consente di formulare regole di forma B MB′ / B′ ('Se ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: GEORG WILHELM FRIEDRICH HEGEL – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – GOTTFRIED WILHELM LEIBNIZ – RELAZIONE DI EQUIVALENZA

Dimostrazione, teoria della

Enciclopedia della Scienza e della Tecnica (2007)

Dimostrazione, teoria della Jean-Yves Girard La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] possibilità di iterazione. Più concretamente, è la contrazione a essere responsabile dell'indecidibilità della logica del primo ordine stabilita dal teorema di Church. Senza contrazione sarebbe infatti possibile limitare il numero delle formule ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: FUNZIONE RICORSIVA PRIMITIVA – TEORIA DELLA DIMOSTRAZIONE – QUANTIFICATORE UNIVERSALE – LOGICA DEL PRIMO ORDINE – TEORIA DELLE CATEGORIE

non standard

Enciclopedia on line

Locuzione introdotta da A. Robinson nel 1960 per indicare l’analisi basata su un modello matematico in cui, utilizzando una (opportunamente modificata) logica del primo ordine, viene data una definizione [...] rigorosa del concetto di infinitesimo e quindi di infinito. La ricerca di una corretta definizione di infinitesimo che G.W. Leibniz considerava sostanzialmente alla n. è la semplicità della struttura logica che non richiede, a differenza della ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: ANALISI MATEMATICA – MODELLO STANDARD – NUMERI REALI – LEIBNIZ – BOLZANO

Tarski, Alfred

Enciclopedia on line

Tarski, Alfred Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] , nozione semantica e sintattica di definibilità; generalizzazioni della logica del primo ordine). Si è occupato inoltre di questioni di decidibilità, di logiche intuizionistiche (proponendo come matrici per il calcolo intuizionistico proposizionale ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – LINGUAGGI FORMALI – METAMATEMATICA – SAN FRANCISCO
Mostra altri risultati Nascondi altri risultati su Tarski, Alfred (4)
Mostra Tutti

lambda

Enciclopedia on line

Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l. biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] procedura meccanica capace di stabilire se una proposizione logica del primo ordine è sempre vera? Il l. calcolo è basati sul l. calcolo. medicina Punto l. Punto antropologico del cranio corrispondente all’incontro della sutura sagittale con le suture ... Leggi Tutto
CATEGORIA: GRAMMATICA – TEMI GENERALI – ANTROPOLOGIA FISICA – MICROBIOLOGIA – FISICA MATEMATICA – FISICA NUCLEARE – LOGICA MATEMATICA
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – MACCHINA DI TURING – ESPRESSIONE GENICA – FISICA SUBNUCLEARE – SUTURA LAMBDOIDEA

La grande scienza. Cronologia scientifica: 1941-1950

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1941-1950 1941-1950 1941 Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] dimostra che la teoria delle algebre di Boole è decidibile; cioè, esiste un algoritmo che, data una formula della logica del primo ordine nel linguaggio di tali strutture, stabilisce in un tempo finito se la formula è vera in tutte le algebre di ... Leggi Tutto
CATEGORIA: ANTROPOLOGIA FISICA – BIOCHIMICA – STORIA DELLA BIOLOGIA – CHIMICA FISICA – STORIA DELLA CHIMICA – 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 [...] libere si dice formula aperta, o funzione proposizionale. Si distingue fra logica dei predicati del primo ordine e logica dei predicati del secondo ordine: in quest'ultima sono ammesse anche formule del tipo ∃ P H e ∀ P H. Il problema dei fondamenti ... 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
1 2 3 4 5 6 7 8 ... 17
Vocabolario
ordine
ordine órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
priorità
priorità s. f. [dal lat. mediev. prioritas -atis, der. del lat. prior -oris «precedente»]. – 1. Anteriorità, antecedenza nei confronti di altro, o di altri: rivendicare la p. di un’invenzione; hanno tenuto conto della p. della mia domanda; rispettare...
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