Dimostrazione, teoriadella
Jean-Yves Girard
La teoriadelladimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] . La sua presenza o assenza è la posta in gioco in gran parte dei teoremi dellateoriadelladimostrazione. Il gruppo strutturale si occupa della gestione delle successioni di formule e, dopo il taglio, le regole di contrazione sono le più importanti ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] per la ricerca, come mostrano gli esempi opposti dellateoriadelladimostrazione e dellateoria dei modelli. Sono questi due dei settori centrali della moderna ricerca logica, accanto allo studio delle diverse logiche nate sin dagli anni Venti per ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] logica. Inoltre, il programma di Hilbert segnò l’avvio di una branca importante della l. matematica, la teoriadelladimostrazione, costituita da Hilbert stesso per la necessità (congenita al suo programma) di studiare gli oggetti formali chiamati ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] da L. Löwenheim e T. Skolem, all’origine dellateoria dei modelli, nella quale è per lo più inquadrata la s. logica.
Mentre la teoriadelladimostrazione fondata da D. Hilbert studia le dimostrazioni come oggetti formali senza badare al significato e ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] tra linguaggio formalizzato e altre strutture. Sebbene nell'uso linguistico corrente l'esame di una teoria matematica in termini di teoriadelladimostrazione sia considerato come ‛metamatematica' e l'analogo esame di un calcolo con interpretazione ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Geometria: la tradizione euclidea rivisitata
Pascal Crozet
Geometria: la tradizione euclidea rivisitata
Introduzione
Fin dai primi sviluppi [...] dominanti all'epoca in cui furono redatti gli Elementi, e in particolare alla teoriadelladimostrazione esposta negli Analitici secondi di Aristotele. Non si tratta dunque di un'assiomatica, almeno non nel senso che le attribuiamo oggi e che nascerà ...
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
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
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoriadelladimostrazione (Beweistheorie), [...] ottenuti da Gödel e da P. Cohen. Nel 1940 Gödel dimostrò la non contraddittorietà, relativamente agli altri assiomi dellateoria degli insiemi, dell’assioma zermeliano della scelta e dell’ipotesi cantoriana del continuo; questa, nel caso più semplice ...
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...
pull factor (pull-factor) loc. s.le m. Secondo alcune interpretazioni politiche, l’insieme dei fattori economici, politici e sociali che attrarrebbero la migrazione verso Paesi in condizioni sociali, economiche, politiche, ambientali più favorevoli...