[¯|¯] Teoremi di Gödel e l'ipotesi dell'

[¯|¯] Teoremi di Gödel e l'ipotesi dell'"Intelligenza Artificiale forte"

mercoledì, Febbraio 6th, 2019

teoremi di gödel,intelligenza artificiale,ipotesi intelligenza artificiale forte — **Fig. 1**

Posted in Logica Matematica | No Comments »

[¯|¯] Verso una coscienza dei robot?

martedì, Febbraio 5th, 2019

coscienza,robot,intelligenza artificiale, teorema di gödel

La mente umana è incapace di formulare (o meccanizzare) tutte le intuizioni matematiche, vale a dire se essa è riuscita a formularne alcune, questo stesso fatto produce nuove conoscenze di carattere intuitivo, per esempio la coerenza di questo formalismo. Questo fatto può chiamarsi "incompletabilità" della matematica. D'altra parte, sulla base di quanto è stato finora dimostrato, resta concepibile che possa esistere (e addirittura che possa essere scoperta empiricamente) un dimostratore meccanico che in realtà è equivalente all'intuizione matematica, ma di cui non si può

dimostrare che lo sia, né si può dimostrare che produca solo teoremi corretti della teoria dei numeri finitaria

Kurt Gödel
(altro…)