SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ by Ahmet Çevik

Subjects: Get full text

HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ by Ahmet Çevik

Subjects: Get full text

The Limits of Computer Science. Weizsäcker’s Argument by Olszewski Adam

“…We base the critique on two well-known results: the theorem of the unsolvability of the halting problem and Gödel’s first incompleteness theorem, and we formulate two objections interpreted without adopting Church’s thesis. …”
Get full text

THE BODY OF «GENERAL AI» AS AN ONTO-SOCIAL VERIFIER by Станіслав БЕСКАРАВАЙНИЙ

“…The body for general AI can be a tool for overcoming the limitations of Gödel’s incompleteness theorem. A contradiction is described: between the need for the widest possible use of publicly available “digital twins”, collective knowledge of the world and the need for general AI to have an ontological verifier as the basis for its own subjectivity. …”
Get full text