Wpis z mikrobloga

@Inteligentny:

Widzę zagrożenie w sztucznej inteligencji, aczkolwiek nie zgadzam się, że jest to w bardzo nierychłej przyszłości - polemizował profesor przytaczając teorie Kurta Gödela, który "sformułował pewne twierdzenie mówiące, że systemy oparte na rachunku liczb naturalnych właściwie jest nierozstrzygalne, co oznacza, że nie jest możliwe zbudowanie sztucznej inteligencji na systemach komputerowych, które tak naprawdę opierają się na rachunku liczb naturalnych

Znowuż nie do końca trafny argument Penrose'a traktowany jako z definicji