TAG

論理学

哲学

【論理学】ゲーデルの不完全性定理が前提とする自然数論の公理系とは？【ロビンソン算術と原始帰納的算術】

この記事はすでに「ゲーデルの不完全性定理」の概要をご存じの方向けの内容となっております。そのため定理の大まかな意味や、誕生した歴史的背景などを知りたい場合は、まず以下の記事からご覧ください。 [out […]

哲学

エンジニアであれば誰もが一度は手に取るであろう(?)Noam Nissen著『コンピュータシステムの理論と実装』では、NANDゲートからコンピュータを作り上げます。コンピュータは電子回路により論理演 […]