娘の「なぜ1+1＝2なのか」に対して「りんご1つとりんご1つを合わせると２つになるって説明は」と聞くと「それは『例え』」と返された話

はやし @t_hayashi

娘が「なんで 1+1 は 2 なのか」ときいてきたので「りんご 1 つとりんご 1 つをあわせるとりんご 2 つになるから』って説明はどう？」ときいたら「すべてのものがそうだとはかぎらないし、そもそもそれは『たとえ』であって説明ではない」という「おっ」とおもわされる答えがかえってきた。

はやし @t_hayashi

明日ここらへんを噛みくだいて説明してみよう。 pic.twitter.com/TOJk8JVVdJ

拡大

はやし @t_hayashi

ただこの手の形式的な話題はおもしろがれるかどうか向き不向きがあるからなー。（たとえば数学科の学生相手でもたとえば加法が可換であることの証明とかすると辟易とされることがある）

はやし @t_hayashi

もちろん、"This is what I've been waiting for!" みたいにめちゃくちゃもりあがる人もいる。

はやし @t_hayashi

ただたいていは「なんでこんな自明なことに証明つけなきゃいけないの」みたいな顔されます。

はやし @t_hayashi

「1+1 はなぜ 2 なのか」という娘の問いにこたえるべくスライドをつくりはじめたのだけど娘がもとめているのはこういうのではないのかもしれない。 pic.twitter.com/9ta1DQZVR1

拡大

はやし @t_hayashi

趣味にはしりそうになった。 pic.twitter.com/fKZN4wmODX

拡大

はやし @t_hayashi

「1+1 はなぜ 2 なのか」という娘の問いにこたえるべくスライドをつくってて「おもしろくなってきやがったぞ」という思いと「おれ何やってんだろ」という思いがつばぜりあいしている。

はやし @t_hayashi

小学校1年生向けにスライドをつくるのはルビをふるのがたいへんめんどくさいですね。

はやし @t_hayashi

スライド、「1+1=2 からの数学の哲学入門」みたいな様相を呈してきた。

はやし @t_hayashi

まじルビふるのきつい。

はやし @t_hayashi

あ、英語でかけばいいのか。

はやし @t_hayashi

娘はバイリンガルなのでむしろ英語のほうがこの手のことは理解しやすいかもな。

はやし @t_hayashi

いやでもたいていのテクニカルタームは彼女の語彙にはまだないか。日本語のそれにくらべればまだ類推しやすいかもしれないという程度で。

はやし @t_hayashi

ハイッみんな大好きプリンキピア・マテマティカですよ！ pic.twitter.com/wWkjXSlQg4

拡大

はやし @t_hayashi

でも PM のシステムで "1+1=2" の証明とかぜったいにしたくないね。

はやし @t_hayashi

スライド、自分の復習にもなるのでちょうノリノリでかいてたけど、これはまあ「余談」だな。とりあえず「抽象とは何か」みたいなところをそれなりにていねいに説明して、それについての彼女の出方をみよう。

はやし @t_hayashi

ただ、"1+1=2" の形式的証明を説明したらどんな反応がかえってくるのか興味があるので、それはする。

はやし @t_hayashi

スライドも乗りかかった舟なので完成させたい。

はやし @t_hayashi

ふとおもったけど、こういう講義スライドみたいなやつじゃなくて、たとえば「論理主義者が直観主義者しかいない世界に行ってひと悶着！」みたいな異世界もののお話とかもおもしろいかもしれない。

はやし @t_hayashi

いうなれば『フラットランド』の数学基礎論版みたいなやつ。amzn.to/3zH7vRo

はやし @t_hayashi

まあなんにせよ娘には、「大の大人が "1+1=2" をめぐって喧々諤々となることがある」ということをしってもらえれば、万々歳。

はやし @t_hayashi

少なくとも、教条的に「これが唯一の正解！」みたいな感じにはしたくないな。