レポート https://akasakas.cool/wp-content/uploads/2020/05/第1回1.1-Early-roots20190306勉強会.pdf 音声 https://anchor.fm/tecum/episodes/A-History-of-Abstract-Algebra-by-I-Kleiner-p1-2-ec9529
およそ紀元前1700年頃のバビロニア人は２次方程式を解いている。係数も変数も無く、しかも60進法を用いて。
＜問＞
I have added the area and two-thirds of the side of my square and it is 0;35[35/60 in sexagesimal notation]. What is the side of my square?
＜解＞
You take 1, the coefficient. Two-thirds of 1 is 0;40. Half of this, 0;20, you multiply by 0;20 and it [the result] 0;6,40 you add to 0;35 and [the result] 0;41,40 has 0;50 as its square root. The 0;20, which you have multiplied by itself, you subtract from 0;50, and 0;30 is [the side of] the square
この文章が理解できた時、とても嬉しかった。およそ４千年前のバビロニア人と会話できたように思えた。しかし、現在の表記法が発明されたおかげで、数学は式として表せるようになった。代数は人が創った人工言語なのだ。だから厳密さを要求され、証明するということが最も大事なこととなる。曖昧にしていると、「なぜ、それが言えるのか、根拠を言え」と突っ込まれる。曖昧な笑みはここでも不要！