現代数学を生み出した伝説の数学者8人、数学用語を徹底解説 

ソニア・コワレフスカヤを詳しく知りたいです。

フラクタル図形や集合におけるマンデルブロ ただ、フラクタル関係の数学は殆ど自分が築いたと言い張って功績の独占を図った所はいただけないし、我が強いフランス人らしいエピソードだとは思う。

数学素人ですが、ブルーバックスで読んだ数学基礎論が面白かったです。

何でも集合論に帰着させられるはず信念について。 本当なのですか？

数学どんなになってるかとか宇宙より気になる

あるよねそういうの 僕も物理行けんかった

理学部数学科卒です。外資系ファイナルコントローラしてます。でも数学の仕事がしたいな。

ご指摘ありがとうございます！ その通りです、ミスでした。

頑張ってすうがくして♡

全員マシン語やろ

良さそうなたとえが見つかったものから書いていきます。(あくまで例えです。) ヒルベルトはコンピューターそのものを作り出した人です。根本を生み出した人なだけあって様々なところに顔を出しています。 リーマンは様々なプログラムを他のプログラムで表す方法をたくさん考えた人です。 デデキントはコンピューターで無限を扱えるようにした人です。 リーは関数を数で表せるようにした人です。 カントールはリストの概念を生み出した人です。 ポアンカレは図形を扱える関数・変数を作った人です ルベーグは連続量を扱えるようにした人です。 ポアンカレは天才です。 実際にプログラミングをしていたら、1日でゼロから任天堂のソフトのプログラムを書き上げていたでしょう

chatgptに聞いたらやってくれそう

作ったのはヒルベルトのイメージだな

パラドックスを矛盾と解釈すると、数学の体系は矛盾を持つか完全でないかのどちらかであることをゲーデルは示した。後者だとして、その証明できない命題を公理として入れることにより、体系を拡張することができる。でもその体系も (ゲーデルの不完全性定理により) 証明できない命題を持つことがわかるので、残念だけど数学は完全にはならない。

@@shinsa82 数学と言うより自然数を扱う体系は完全にはならないと言った方が正しいかな (凄いザックリとした説明ではあるが)掛け算とかをなくせば普通に完全な体系自体は示せたはず 完全な体系自体は色々ルール弄って作ったりは出来たと思う 「事実」と「証明できる」って言うのは別概念だって事を示しただけで、数学が不完全とかって意味ではない気がする

動画になってたぞ見とけ

@@sukaipiiiiiiiiiiisu 驚いた！恥ずかしい！

√2などの有理数と言ってるのではなく，√2は「有理数を係数とする多項式の解となる数」と言ってる

@@セイゲドン なるほど、テロップの『√2など』の後に”点”がある事を考慮すれば確かに貴方の仰る通りです。ただ遠い所の名詞に係る文章は誤解を生み易いので、私ならこの様な文章にはしないでしょう。ご指摘、有り難うございました。