La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] oggetto logico che sono le proposizioni strutturate non solo in connettivi, ma anche in soggetti, predicati e quantificatori. Dice Tarski:
La diffidenza dei matematici verso il concetto di definibilità si rafforza attraverso l'opinione corrente ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] costruzione di un'entità a insieme con la dimostrazione che a∈5, allora M trasforma A in una dimostrazione di P(a).
Quantificatore esistenziale. Una dimostrazione di ???29???xP(x), dove il dominio di x è la specie S, consiste nella costruzione di un ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] può essere calcolato esplicitamente. Si ottiene una procedura di decisione diversa dalle procedure classiche, basate sull'eliminazione dei quantificatori. Si fa un uso cruciale del risultato di Weil sulla funzione zeta di congruenza e del teorema di ...
Leggi Tutto
quantificatore
quantificatóre agg. e s. m. [der. di quantificare]. – 1. In logica matematica, operatore che viene premesso a una variabile e che indica quanti oggetti (fra quelli che possono venire indicati dalla variabile) godono di una data...
quantificazione
quantificazióne s. f. [dall’ingl. quantification, der. di (to) quantify: v. quantificare]. – 1. L’operazione e il risultato del quantificare: q. del predicato, nella logica, teoria, elaborata soprattutto da W. Hamilton sulla...