はてなキーワード: ヒルベルトとは
量子力学における観測者問題についてはよく知られるように、人間の主観性が量子実験の結果に重要な役割を果たしている。
ドイツの物理学者ヴェルナー・ハイゼンベルクによる有名な引用がある。
「私たちが観察するのは現実そのものではなく、私たちの質問の方法にさらされた現実です。」
例えば有名なダブルスリット実験では、スリットの後ろに検出器を置かなければ電子は波として現れるが、検出器を置くと粒子として表示される。
したがって実験プロトコルの選択は、観察する行動パターンに影響する。これにより、一人称視点が物理学の不可欠な部分になる。
さて、数学にも一人称視点の余地はあるか。一見すると、答えは「いいえ」のように見える。
ヒルベルトが言ったように、数学は「信頼性と真実の模範」のようである。
それはすべての科学の中で最も客観的であり、数学者は数学的真理の確実性と時代を超越した性質に誇りを持っている。
ピタゴラスが生きていなかったら、他の誰かが同じ定理を発見しただろう。
さらに定理は、発見時と同じように、今日の誰にとっても同じことを意味し、文化、育成、宗教、性別、肌の色に関係なく、今から2,500年後にすべての人に同じ意味があると言える。
さて、ピタゴラスの定理は、平面上のユークリッド幾何学の枠組みに保持される直角三角形に関する数学的声明である。しかし、ピタゴラスの定理は、非ユークリッド幾何学の枠組みでは真実ではない。
何が起こっているのか?
この質問に答えるには、数学的定理を証明することの意味をより詳しく調べる必要がある。
定理は真空中には存在しない。数学者が正式なシステムと呼ぶものに存在する。正式なシステムには、独自の正式な言語が付属している。
つまり、アルファベットと単語、文法は、意味があると考えられる文章を構築することを可能にする。
その言語には、「点」や「線」などの単語と、「点pは線Lに属する」などの文章が含まれる。
次に正式なシステムのすべての文のうち、有効または真実であると規定した文を区別する。これらは定理である。
それらは2つのステップで構築されれる。まず、最初の定理、証明なしで有効であると宣言する定理を選択する必要がある。これらは公理と呼ばれる。
公理からの演繹は、すべての数学がコンピュータで実行可能な印象を生む。しかし、その印象は間違っている。
公理が選択されると、正式なシステムで定理を構成するものに曖昧さがないのは事実である。
これは実際にコンピュータでプログラムできる客観的な部分である。
例えば平面のユークリッド幾何学と球の非ユークリッド幾何学は、5つの公理のうちの1つだけで異なる。他の4つは同じである。
しかしこの1つの公理(有名な「ユークリッドの5番目の仮定」)はすべてを変える。
ユークリッド幾何学の定理は、非ユークリッド幾何学の定理ではなく、その逆も同様。
ユークリッド幾何学と非ユークリッド幾何学の場合、答えは明確である。これは、単に説明したいものに対応している。
数学は広大であり、どのように公理を選択するかという問題は、数学の基礎に深く行くと、はるかに感動的になる。
すべての数学的オブジェクトは、いくつかの追加構造を備えたセットと呼ばれるものであるということだ。
たとえば自然数のセット1,2,3,4,...は加算と乗算の演算を備えている。
集合論は特定の正式なシステムによって記述される。Ernst ZermeloとAbraham Fraenkelと、選択の公理と呼ばれる公理の1つに敬意を表して、ZFCと呼ばれる。
今日の数学者は、すべての数学を支える集合論の正式なシステムとしてZFCを受け入れている。
彼らは、無限の公理と呼ばれるZFCの公理の1つを含めることを拒否する。
言い換えれば、有限主義者の正式なシステムは、無限の公理のないZFCである。
無限大の公理は、自然数の集合1,2,3,4,...が存在すると述べている。すべての自然数に対してより大きな数があるという声明(「ポテンシャル無限大」と呼ばれる)よりもはるかに強い声明である。
有限主義者は、自然数のリストは決して終わらないことに同意するが、いつでも自然数の集合の有限の部分集合のみを考慮することに限定する。
彼らは一度にまとめたすべての自然数の合計が実在することを受け入れることを拒否する。
この公理を取り除くと、有限主義者が証明できる定理はかなり少なくなる。
正式なシステムを判断し、どちらを選択するかを決定することができるいくつかの客観的な基準...なんてものはない。
「時間と空間を超越した何かを象徴しているので無限大が大好きだ」と言えば無限大の公理を受け入れることができる。
ゲーデルの第二不完全性定理は、十分に洗練された正式なシステム(ZFC等)は、自身の一貫性を証明することができないと述べている。
数学者は、今日のすべての数学の基礎であるZFCが確固たる基盤にあるかどうかを実際に知らない。
そしておそらく、決して知ることはない。
なぜなら、ゲーデルの第二の不完全性定理によって、より多くの公理を追加することによってZFCから得られた「より大きな」正式なシステムにおけるZFCの一貫性を証明することしかできなかったから。
一貫性を証明する唯一の方法は、さらに大きな正式なシステムを作成することだけだ。
数学を行うためにどの公理を選択すべきかについて、実際には客観的な基準がないことを示唆している。
要するに、数学者が主観的に選んでいるというわけである。自由意志に任せて。
公理のための主観的な基準というのは、より豊かで、より多様で、より実りある数学に導くものを選ぶという人は多い。
これは自然主義と呼ぶ哲学者ペネロペ・マディが提唱する立場に近い。
特定の公理のセットを選択する行為は、量子物理学の特定の実験を設定する行為に似ている。
それには固有の選択肢があり、観察者を絵に導く。
右や左すら、現実の感覚と結びつけず、つまり対面で「右とはこっちだよ」と具体的に指さしで説明することなく、言葉や記号のみで形式的に定義することは不可能ですね。
ヒルベルト流に右や左自体でなくその関係性から定義したとしても、おそらく現実で右と呼ばれる方向かその逆か一意に定まらない定義にしかならないでしょう。
それなのになぜより高度と思われる数学の概念を現実の感覚によらずに定義できるというのか欺瞞を感じるわけです。
ちなみに磁極とか電流の向きとかで説明しようとするのは、その方向を向いているものの具体例をあげているだけで定義とは言えないでしょう。
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます.
ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います.
数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます.
(あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. )
現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてください. ここで公理とはあらかじめ定められた記号列で, 推論規則とはいくつかの文字列を用いて新しい文字列を生み出す操作です, 例えば文字列A→BとAが与えられたときに文字列Bを得る操作があります. 定理(数学的命題)とはこの操作によって生み出される文字列です. これらの操作は数学における証明を形式的に記述したものになっています. 論理式などもこの形式化のもとで特定の条件を満たす文字列として定義されます. 例えば論理式Pの否定は¬Pという文字列です. (ここでは否定を表すための記号として¬という文字列を用いています. )
ここまで文字列だけを考えた形式的なものですが, 構造やモデルを使うことによってこれらの文字列を解釈する(つまり意味を与える)ことができます. (詳細は省きます. ) 構造やモデルを定めることによって論理式の意味が一意的に定まります. またそれらの取り方を変えることによって意味が変わることもあります.
これの考え方によって(数学的な)意味は形式から分離されています. さらに気になる場合はゲーデルの完全性定理などを見てください.
そして適切な公理と推論規則を定めることにより数学そのものを形式的に扱うことできます. その適切な公理はツェルメロ-フレンケル集合論(ZFC)と呼ばれており, 現在の数学者はこのZFCを用いて数学をしています. (一部, 圏論などでZFCに収まらない議論があると聞きますが, それらもZFCの適切な拡張を考えることで解決できます. )
つまり, これまでに書かれた数学の証明などは全てこのZFCを用いることで文字列の操作に書き換えることができます.
一方で数学の論文は普段の言葉(自然言語)を使って書かれます. これは本当に全て文字列に書き換えることをした場合, 可読性が著しく落ち, また分量も膨大になるため人が読めないためです. しかし証明は自然言語で書きつつも, いざとなったら形式的に文字列に書き換えることができるという前提に立っています. そしてこれは理論的には可能であり, 数学の厳密性を担保しています.
「定義の一意性」に関してですが私自身が元記事の要点を完全に理解しているわけではないのですが, 数学に関していうとある数学的概念の定義が複数あることはよくあります. もちろんその複数ある定義が同値であることを証明されなければなりません. ここで同値というのはある数学的対象Aが定義Pと定義Qで与えられていた時に, 「Aが定義Pを満たすならば, 定義Qを満たす. またAが定義Qを満たすならば定義Pを満たす. 」ということです. 実際に使う際には用途に合った定義を用いることになります. それらは同値なのでどれを選んでも問題ないです.
以上がざっくりとした形式化された数学に関してです. 参考になれば幸いです.
追記: これは筆者個人の考えですが, 数学と哲学の議論はしっかりと分離してなされるべきだと考えています. もちろん相互の交流はなされるべきですが, 両者を混同するのは誤解や誤りの原因になると思います.
1946年ごろのプリンストン高等研究所で天才が実在だの知性の限界だのの話をする日常物語。主な主人公はフォン・ノイマン、クルト・ゲーデル、アインシュタインの三人。
肝心なのは、実在の人物が登場するが、これは物語であってドキュメンタリーではないこと。
彼らの会話内容や経歴には元ネタがあるにせよ、要するに著者の妄想である。
メイン主人公のフォン・ノイマンはプリン☆ストン高等研究所の数学教授。アカデミアでは知らない人はいない超天才。最近は計算機開発にご執心。フォン・ノイマンちゃんは天気予報をやってみたい!
クルト・ゲーデルは不完全性定理を発表した当代随一の論理学者、にして奇人。最近は教授になりたくてしょうがない。
世界的アイドル アルバート・アインシュタインさんは、ここでは時代に取り残された古典物理学者。つまり金看板ですよ金看板。
あとはオッペンハイマーとかワイルとか、なんか色々出てきて、不確定性原理とかヒルベルトプログラムとか知性とか認知とかの話をしながら和やかに穏やかに日々が流れる。
クルト・ゲーデルが教授に昇進し、フォン・ノイマンの計算機開発が採択され、アインシュタインは主人公格なのに影が薄いまま物語は幕を閉じる。
気晴らしにはちょうど良いが内容が適当っぽくて人には勧めにくい。
図書館には娘を連れて行ったわけだが、本当に久しぶりだ。紙の娯楽本を読むのも久々だ。
年のせいか読書ヂカラが衰えてきたな、なんて思うこともあるのだが、この本はすいすい読めた。
どうもやはり紙の本は、Kindleとは違う。読んでいるときの脳のモードとか没入感が違う。
なんでだろうね。
知的作業の本質を論じることは困難。数学の最も重要な特徴は、自然科学、もっと一般的に言えば、純粋に記述的なレベルよりも高いレベルで経験を解釈するあらゆる科学との、極めて特異な関係にあるとノイマンは考えていた。
ほとんどの人が、数学は経験科学ではない、あるいは少なくとも経験科学の技法とはいくつかの決定的な点で異なる方法で実践されていると言う。しかしその発展は自然科学と密接に結びついている。
まず幾何学。力学や熱力学のような、間違いなく経験的な他の学問は、通常、多かれ少なかれ仮定的な扱いで提示され、ユークリッドの手順とほとんど区別がつかない。ニュートンのプリンキピアは、その最も重要な部分の本質と同様に、文学的な形式においてもユークリッドと非常によく似ている。仮定的な提示の背後には、仮定を裏付ける物理的な洞察と、定理を裏付ける実験的な検証が存在する。
ユークリッド以来、幾何学の脱皮は徐々に進んだが、現代においても完全なものにはなっていない。ユークリッドのすべての定理のうち、5番目の定理が疑問視された最大の理由は、そこに介在する無限平面全体という概念の非経験的性格にあった。数学的論理的な分析にもかかわらず、経験的でなければならないかもしれないという考えが、ガウスの心の中に確かに存在していたのである。
ボリャイ、ロバチェフスキー、リーマン、クラインが、より抽象的に当初の論争の形式的解決と考えるものを得た後も、物理学が最終決定権を握っていた。一般相対性理論が発見されると、幾何学との関係について、全く新しい設定と純粋に数学的な強調事項の全く新しい配分で、見解を修正することを余儀なくされた。最後に、ヒルベルトは、公理幾何学と一般相対性理論の両方に重要な貢献をしている。
第二に、微積分学から生まれたすべての解析学がある。微積分の起源は、明らかに経験的なものである。ケプラーの最初の積分の試みは、曲面を持つ物体の体積測定として定式化された。これは非軸性で経験的な幾何学であった。ニュートンは、微積分を基本的に力学のために発明した。微積分の最初の定式化は、数学的に厳密でさえなかった。ニュートンから150年以上もの間、不正確で半物理的な定式化しかできなかった。この時代の主要な数学的精神は、オイラーのように明らかに厳密でないものもあったが、ガウスやヤコービのように大筋では厳密なものもあった。そして、コーシーによって厳密さの支配が基本的に再確立された後でも、リーマンによって半物理的な方法への非常に独特な回帰が起こった。リーマンの科学的な性格そのものが、数学の二重性を最もよく表している例である。ワイエルシュトラス以来、解析学は完全に抽象化、厳密化され、非経験的になったように思われる。しかし、この2世代に起こった数学と論理学の「基礎」をめぐる論争が、この点に関する多くの幻想を払拭した。
ここで、第三の例。数学と自然科学との関係ではなく、哲学や認識論との関係である。数学の「絶対的」厳密性という概念そのものが不変のものではないことを示している。厳密性という概念の可変性は、数学的抽象性以外の何かが数学の構成に入り込んでいなければならないことを示す。「基礎」をめぐる論争を分析する中で、二つのことは明らかである。第一に、非数学的なものが、経験科学あるいは哲学、あるいはその両方と何らかの関係をもって、本質的に入り込んでいること、そしてその非経験的な性格は、認識論が経験から独立して存在しうると仮定した場合にのみ維持されうるものであること。(この仮定は必要なだけで、十分ではない)。第二に、数学の経験的起源は幾何学と微積分のような事例によって強く支持されるということ。
数学的厳密さの概念の変遷を分析するにあたっては、「基礎」論争に主眼を置くが、それ以外の側面は、数学的な "スタイル "の変化についてであり、かなりの変動があったことはよく知られている。多くの場合、その差はあまりにも大きく、異なる方法で「事例を提示」する著者が、スタイル、好み、教育の違いだけで分けられたのか、何が数学的厳密さを構成するかについて、本当に同じ考えを持っていたのか、疑問に思えてくる。
極端な場合には、その違いは本質的なものであり、新しい深い理論の助けによってのみ改善されるのであり、その理論の開発には百年以上かかることもある。厳密さを欠く方法で研究を行った数学者の中には(あるいはそれを批判した同時代の数学者の中には)、その厳密さの欠落を十分認識していた者もいたのである。あるいは、数学的な手続きはどうあるべきかというその人自身の願望が、彼らの行動よりも後世の見解に合致していたのだ。たとえばオイラーなどは、完全に誠実に行動し、自分自身の基準にかなり満足していたようである。
屋根裏を整理してたら古いパソコン(といっても2006年頃)が出てきたのでブラウザの検索履歴をサルベージしてみた。
当時自分が何にハマっていたのか思い出されていろいろ懐かしい…
パラ様 生え際
ホケマクイ
ブッチーン 灯花
ぶっこぉすぞー
るくしおん しびれるぜ、鋼の
ティプトリー・ショック
「デストロイがいいね」と君が言ったから六月二十四日はUFOの日
わたるが死んじゃう
琵琶湖タワー
猫いらず 口の周り 光る
尸条書
立方晶窒化炭素
ドーマン法
ひだまりスケッホ
空飛ぶ冷し中華
セーラー戦士が全員ブルマーだったら、アニメ史を変えていたと思うね
34歳児
実はまだ2階に
アリオク
緑はいらない子
そうです。あのコが僕の畏敬する天使様なのです
おかしとか食べる
T-34が倒せない
さあ牛だ
セノバイト
omegaの視界
ぽこにゃん
だぞなもし
倒福マーク
ボッキアウト
フムン
ユープケッチャ
目なき顔のジールバ
やったー+1 シヴィライゼーション
ルロス ロルス
玉音盤奪取
ハレとケ
もえたん 06話
路肩のピクニック
白楽電の詩
ガッシボカ
聖なんとか女学園
クートニアン
お脱ぎなさい
グンニョキ
強さ激しく変動
南斗聖拳108派一覧
みなぎる力がみなぎるぜ
力こそパワー
重い生理が来たみたい
4ひえた
ムーミンパパ海へいく
チャンパーノウン定数
見知らぬ国のデイトリッパー
紫暗号
いざり
比留間 京之介
この娘、最後死んじゃうんだよね
旧神なんていないよ
棒シムーン
S級だけどめどいんでB
オレモダビール
"オナホさん"
アントノフ 積載量
黄金の真昼
Let's Beginning to Look Alot Like Fishmen
けいせい出版
共生るんです
ガネッコ
莫迦め 死んだわ
スコープドッグ 装甲厚
かみそり半蔵地獄攻め
クンデラ 不滅
如意棒 重さ
ちびくろサンボ 枚数
俺のケツをなめろ
大胖女人
大司令症候群
gunyoki
グンニョキ
おしつおされつ
どうしてエレクチオンしないのよぉぉぉぉ
こぐにっしょん
虹作戦
燕山夜話
ドラ28
中国人の部屋
エロ イッカイヅツ
菊屋橋101号
システムショック
ゲバルト・ローザ
完全黙秘
唸るコカトリス亭
みずずちん
なんてこった 死の宣告
アンダーダーク
ロンゴ・ロンゴ
ゲオルギウス
毒薬仁
まじかるぴゅあソング
だいす☆くえすと
つめたく冷えた月
フンカーリート
Shang-Du
水エタノール噴射
願望機
舟に棲む
rom ヘッダ 削る
長靴いっぱい食べたいよ
陣形技 閃き
ハリマオ
ぺちんぺちん
カタリナ おそるべし
野月まひる
マライア 多摩
素敵医師
相沢 祐一 最強
みなみおねいさん
あまぞn
夢のクレヨン王国 SONGBOX
振武刀
クリントワン
ロイさーん
レムコレクション
カードゲーム テケリ・リ
グレゴール・ザザ虫
きみはホエホエむすめ
東方夢終劇
ファミソン8BIT
生きなさいキキ
dwarvish mattock
蟹工船 光線
パラシュート部隊 突然に
ゴクイリイミオオイ
アウト・オブ・眼中
モルディギアン
納骨堂の神
ヴェクナ
パラシュート部隊 突然に
情無用ファイア
末期 少女病
唸るコカトリス亭
アカディネの泉
ショスタコーヴィ
ジャック ケッチャム
シャノン 情報理論
ガロアの郡論
ルルスの術
ラヴォアジエ
宇津田さんの死
レムコレクション
佐保姫 信太の森
ころがる石のような俺の生き様
はしれぐずども
紫暗号
白い神兵
火のバプテスマ
清家理論
サールクラフト
lycanthropy
某研究者
アナ姫さま おげんきですか
オナホ 2番目
宇宙麻雀
電戦トリオ
乳ロマンサー
私は痛みだ
くやしい、でも ビルケナウ
グレゴール・ザザ虫
新藤幸司 CV
Chante キミの歌がとどいたら 先生
開路に時限のある リレー
Drizzt
ちんぽ生やして出直して来い
男根 恐ろしいまでに
コロラド撃ち
HEARTWORK
誠ぉっ そこにいるんでしょ
ずっとオレのターン
ぼくはぼくであること
おれがあいつで
アラバハキ
幻影都市
わたしこそ しんの ゆうしゃだ
クトゥル スペースジョッキー
フラッシャー付自転車
神よりも弱いただのオセロ
おがわみめい
水無神知宏
CARNIVAL 小説
じゃこつばばあ
生と死の境界 安置
うぉ、まぶしっ
ゼロで割る
ココロン
有尾人 フィリピン
子供達を責めないで
圧力計 連成計 BV
エドガー ダケェ
おびんずる
にこにこ商事
ひろ
https://anond.hatelabo.jp/20210728111035
上記のエントリでヒルベルトやガロアに並ぶ数学者について質問されたので例示するけど
その前に何故ヒルベルト・ガロアを挙げたかについても説明します。
まずヒルベルトは集合論に基づく20世紀前半の様々な数学理論の構築に重大な貢献をした人として挙げた。
その中でヒルベルトみたいな貢献をしている人としてジェイコブ・ルーリーという数学者がいる。
現在の代数理論の根本的な部分から新しい基礎を作り位相的場の理論や代数幾何学の理論の構築まで行ってるのは
次にガロアは方程式が解ける解けないという性質の裏に隠れた対称性を見事に発見した発想力の凄い人として挙げたけど
この隠れた対称性を見つけるという発想は現在の様々な数学理論に影響が及んでいる。
現在ガロアのような発想をした人としてエドワード・ウィッテンという数学者がいる。
彼は物理学者という意見も多いが数学者としても凄いのは間違いないと思う。
ウィッテンは様々な幾何的な不変量に対して物理的なモデルを考える事で別の求め方が出来る事を発見した。
こうして今まで重要と考えられてきた様々な幾何的な対象について物理的なモデルを用いて
今まで分かって無かった性質を見つけるという方法は現在の幾何において重要なやり方として大きく発展している。
この多大な影響を及ぼした発想をしたウィッテンはメチャクチャ凄い数学者だと思う。
時間 | 記事数 | 文字数 | 文字数平均 | 文字数中央値 |
---|---|---|---|---|
00 | 143 | 14804 | 103.5 | 47 |
01 | 70 | 9451 | 135.0 | 40.5 |
02 | 69 | 13973 | 202.5 | 73 |
03 | 33 | 6289 | 190.6 | 28 |
04 | 16 | 1809 | 113.1 | 62.5 |
05 | 14 | 659 | 47.1 | 37 |
06 | 36 | 1823 | 50.6 | 31.5 |
07 | 74 | 5508 | 74.4 | 51 |
08 | 68 | 5943 | 87.4 | 47.5 |
09 | 123 | 12617 | 102.6 | 35 |
10 | 219 | 17421 | 79.5 | 42 |
11 | 193 | 18055 | 93.5 | 48 |
12 | 179 | 13671 | 76.4 | 36 |
13 | 141 | 14648 | 103.9 | 26 |
14 | 119 | 6892 | 57.9 | 32 |
15 | 184 | 20802 | 113.1 | 36 |
16 | 276 | 20305 | 73.6 | 24 |
17 | 218 | 13488 | 61.9 | 41 |
18 | 164 | 15050 | 91.8 | 36.5 |
19 | 163 | 11077 | 68.0 | 33 |
20 | 218 | 19264 | 88.4 | 37 |
21 | 173 | 13611 | 78.7 | 35 |
22 | 215 | 24606 | 114.4 | 32 |
23 | 170 | 15354 | 90.3 | 32 |
1日 | 3278 | 297120 | 90.6 | 36 |
ソシャゲガイジ(7), ヒルベルト(8), ガロア(8), shiba(4), EZ(3), ゲムスパ(3), Spark(3), 茶器(3), 相葉(4), エレクトロニカ(3), 死体遺棄(7), 資本(19), 開会式(20), 転売(25), 直近(12), 五輪(82), 無観客(11), 競技(24), 病床(10), 夏休み(13), 感染者数(19), オリンピック(134), 観客(13), アスリート(16), 死者数(10), 重症(26), 選手(39), 打っ(28), 接種(32), 中止(31), ワクチン(75), 感染者(36), スポーツ(29)
■ /20210728113443(20), ■真面目な話、男の多くは処女厨だと思うんだが /20210728165428(17), ■TOKYO2020を機に世界が激変しそうだ /20210728084208(16), ■庭でキャンプしたら、家族が溶けた。 /20210728150751(16), ■コロナの病床からこんばんは /20210727225048(14), ■「電車通勤をしてる奴らは人殺しの顔をしろ」とは言わない理由 /20210728193318(14), ■ブコメがつまらなくなった /20210727194501(13), ■今日は俺の誕生日だあああああああ! /20210728100209(13), ■「沈黙は加担」ってマジで何だったの? /20210727201328(12), ■駆け出しエンジニアってなんですぐ駆けるの止めるの? /20210728124227(10), ■東京3000人超 /20210728154924(8), ■予約システムをバイトに作らせたい /20210728220819(7), ■サトシ「ポケモン税?」 /20210726160554(7), ■彼氏のおっぱいへのセレナーデ /20210728010131(7), ■今、コロナで若者が責められないのはなぜ? /20210728100431(7), ■工作用アカウント(複垢等)をメモしていく /20200816073717(7), ■ /20210728122847(6), ■妻の正常性バイアスがひどい /20210728092337(6), ■選手村で絶対に交わされているであろう会話 /20210728082348(6), ■社会学とか経済学でトンデモ理論が平然と出てくるのは何でなの /20210727235502(6), ■増田でエクストリームな論を主張する人 /20210728163401(6), ■三角形の内角の和を180度以外にしたい /20210727221632(6), ■オリンピック女子ロードレースの奇跡を素人にも分かるよう解説する /20210727115101(6), ■女とかいうどんなに人生転落しても結婚すればいい性別 /20210728102158(6)
待て。サッカー選手で例えてくれよ。
サッカー選手 | 数学者 |
---|---|
ペレ | ? |
マラドーナ | ? |
メッシ | ? |
クリロナ | ? |
? | ヒルベルト |
? | ガロア |
? | エミー・ネーター |
ネイマール | ? |
レバンドフスキ | ? |
ムバッペ | ? |
https://anond.hatelabo.jp/20210729213640
数学科を卒業した人でこの人を知らない奴は数学をきちんと勉強していない…
数学は大体「代数・幾何・解析・その他」の4つに分けられるけど
代数分野のかなりの基礎はこの人が関わっていると言っても過言じゃない。
まぁエミー・ネーターという人の話はここまでにしておくとして
じゃあその後から今現在にいたるまでエミー・ネーターに近いってレベルか
それ以上に凄い女性数学者がいたのかと言うといないと言っていいと思う。
これに異議を唱える人も殆どいない気がする。
100年経ってもエミー・ネーターのような人が現れていないのは
もしかしたら女性が数学者に取り組む環境は100年前と大して変わってないからかもしれない。
おっさんが飲み会で真実の愛について延々語るだけなので、哲学書の入門編にいいんじゃないかな。楽しそうにしてるおっさんはいいぞ。
どうしてフィクションで人は感動するかについて述べた本の走りで、後半は散逸しているんだけど、カタルシスについてはなるほどなあ、とは思った。作家になりたいんだったら普通にハリウッドの三幕構成の本を買ったほうがいいかもしれないが、この読書リストを読んでいる人は実用的な知識よりも読んでいて楽しいかどうかを求めている気もする。
読もうと思ったまま長い時間が過ぎてしまった本で、まだ読めてない。アウグスティヌスが若いころややりたい放題やっていた時期のことも書いてあるらしいので、宗教書として以外にも楽しめるんじゃないだろうか。
塩野七海がエッセイですごく推していたから読んでみたけれども、普通に面白い。例えば、中途半端に生かしておくと復讐されるから、いっそとどめを刺しておけ、みたいなことが書いてあって、優しいと人から言われてしまう自分には大いに刺激になった。ところで「孫子」もそうだが、戦争や政治学について書かれた本はたいてい「そもそも戦争は大悪手で、戦争になる時点で何かやらかしてる」という趣旨の言葉があり、全くその通りだと思う。
未読なんだけど、結婚とはある種の契約なんだから、まず処女と童貞がお互いに裸を見せ合ってからだ、みたいなディストピア的な描写もあるらしく、ディストピア文学好きの人は楽しめるんじゃないかな。あとは非モテ界隈の人とか。実際、完全な平等な社会を目指そうとするとどっかしら歪みが出るもので、それについて考えるのにも使えそう。
自然科学的な考え方、ロジカルシンキングのマニュアル。長くないのですぐ読める。得るものがあるかどうかはわからないけど、逆に普段している論理的思考がそもそも存在しない時代があったことは、実感しておくと歴史を学ぶ上で面白いかも。
平凡社の上巻を読んで挫折。純粋な理性っていうけれども、ヒトの心にはデフォルトで時間とか空間とかの枠組み、基本的な概念が組み込まれているよね? 的な話をやたら細かく述べていく内容だったように記憶している。長いので三行でまとめたくなる。
この本に限らず、いくつかの哲学書は「この本さえあればあらゆる哲学的論争をおしまいにできる」「この本からあらゆる結論が導き出せる」的なスタンスで書かれたものが多い印象。
エヴァヲタなら読まなきゃという謎の義務感から読んだ本。要は、どうすれば自分を信じることができるか、について語った本であったような気がする。自分は救われないだろうという絶望から、それでも神を信じるという境地に至るまでの道筋を延々と語ったようなものだった、はず。
自分は特定の信仰を持たないが、どうせ自分なんてと己を見捨てた境地から、まあ自分は自分だよね、的な気分に至った経験がある人が読むと楽しめるだろう。
「善悪の彼岸」と「ツァラトゥストラはかく語りき」なら読んだ覚えが。自分はカトリックの中高一貫校出身であったせいか、キリスト教思想にある欠点を指摘したこの本を面白く読んだ。キリスト教になじみがなくても、たとえば来世があると考えることで現在を生きることがおろそかになるといった指摘は、興味深く読めるんじゃないだろうか。あとは、増田で定期的に出てくるルサンチマンがどうこうとかいう話が好きな人にもおすすめ。マッチョぶってるところはあるが。
新潮文庫の「夢判断」「精神分析入門」「トーテムとタブー」「一神教の起源」なら読んだ。フロイト自身はヒトの心を脳から探りたかったらしいのだけれど、当時はMRIやら何やらはまだないので対話式の治療法を導入したらしい。
彼の理論は今となってはツッコミどころがたくさんあるのだろうけれど、クラインだとかビオンとかについて触れるなら頭に入れておきたいし、心理学特にパーソナリティ障害について読むなら知っておきたい。自分はフロイトやアドラーよりもユング派だが。
ラブストーリーの「ナジャ」だけ読んだ。謎めいた女のあるある的な話だ。
「論理哲学論考」だけなら読んだ。これもカントみたいに「俺が哲学のくだらない争い全部終わらせてやる」的な立場で書かれている。定理がずらずら並んでいるだけで、余計な表現がなく、簡素。
ただ、言語の限界について今の人が持っている感覚ってのは大体この時代の人が言っていたことだった気がするし、そういう意味では面白いんじゃないかな。この辺は数学ともかかわっていて、ペアノとかゲーデルとかヒルベルトとかその辺興味があったらいかがでしょう。
ちなみにウィトゲンシュタインがポパーとの議論でキレて火かき棒を振り回したヤバいやつだというのは哲学界隈では有名らしい。
シン・ウルトラマンの予告編でちらっと映っていたので読んだらいいかもしれない。
この本そのものは未読で「悲しき熱帯」ともう一冊なんか専門書を読んだことは覚えている。面白かったエピソードの一つは、ある民族は身分を入れ墨にするんだけど、入れ墨のない人間(白人たち)を見て面食らう。要するに身分証明書を持ってないようなものだから。
定期的に異民族と共に暮らすドキュメンタリーが読みたくなる性分なのだが、それはたぶん、自分のやり方や考え方が絶対じゃないってことをよく教えてくれるからで、これも本を読む効用の一つだろう。趣味なので効用なんて本当はどうでもいいが。
面白い。僕自身のスタンスとしては、日本人が海外で誤解されていることを批判するんだったら、自分も外国に対する偏見や無知を減らそうと努力するのが筋だと思っていて、それの理論的な補強をしてくれた本。身近に外国人の多い環境ではないが、すぐに役に立たないからと言って読まないというのはなんか違うんじゃなかろうか。自分はイスラーム世界やインドについて、どれほどわかっているのだろう?
どっからがいきでどっからが野暮なのか、直方体を使った図があった気がするが忘れた。
「遠野物語」しか読んだことがないし、それも「マヨヒガ」のことしか覚えていない。
自分が現代思想に出てくる名前がわからなすぎて最初に読んだ本の一つ。四コマ漫画だがかなり本質をとらえており、いしいひさいちの本業は何だったのかよくわからなくなる。素直に笑っておきましょう。勉強ってのは楽しみながらするもんだ。
上のリストでは省略した20世紀哲学者が実名で登場するミステリなんだけど、フーコーがサウナで美青年とイチャイチャしたり、七十年代の音楽を聞きながら薬をキメたりしているので、現代思想だのポストモダンだのをかじったことがあるならおすすめ。著者がやりたかったのは、たぶん上の世代の脱神話化というか、強すぎる影響の破壊なんだろうけれども、ここも素直に笑っておくのがいい。
以上。
公理から初めて論述によって命題を示すという手法は現代数学の基本
ユークリッド幾何学では厳密な論証を学ぶことができる
もしユークリッド幾何学を学ばなければ抽象代数学などが理解できなくなることは明らか
微分積分などだけを教えていると群論やガロア理論などが理解できなくなってしまう
ガロア理論では作図が主に扱われるからユークリッド幾何学応用になっている
ユークリッド幾何学はまず中初等教育において論述を教える題材として適している
代数などはただの計算であって厳密ではないがユークリッド幾何学は公理から始めて曖昧さなく命題を示す
これは現代数学の基本であって群論やガロア理論を学ぶ際に必要な能力
代数では多項式とは?集合とは?などが厳密に説明されていないがユークリッド幾何学には曖昧さは無い
ユークリッド幾何学が扱う題材は図形であって初等教育にも馴染みやすい
現代数学を厳密に展開するには公理的集合論まで遡らねばならないが
このような条件を満たす単元は他には無い
群論やガロア理論などの抽象代数学はユークリッド幾何学の考えを継承している
これらが確立されたのは18世紀であり微分積分などはそれよりも大分昔の理論だから厳密性がない
ユークリッド幾何学は現代数学のモデルであるから論述を教えることができる
群論やガロア理論は対称性を扱う数学で対称性とは回転や相似変換などの一般化だから
やはりユークリッド幾何学を学ぶことは群論やガロア理論を学ぶことに役立つ
特に群論では、群の正規群(特異点を持たない群)による商で対称性を分類する
この割り算にはユークリッドの互除法のアルゴリズムを用いることができるからユークリッド幾何学の応用になっている
群論の一部であるリー群ではユークリッド空間の回転である直交群を扱うからこれもユークリッド幾何学が直接役に立つ
ユークリッド幾何学では公理系から始めて命題を証明するがこれは現代数学の基本
群論やガロア理論もこのスタイルを継承していてユークリッド幾何学を学ばないと抽象代数学が理解できない
ガロア理論はユークリッド幾何学と同様に、対称性の公理から作図可能性を論ずる
これはいくつかの公理から始めて可能な手順の組み合わせを厳密に論述することで様々な図形を作図していく
ヒルベルトが提唱した円積問題などもこの応用であって、現代数学において極めて重要
ユークリッド幾何学は公理から始めて論述のみによって命題を証明する
これは現代数学の基本であってガロアの理論やヒルベルトの理論などがその手法を受け継いでいる
ユークリッド幾何学をやらないと抽象代数学などを理解できなくなってしまう