Storia della civiltà europea a cura di Umberto Eco (2014)
La logica antica
Walter Cavini e Luca Castagnoli (*)
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Dalla tarda Antichità all’Età Moderna la logica [...] dei capitoli del disaccordo tra stoici e aristotelici, come abbiamo visto la sillogistica sta alle fondamenta dellateoriadelladimostrazione scientifica tanto per Aristotele quanto per Crisippo. Mentre Aristotele viene però spesso accusato dai suoi ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] stessa come un oggetto matematico", aveva proposto allora. È la chiave di volta della Beweistheorie (teoriadelladimostrazione) che Hilbert elabora negli anni Venti, insieme alla rigorosa distinzione tra matematica e metamatematica. L'obiettivo ...
Leggi Tutto
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 [...] con metodi esclusivamente finitari.
Oltre a questo programma generale, Hilbert propose anche alcune specifiche tecniche di teoriadelladimostrazione per realizzarlo. Nella sua concezione, l'infinito attuale sorge già, nell'aritmetica classica, in ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] ’omeomorfismo di varietà topologiche di dimensione 4 è indecidibile.
La teoriadelladimostrazione
Nel senso più ampio la teoriadelladimostrazione studia le proprietà dei sistemi deduttivi usando metodi formali. I primi sistemi che formalizzano il ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] del λ-calcolo. Più in generale, recenti sviluppi dell’informatica teorica e della logica hanno mostrato che il λ-calcolo fa da ponte tra la teoriadella calcolabilità e la teoriadelladimostrazione. Una prima osservazione di Haskell B. Curry nel ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
In senso lato, il programma di Hilbert consiste nel progetto di codificare tutta la [...] che ha sempre qualcos’altro oltre a sé.
Esiste così una stratificazione dei piani linguistici: la metateoria (la teoriadelladimostrazione) è descritta nel modo più preciso possibile da un metalinguaggio con cui è possibile parlare del linguaggio ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] Haskell B. Curry e William A. Howard di una fondamentale corrispondenza tra funzionali e dimostrazioni, il calcolo svolge un ruolo centrale nella teoriadelladimostrazione, mentre nell’informatica fornisce una base per la formulazione e lo studio di ...
Leggi Tutto
taglio, regola del
taglio, regola del (in inglese cut rule) una delle regole di derivazione del calcolo dei → sequenti che può essere esplicitata come segue: se da una premessa A è possibile trarre una [...] stabilisce, infatti, che le deduzioni del calcolo dei sequenti sono paragonabili a procedure algoritmiche e crea pertanto un legame fra la teoriadelladimostrazione e l’informatica teorica. Questo legame è sancito dall’isomorfismo di → Curry-Howard. ...
Leggi Tutto
Logico e filosofo svedese (n. Stoccolma 1936), prof. di filosofia all'univ. del Michigan (1969), di Stanford (1970), di Oslo (1971-77) e (dal 1976) di filosofia teoretica all'univ. di Stoccolma; membro [...] mirante all'automazione del ragionamento e noto come deduzione automatica, alla teoria del significato e alla teoriadelladimostrazione: a quest'ultima branca della logica ha dato un contributo decisivo in Natural deduction (1965), mettendo ...
Leggi Tutto
Logico e filosofo austriaco (Graz 1923 - Salisburgo 2015), docente (1962-85) alla Stanford University (California). Si è occupato dei problemi relativi ai fondamenti della matematica, nonché di logica [...] intuizionista, di teoriadelladimostrazione e di teoriadella ricursione. Tra i suoi scritti: Eléments de logique mathématique. Théorie des modèles (1967, in collaborazione con J. L. Krivine). ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
dialèttica s. f. [dal gr. διαλεκτική (τέχνη), lat. dialectĭca o dialectĭce (v. dialettico)]. – 1. Arte del dialogare, del discutere, come tecnica e abilità di presentare gli argomenti adatti a dimostrare un assunto, a persuadere un interlocutore,...