感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて-インターネットで予約するには」をご覧ください。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

アリス・イン・ワンダーランド〜時間の旅〜 (角川つばさ文庫)

著者名 カリ・サザーランド/文 ないとうふみこ/訳
出版者 KADOKAWA
出版年月 2016.6
請求記号 93/06273/


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。


登録する本棚ログインすると、マイ本棚が利用できます。


資料情報

各蔵書資料に関する詳細情報です。

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校長も務める(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表:

前のページへ

本文はここまでです。


ページの終わりです。