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