Title of article :
Gödel pro ، contra AI: dismissal of the case
Author/Authors :
C. J. B. Jongeneel، نويسنده , , H. Koppelaar، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1999
Pages :
5
From page :
655
To page :
659
Keywords :
GoE delיs theorem , Proof constructions , Turing machine , Metamathematics , Paradox of AI
Journal title :
Engineering Applications of Artificial Intelligence
Serial Year :
1999
Journal title :
Engineering Applications of Artificial Intelligence
Record number :
301583
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=301583
بازگشت