beylikdüzü eskort

[¯|¯] 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ödelread more




Il Teorema di Gödel secondo Rudy Rucker

lunedì, Febbraio 4th, 2019

Teorema di incompletezza di Gödel,Rudy Rucker

In questo post esaminiamo l'interpretazione del Teorema di incompletezza di Gödel secondo il matematico (e scrittore) Rudy Rucker. A tale scopo prendiamo le mosse da un saggio di Rucker.
read more