La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] finitaria per aver senso, e (2) un concetto di verità matematica oggettiva in quanto contrapposto a quello di dimostrabilità veniva guardato con grandissimo sospetto ed era ampiamente rifiutato come privo di significato. (in Feferman 1984, p. 107 ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] , a Siena, prese l'avvio un'analisi in termini algebrici delle proprietà di Teor, un predicato che esprime la dimostrabilità all'interno dell'aritmetica di Peano. Fu quindi individuata una classe di algebre di Boole arricchite di un operatore che ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] uso estensivo può essere spiegato solo con la sua auto-evidenza, che naturalmente non deve essere confusa con la dimostrabilità". A Peano soprattutto obietta che anch'egli aveva trovato i suoi assiomi analizzando i modi di ragionamento che nel corso ...
Leggi Tutto
L'Eta dei Lumi: matematica. Geometria analitica, delle curve e delle superfici. Il problema delle parallele
Peter Schreiber
Geometria analitica, delle curve e delle superfici. Il problema delle parallele
A [...] dalla geodesia, si arriverà solamente con Gauss a partire dal 1828.
Il problema delle parallele
Il problema della dimostrabilità, a partire dagli altri assiomi, del quinto postulato di Euclide (in sostanza l'affermazione dell'unicità della retta ...
Leggi Tutto
verita
verità s. f. [lat. vērĭtas -atis, der. di verus «vero»]. – 1. Carattere di ciò che è vero, conformità o coerenza a principî dati o a una realtà obiettiva: dubitare della v. di una notizia; non credere alla v. delle parole di qualcuno;...