L'estinto

Kurt Gödel; La prova matematica dell’esistenza di Dio; Bollati Boringhieri, 2006 Da Anselmo a Gödel Il primo atto di questa lunga storia si situa intorno al 1077: in quegli anni il monaco benedettino Anselmo di Canterbury scrisse il Proslogion, “colloquio”, nel quale, per la prima volta, viene avanzata una dimostrazione a priori dell’esistenza di Dio. [...]

Quando si vuole dimostrare l’esistenza delle idee, si ricorre quasi sempre al teorema di Pitagora. Il ragionamento, grosso modo e in forma vagamente sillogistica, è il seguente: il teorema di Pitagora è sempre vero, anche se si pensa ad altro o se si crede nella sua falsità; il teorema di Pitagora è sempre vero, anche [...]

Bernardo da Chiaravalle, ovviamente non il doctor mellifluus in persona ma un suo estimatore contemporaneo, si diverte con alcune dimostrazioni matematiche. Purtroppo non su argomenti di algebra o analisi o geometria: non vi sono studiati i numeri primi, i gruppi abeliani o i punti del piano. Bernardo discute di etica e di Dio (o, per [...]

Quando due filosofi discutono di reale e di razionale, non si sa mai come può andare a finire. Se i due filosofi in questione sono Tegatistene e Brasmenide la sorpresa finale è assicurata (anche se non è ancora finita).

Il mio articolo Un’idea è per sempre ha evidentemente incuriosito Massimo Adinolfi: dopo aver scritto un commento, al quale ho risposto, ha adesso dedicato al tema uno scritto sul suo blog.

Il teorema di Pitagora esiste, e continuerebbe ad esistere anche se tutti i libri di geometria bruciassero e tutti i matematici perdessero la memoria: non è possibile distruggerlo, ma solo dimenticarlo. Lo stesso non vale per gli oggetti fisici, e ancor di più per quelli sociali. Se viene bruciato un albero, questo semplicemente non c’è [...]

Una dimostrazione è un ragionamento corretto che, partendo da alcune premesse considerate valide, ha come conclusione la verità di una determinata tesi che è stata, a questo punto, confermata. Una volta che una tesi è stata dimostrata, essa è da considerarsi vera, una solida conoscenza acquisita che può essere utilizzata come valida premessa di ulteriori [...]