検索結果 39 件
紙図書
国立国会図書館全国の図書館
- 目次・記事第I章 ゲーデルの証明の基礎概念 I. ゲーデルの定理とタルスキーの定理の抽象形式 ......論理学者 §1. タルスキー・ゲーデルの定理の類推 §2. 正常型かつ安定型の1型推論者 §3. ロッサ...
- 件名ゲーデルの定理
紙デジタル図書
国立国会図書館全国の図書館
- 件名ゲーデルの定理 Turing, Alan, 1912-1954
紙図書
国立国会図書館全国の図書館
- 内容細目...解説書。数々の誤用例を素材に、ゲーデルの定理では言えないことまでを徹底的に点検し、定理の射程を明らかにす...
- 件名ゲーデルの定理
紙図書
国立国会図書館全国の図書館
- 目次・記事...完全性定理とは何か? 1.1 ゲーデルの定理と,その不安定性 1.2 数学的不完全性定理と数学論的不完全...
- 件名ゲーデルの定理