{"resolved":true,"match_type":"uuid","source_type":"original_book","book_id":"0f4df77e-fbc5-46b5-aca2-e27886d75b12","title":"论数码物的存在","author":null,"edition":null,"publisher":null,"year":null,"isbn":"9787208154346","requested_by":"printed_page","book":{"source_type":"original_book","book_id":"0f4df77e-fbc5-46b5-aca2-e27886d75b12","id":"0f4df77e-fbc5-46b5-aca2-e27886d75b12","uuid":"0f4df77e-fbc5-46b5-aca2-e27886d75b12","title":"论数码物的存在","normalized_title":"论数码物的存在","author":null,"edition":null,"publisher":null,"year":null,"isbn":"9787208154346","isbns":["9787208154346"],"parsed":true,"ai_readable":true,"document_type":"book","page_count":317,"navigation_url":"https://workshop.closeclaw.top/ai/book/0f4df77e-fbc5-46b5-aca2-e27886d75b12","title_url":"https://workshop.closeclaw.top/ai/title/%E8%AE%BA%E6%95%B0%E7%A0%81%E7%89%A9%E7%9A%84%E5%AD%98%E5%9C%A8","fixed_page_url_template":"https://workshop.closeclaw.top/ai/book/0f4df77e-fbc5-46b5-aca2-e27886d75b12/page/{printed_page}","path_api_url_template":"https://workshop.closeclaw.top/api/ai/book/0f4df77e-fbc5-46b5-aca2-e27886d75b12/page/{printed_page}","read_url":"https://workshop.closeclaw.top/api/ai/read/0f4df77e-fbc5-46b5-aca2-e27886d75b12","page_url":"https://workshop.closeclaw.top/api/ai/books/0f4df77e-fbc5-46b5-aca2-e27886d75b12/page","search_url":"https://workshop.closeclaw.top/api/ai/books/0f4df77e-fbc5-46b5-aca2-e27886d75b12/search"},"page":{"printed_page":226,"pdf_page":236,"physical_index":236,"physical_index_base":0,"printed_page_status":"recognized","page_sha256":"30b5a316496e77e5a47a8bf2c800fb7cb30086c359378357e582ec1ccb56430b"},"chapter":"第三章","content":"递归性与计算阐释学\n\n先前对递归算法的理解仍然是技术性的，且不够哲学；要做到这一点，我们需要进一步探讨递归性问题及其在逻辑与数学上的意义。在他的著作《递归函数与可计算性的早期历史：从哥德尔到图灵》[62]中，数学和数学史家罗德·亚当斯(RodAdams)概述了从19世纪中叶到图灵机时代递归概念在数学证明中的发展。在亚当斯的叙述中，理查德·戴德金(RichardDedekind)是第一位使用递归定义术语的数学家，在他1888年的文章《数字是什么，数字应是什么?》中，他用它来处理数学归纳。这在戴德金的例子中变得非常清晰，如图表21所示。\n\n递归地理解数字意味着什么？它意味着将数字转换为递归函数。\n\n论数码物的存在\n\n226","previous_page":225,"next_page":227}