MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] . In un lavoro del 1953 E. W. Beth aveva dimostrato questo teorema con il metodo, da lui detto delle tavole semantiche, intermedio tra quello dellateoriadelladimostrazione e quello dellateoria dei modelli. Nel 1956 A. Robinson ne ha data una ...
Leggi Tutto
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
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,...