LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] principio − sebbene non efficientemente − a tale scopo. Più in generale, se si ha una dimostrazione costruttiva di ∀x∃yA(x, y), i procedimenti dellateoriadelladimostrazione possono servire per computare una funzione f tale che ∀xA(x, f(x)). Dunque ...
Leggi Tutto
logica intuizionista
logica intuizionista teoria logica nata nel contesto dell’→ intuizionismo, filosofia della matematica elaborata da L.E.J. Brouwer nel 1907. Secondo Brouwer in matematica sono da [...] delledimostrazioni (procedimenti costruttivi che forniscono una risposta sulla verità o falsità di un certo enunciato A in un numero finito di passi) ha avuto il merito di creare un terreno fertile per la teoriadella → ricorsività e della ...
Leggi Tutto
Gentzen
Gentzen Gerhard Karl Erich (Greifswald, Meclemburgo-Pomerania Occidentale, 1909 - Praga 1945) logico tedesco. Diede importanti contributi alla teoriadelladimostrazione e al problema della coerenza [...] . Nel 1933 divenne assistente di D. Hilbert e fu quindi revisore della rivista «Zentralblatt für Mathematik». Riprese le tematiche dellateoriadelladimostrazione hilbertiana, inquadrandole in una nuova prospettiva e caratterizzando la struttura ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] in cui permette di associare un'ars inveniendi e un'ars demonstrandi, che è presentata come un procedimento fondato su una teoriadelladimostrazione che Ibn Sinān tentò di elaborare.
Nella generazione successiva a Ibn Sinān, al-Siǧzī, un matematico ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] due atomi di idrogeno e uno di ossigeno per realizzare una molecola d'acqua. Tale idea consente di rivisitare la logica e la teoriadelladimostrazione da un punto di vista completamente nuovo.
Il premio Wolf a Peter D. Lax. I contributi di Lax ...
Leggi Tutto
Scienza greco-romana. Galeno
Mario Vegetti
Galeno
L'eccezione Galeno
Galeno rappresenta senza dubbio, e per molti motivi, un caso eccezionale nel panorama intellettuale e scientifico del II sec. d.C.; [...] in via preliminare bisognerà studiare le opere che forniscono gli strumenti epistemologici (gnoseologia, logica, teoriadelladimostrazione) per il controllo della consistenza argomentativa del sistema; si tratta del De demonstratione e del De optima ...
Leggi Tutto
Medioevo: la scienza siriaca. La tradizione della logica aristotelica
Henri Hugonnard-Roche
La tradizione della logica aristotelica
Della letteratura siriaca profana, scientifica o filosofica, ci [...] sillogistica categorica degli Analitici primi, a sua volta considerata la garanzia formale dellateoriadelladimostrazione.
Atanasio aveva anche tradotto ‒ o ritradotto, basandosi su precedenti versioni ‒ molti testi di logica. Ci è pervenuta, in ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] assistente e collaboratore Wilhelm Ackermann (1896-1962) stabiliva i fondamenti della legge del tertium non datur per mezzo dellateoriadelladimostrazione di Hilbert.
I limiti della profezia
La Conferenza di Parigi di Hilbert fu un evento unico ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] Bernays (1888-1977) fu il primo ad afferrare le implicazioni del risultato di Gödel.
Importante per la teoriadelladimostrazionedella logica intuizionista fu la formulazione (Gentzen 1935) del calcolo dei sequenti LK e LJ. Usando il suo teorema ...
Leggi Tutto
logica
logica teoriadell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] di trattare situazioni ambigue non riducibili al binomio vero-falso. Un altro ramo delle applicazioni della logica alla computer science è rappresentato dalla teoriadelladimostrazione automatica. In virtù di un teorema di A. Church del 1936, si sa ...
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,...