大学数学「高校数学を集合論を基礎にしてやり直します」←これ面白いか？

**１３２人目の素数さん** · 2023/02/02(木) 19:46:06.29

面白いか？

**１３２人目の素数さん** · 2023/02/02(木) 20:18:36.41

面白いぞ

**１３２人目の素数さん** · 2023/02/02(木) 20:22:23.82

じゃあ
受験対応ガン無視な高専型の物理数学
をやればいい。

**１３２人目の素数さん** · 2023/02/02(木) 20:44:23.57

集合を基礎にしないと何も見えてこないだろうに。
中学から大学受験までの数学や
数オリの数学の何がおもしろいのかわからない。
むしろ算数はおもしろかったが。

**１３２人目の素数さん** · 2023/02/02(木) 20:58:56.79

>>4
オイラーとかガウスとか集合論以前の数学者は何も見えてなかったというのか？！

**１３２人目の素数さん** · 2023/02/02(木) 21:16:55.34

ピタゴラスの定理を発見したピタゴラスは、間違いなく必要不可欠だった偉大な数学者だったが、
仮に現代に来て無理数に反対とかしたら見えてないと言われても仕方ない
当時は間違いなく見えていてもね

**１３２人目の素数さん** · 2023/02/02(木) 21:42:24.66

>>4
本当に数学勉強した？
お前の言ってることって「クラウドサービスもみずほの巨大なシステムも、マシン語表現にしないと何も見えてこないだろうに」つってるのと同じだぞ？
幾何学でも解析学でも何でもいいから具体的な定理の証明を、一階述語論理と集合論でコード化された数学で実際に書き下してみたことある？

**１３２人目の素数さん** · 2023/02/03(金) 05:40:06.65

A = [[a b] [c d]]

AA
= [[a b][c d]] [[a b][c d]]
= [[aa+bc (a+d)b][(a+d)c cb+dd]]

aa + bc = 1
(a + d)b = 0
(a + d)c = 0
bc + dd = 1

1) b = 0
aa = dd = 1
(a + d)c = 0

2) c = 0
〃

3) a + d = 0
d = -a
aa + bc = 1

**１３２人目の素数さん** · 2023/02/03(金) 05:49:33.56

「高校数学を集合論を基礎にしてやり直す」というのが何を指しているのか不明

**１３２人目の素数さん** · 2023/02/03(金) 08:26:09.63

オイラーもガウスも、
現代数学は見えていないでしょう。
集合を知らないんだから。
ただし、彼らが現代に甦ったら、2,3年もすれば、
今の最先端の数学者を凌駕するとは思うけど。

**１３２人目の素数さん** · 2023/02/03(金) 08:33:22.46

>>9
実数の構成とか知らない？

**１３２人目の素数さん** · 2023/02/03(金) 12:06:44.31

>>11
(1) 実数の構成のどの側面を指して「集合論を基礎としている」と言っていますか？
(2) そもそも実数の構成は高校数学でやらないのですが、何を指して「やり直している」と言っているのですか？

**１３２人目の素数さん** · 2023/02/06(月) 18:34:33.26

面白くない。

**１３２人目の素数さん** · 2023/02/07(火) 01:22:28.43

「どこまでも近付く」とか「限りなく近付くとき」が嫌いなんだろうな。

**１３２人目の素数さん** · 2023/02/09(木) 09:37:18.06

>>14
好きとか嫌いとかいう以前に
収束するかどうかが判定出来ない
収束の定義という基礎が必要なのは
当然かと思うが如何？

**１３２人目の素数さん** · 2023/02/09(木) 09:47:30.10

>>12
高校の数学では
「数=無限小数、ただし1=0.999…」
ということにしてる
実はそれが実数だとして良いのだが
大学ではそれを、より一般的な定義によって正当化する
なぜ一般化するかといえば、
実数として存在することを示すのに
いちいち無限小数表示の存在を示すのは
煩わしいし本質的でないから

**１３２人目の素数さん** · 2023/02/12(日) 15:59:30.14

スレタイが何言ってるのかよくわかんないので
有識者の人説明おねがい

**１３２人目の素数さん** · 2023/02/14(火) 00:07:05.24

>>17
自演スレだから