【感想】数学ガール／ゲーデルの不完全性定理

このレビューはネタバレを含みます

自分のTwitterへの書き込み抜粋です。

（第1章）　鏡のモノローグ　帽子は何色？の問題。めっちゃ考えてやっとわかった。

（第2章）　ペアノ　アリスメティック　ペアノの公理です。ペアノ特有の後続数の考え方に慣れるまで難しかったです。

（第3章） 　ガリレオのためらい　無限。無限に対する理解は面白い。カントールやデデキントは全体と部分の間に全単射の関係が現れることを無限の定義と考えた。

（第4章）　限りなく近づく目標地点
極限や発散の考え方は面白い。高校生のとき全く興味が湧かなかったのに。多分あんまりぴんとこなかったし自分で導き出せなかったからだと思う。

（第5章）　ライプニッツの夢
意味を考えずに構文論的方法で、証明や定理を定義する。形式の変換のみで表現する。自分の体温を低くして考える。

（第6章）　イプシロン・デルタ
6章では「僕」が数学の実力テストで少し不調で、またテトラちゃんが解けた問題を自分が解けず不機嫌になってしまう。なかなかそんなときもある、とは思えないもの。

数列の極限、関数の極限について、「限りなく近い」という表現よりさらに厳密に表現する。

（第7章）　対角線論法
数学ガール、いままでたくさん読んだけどこの本のこの章が内容的にも小説的にも一番好きかもしれない。矛盾と不完全に向き合う章。

（第10章）　ゲーデルの不完全性定理
最後の章は双倉図書館で定理を実際に見ていきます。読んでるだけだと頭に入ってきませんが、書くとなんとなくわかるものもあります。

だんだんとプログラミングの関数定義を追いかけているような感じがしてきた。ゲーデルはコンピューターを作ろうとしたのだろうか。

決定不能な文　その前の定義のところ全部ノートに書いたからなんとなく追いかけることができました。

レビューの続きを読む

このレビューはネタバレを含みます

書いてある数学を全て理解しようとするとかなり難しい
特にラストのあたりはものすごく難しい。
でもこの本は数学の参考書ではなく読み物であり物語、
ティーチャーでもなくコーチでもなく
数学ガールなんですよね。

数学という世界に
どう向き合うのか
数学でどうありたいのか
今のままではいられない
時は少しずつ流れていき
成長していく中で
いつまでも永遠に放課後を楽しんではいられない
自分と数学との向き合い方を選んで
さらにこの世界の深みを目指すだけではなく
教え、広げていくことを目指す
簡単だと思ったところはまだ入口
自分だけで考えているのではないからこそ
新しい視点が得られ
自分の世界を見つめ直す機会になる
一人の時間に自分を見つめ
一緒の時間にその見つめるためのきっかけをもらう
一人だけど一人ではないんだね
それに気づいているのかいないのか

レビューの続きを読む