Pinned
不完全性定理に感動した話｜自己言及文学少女
僕は不完全性定理をまだ分かってない。
あにりん(休学中)
あにりん(休学中)
6,421 posts
あにりん(休学中)
@Sogennin_sinsu7
趣味で数学してるメンヘラ落ちこぼれ大学生 縮小：
あにりん(休学中)’s posts
高校1年生のころ、初めて自分のオリジナルの数学の定理を証明した。夏休み、毎日3~8時間ずっと憑りつかれたように机に座り、考え続けた。そして、ある日の夜、僕は予想を自分の手で証明していることに気づいた。心拍数が急上昇し、全身から汗が噴きで、自己が数学と調和したかのような錯覚に陥った。
数学書をこんな風に読める人は多分存在しない。そう考えると、やはり高校以前と大学以降では勉強の仕方も少しばかり変わってくるのかと思ったり
Quote
株ゴリラ
@gorillataxjp
勉強を始めるときは参考書を1ページ1秒のペースで太字だけを超高速で見てました。
300ページを5分で読めるうえに脳がバッキバキに活性化する裏技です。
Replying to
しかし、この時に感じた"魂が埋没し、人生に光が満ち溢れた"感覚だけは本物だった。この原体験を超える体験をこの先の人生で味わえるかは定かではないが、あのときに"結果"を何一つとして出せてなければ、数学の道を進むことはなかったのかもしれないと今になっては思う。
珍しく人と数学の話が出来ると思ったら、0除算が出来ないのは計算してるからで「計算する」の定義は人の意思だみたいなトンデモオリジナル数学理論展開されて流石に萎えた。大学でフーリエ級数とか勉強してもこういう人間って出てくるんだなと思ってしまった。
Replying to
今思い返せば、大学初年度の集合の基礎もまともに知らずに数学の"研究"をするなんて無知も甚だしかった。定理の内容も高尚なものでもないし、僕が知らないだけで既存の結果がどこかにあるかもしれない。証明の書き方も稚拙で、"論文"も賞を受賞するなんてことはなかった。
高校生までは数学ができることがアイデンティティであることが許されたけど、数学を専攻するようになってからはその考えは完全に捨てないといけないなと思った。メンツを気にしながらできるほど学問は甘くはなかった。
Quote
村上友哉
@MurakamiMath
数学をきちんと理解するのは難しいです。
あやふやな理解のまま先へ先へと進んで、「数学を理解する」とはどういうことかも分からずに引っ込みが付かなくなっている人をたまに見かけると、やるせない気持ちになります。
数学基礎論
Quote
自数
@7jMRXTRdrhY0bZ5
逆数学って分野の名前だったのか。
本屋で逆数学ってタイトルの本見てなんかエンタメ？的な何かなのかと思ってた。
先生が「4次元空間では面と面が1点のみで交わることがよくあるけど、具体例を出して下さい」って言ったときにxy平面とzw平面がパッと浮かんだ自分を褒めてあげたい
というか、僕はトンデモなんじゃないかという疑念が常にある、恐怖がある。だから僕は大学院に行きたい、自分がしてる/考えてる数学が健全なものであると保証されたい。強迫的かもしれないが、そうしなければこの恐怖からは逃れられないような気がする。
Quote
あにりん(休学中)
@Sogennin_sinsu7
最近話題になってるAIと数学周りの話、普通に怖いんだよな。そのうち人は考えることを全てAIに委ねてしまうのか、あるいは既存の「考える」概念そのものが変容してしまうのか。慎重に使っていきたい。
「数学はなんの役に立つのか？」で「思考力を育てるのに有用だ」は違和感がある。別に科学でも文系の学問でも論理的思考力は十分に身につくと思うんだけど。
中学生のときに不完全性定理を理解したくてジュンク堂で菊池本を買ったのはいい思い出。ただし前提知識なしで理解出来るって書いてたのにZornの補題が急に出てきて積み本になったのは未だに許してない。
Quote
あにりん(休学中)
@Sogennin_sinsu7
ゲーデルの第二不完全性定理の主張を読んだけどなんか呆気なかったな…公理的集合論とかちゃんと勉強しないとこれの偉大さは理解出来なのだろうか…
ガチでありがとう
Quote
あにりん(休学中)
@Sogennin_sinsu7
とりあえず大学図書館に
・シルヴァーマン代数学
・キューネン数学基礎論講義
・これからの集合と位相
を申請しておいた、通るといいな
準同型写像の定義の理由って聞かれたらちょっと困るかもしれない、何でf(ab)=f(a)f(b)が演算を保つことになるのかをスムーズに説明できない希ガス
