Livejournal
Log in
Post
Friends
My journal
gustavolacerda
On Bringsjord's "A Modal Disproof of "Strong" Artificial Intelligence"
gustavolacerda
Apr 07, 2005 22:54
Bringsjord has
worked out
my Penrose-like idea
, formalizing his argument in quantified modal logic (
Read more...
)
phil.comp
,
phil.ai
Leave a comment
35
Up