著者：Cristian S Calude
出版社： World Scientific Publishing Company
発売日： 2024年03月20日
This is a book about the 'Halting Problem', arguably the most (in)famous computer-related problem: can an algorithm decide in finite time whether an arbitrary computer program eventually stops? This……続きを見る
