2024/05/05
資料の種別。 |
図書。
資料情報のコピー
|
タイトル。 |
ゲーデルの定理(ゲーデル ノ テイリ)。
外部サイトで調べる:
|
副書名。 |
利用と誤用の不完全ガイド(リヨウ ト ゴヨウ ノ フカンゼン ガイド)。
|
著者名等。 |
トルケル・フランセーン∥[著](フランセーン,トルケル)。
|
田中一之∥訳(タナカ,カズユキ)。
|
出版者。 |
みすず書房/東京。
|
出版年。 |
2011.3。
|
ページと大きさ。 |
241p/22cm。
|
件名。 |
ゲーデルの定理。
|
分類。 |
NDC8 版:410.9。
|
NDC9 版:410.9。
|
ISBN。 |
978-4-622-07569-1。
|
4-622-07569-5。
|
価格。 |
3500円。
|
タイトルコード。 |
1104994834。
|
内容紹介。 |
ゲーデルの不完全性定理について、本来の定理としての醍醐味を語るユニークな解説書。数々の誤用例を素材に、ゲーデルの定理では言えないことまでを徹底的に点検し、定理の射程を明らかにする。。
|
著者紹介。 |
【フランセーン】ルレオ工科大学計算機科学・電子工学科に講師として長年勤め、プログラミングを教えた。数理論理学と計算機科学を専門とし、主要な関心であったゲーデルの定理に関して本書とより専門的な著書がある。。
|
【田中】1955年生まれ。カリフォルニア大学バークレー校で、新しい算術独立命題を発見したハーリントン教授に師事。現在、東北大学大学院理学研究科数学専攻教授。専門は数学基礎論で、とくに「逆数学」の研究で国際的に知られる。著書に「ゲーデルと20世紀の論理学」など。。
|
所蔵数。 |
館内でのみ利用可能な資料。 |
貸出可能な資料。 |
貸出中の資料。 |
予約数。 |
- 所蔵数
- 1 冊
|
- 館内でのみ利用可能な資料
- 0 冊
|
- 貸出可能な資料。
- 1 冊
|
- 貸出中の資料
- 0 冊
|
- 予約数
- 0 件
|
番号。 |
資料番号。 |
所蔵館。 |
配架場所(配架案内)。 |
請求記号。 |
状態。 |
1。 |
- 資料番号:
- 1015744624。
|
- 所蔵館:
- 福井県立図書館。
|
- 配架場所:
- 自然4自然4(自然4の書架にあります。おわかりにならない時は、職員にお尋ねください。)。
|
- 請求記号:
- 410.9/フラン。
|
- 状態:
- 在架。
|
このページのURL:http://www.library-archives.pref.fukui.lg.jp/wo/opc_srh/srh_detail/1104994834