Indice
6 relazioni: Bulletin of the American Mathematical Society, Dag Prawitz, Logica matematica, Sequente, Sistema F, Teorema di eliminazione del taglio.
Bulletin of the American Mathematical Society
Il Bulletin of the American Mathematical Society è una rivista matematica trimestrale pubblicata dalla Società Matematica Americana.
Vedere Congettura di Takeuti e Bulletin of the American Mathematical Society
Dag Prawitz
Si è occupato in particolare di teoria della dimostrazione e di sistemi di deduzione naturale. Tra i risultati fondamentali, da lui dimostrati, vi è il teorema di normalizzazione, equivalente, nel calcolo della deduzione naturale, al teorema di eliminazione del taglio di Gerhard Gentzen per il calcolo dei sequenti.
Vedere Congettura di Takeuti e Dag Prawitz
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Vedere Congettura di Takeuti e Logica matematica
Sequente
Un sequente è un'entità della logica che permette di esprimere legami tra asserzioni complesse facendo uso dei legami metalinguistici e che comporta.
Vedere Congettura di Takeuti e Sequente
Sistema F
Il sistema F, anche conosciuto come lambda calcolo polimorfico o lambda calcolo di secondo ordine, è un lambda calcolo tipizzato. È stato scoperto indipendentemente dal logico Jean-Yves Girard e dall'informatico John C. Reynolds.
Vedere Congettura di Takeuti e Sistema F
Teorema di eliminazione del taglio
Il Teorema di eliminazione del taglio (o Hauptsatz di Gentzen) è il principale risultato che mostra l'importanza del calcolo dei sequenti. Venne dimostrato originariamente da Gerhard Gentzen nel suo storico articolo "Investigations in Logical Deduction" per i sistemi LJ ed LK, in cui sono formalizzate rispettivamente la logica intuizionista e la logica classica.
Vedere Congettura di Takeuti e Teorema di eliminazione del taglio