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
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
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
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 intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] dal punto di vista dellateoriadelladimostrazionedelle numerose assiomatizzazioni di specifici settori della matematica intuizionista (teoria dei numeri, teoriadelle successioni di libera scelta, teoriadelle specie ecc.). Un passo decisivo ...
Leggi Tutto
teoria dei grafi
Gilberto Bini
Lo studio delle proprietà combinatorie, topologiche, probabilistiche ecc. dei grafi, sviluppatosi come teoria matematica autonoma negli anni Trenta del Novecento a opera [...] . Da allora la teoria dei grafi ha subito un sorprendente sviluppo con applicazione a vari settori delle scienze, in particolare i da Kenneth Appell e Wolfgang Haken mediante una dimostrazione che (pur notevolmente semplificata in seguito) richiede ...
Leggi Tutto
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] inizio al periodo moderno della g. stessa. Di ciò fu elemento determinante la dimostrazionedella coerenza logica delle g. non euclidee, studio di tale g. la teoriadelle proiettività e delle omografie, la teoriadella polarità e dei sistemi nulli, ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] dell’informatica teorica; fra m. astratta (di stampo bourbakista, che tende alla massima generalità) e m. concreta (legata agli esempi, all’intuizione); fra m. strutturale, che punta alla dimostrazione di teoremi nel quadro di teorie assiomatizzate ...
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,...