Conversation

最近、妹がグレブナー基底に興味を持ち始めたのだが。第3話

https://kakuyomu.jp/works/1177354054880542193/episodes/1177354054880580399

＞「その通り。ここで、√２は有理数ではない。皮肉なことに、『ピタゴラスの定理』から、『ピタゴラスの教理』は否定されてしまったんだ！」

＞「かわいそう。」

＞「もっと、かわいそうなのは、それに気づいたある信者だ。ピタゴラスは、無理数の存在を否定したいがために、その信者を船から落として溺死させたとも言われる。」

凄いw