- 2021年8月21日
- 2021年8月21日
【論理学】ゲーデルの不完全性定理が前提とする自然数論の公理系とは?【ロビンソン算術と原始帰納的算術】
この記事はすでに「ゲーデルの不完全性定理」の概要をご存じの方向けの内容となっております。そのため定理の大まかな意味や、誕生した歴史的背景などを知りたい場合は、まず以下の記事からご覧ください。 [out […]
この記事はすでに「ゲーデルの不完全性定理」の概要をご存じの方向けの内容となっております。そのため定理の大まかな意味や、誕生した歴史的背景などを知りたい場合は、まず以下の記事からご覧ください。 [out […]
エンジニアであれば誰もが一度は手に取るであろう(?)Noam Nissen著『コンピュータシステムの理論と実装』では、NANDゲートからコンピュータを作り上げます。 コンピュータは電子回路により論理演 […]