Inferenza bayesiana in teoria dei numeri: la matematica come fisica

From: Giovanni Lagnese detto il Papero <esengal_at_ign.ti>
Date: Mon, 5 Sep 2005 11:20:10 +0200

Come ha sostenuto anche Goedel, se si vuole essere coerenti con un punto di
vista realista (ossia o platonista o materialista dialettico o qualsiasi
punto di vista secondo cui la matematica studia una qualche realta`) sui
fondamenti della matematica, bisogna ammettere ad esempio l'uso di metodi
induttivi ("induttivi" nel senso epistemologico) in matematica.
Pertanto, se un enunciato aritmetico e` verificato per tutti gli esempi
conosciuti, nulla vieta di assumerlo come assioma.
O meglio, nulla vieta di utilizzare metodi di inferenza bayesiana in
matematica.
Pero` in matematica questo non basta: c'e` bisogno che l'enunciato sia
"evidente". Perche'?
Ciao!
Giovanni
Received on Mon Sep 05 2005 - 11:20:10 CEST