蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
資料番号 |
資料種別 |
配架場所 |
別置 |
帯出 |
状態 |
| 1 |
鶴舞 | 2732120007 | じどう図書 | 児童書庫 | | | 在庫 |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
| 請求記号 |
93/06273/ |
| 書名 |
アリス・イン・ワンダーランド〜時間の旅〜 (角川つばさ文庫) |
| 著者名 |
カリ・サザーランド/文
ないとうふみこ/訳
|
| 出版者 |
KADOKAWA
|
| 出版年月 |
2016.6 |
| ページ数 |
244p |
| 大きさ |
18cm |
| シリーズ名 |
角川つばさ文庫 |
| シリーズ巻次 |
Cさ3-1 |
| ISBN |
978-4-04-631631-8 |
| 分類 |
9337
|
| 書誌種別 |
じどう図書 |
| 内容紹介 |
青いチョウを追ってアリスが鏡に足を踏み入れると、そこはふしぎの国「アンダーランド」だった! 友だちのピンチを救ってほしいと言われたアリスは、過去を変える旅へ…。2016年7月公開映画の小説版。 |
| タイトルコード |
1001610024525 |
| 要旨 |
正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、「チューリング機械」という仮想的な計算機から「計算可能性と停止問題」に行き着きます。二人は同じことを全く別の視点から証明したのです。天才たちの思考の軌跡を楽しく見ていきましょう。 |
| 目次 |
第0章 こころの準備(公理から集合まで いわゆる3ワカランについて この本の構成と読み方) 第1章 無限に挑んだドン・キホーテ、ゲオルク・カントール(まちがいだらけと揶揄されたカントール 無限ホテルの怪 ほか) 第2章 ラッセル卿の希望を打ち砕いたクルト・ゲーデル(ラテン語の文法を完全にマスターした子供 論理学超入門(真偽表) ほか) 第3章 チューリングの辞書に「停まる」という文字はない(チューリングの肖像 友人の死と心脳問題 ほか) 第4章 Ω数、様相論理、エトセトラ(グレゴリー・チャイティンとΩ数 いろいろな不完全性 ほか) 特別対談 不完全性定理―数学と哲学の交差点から 加藤文元×竹内薫 |
| 著者情報 |
竹内 薫 サイエンス作家。1960年生まれ。東京大学教養学部教養学科、同大学理学部物理学科卒業。マギル大学大学院博士課程修了(高エネルギー物理学専攻、理学博士)。「サイエンスZERO」(NHKEテレ)の司会を長く務め、科学コミュニケーターとしても広く知られる。また、教育にも強い関心を持っており、YES International School校長も務める(本データはこの書籍が刊行された当時に掲載されていたものです) |
内容細目表:
前のページへ