Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 27-Apr-2021 23:28:35 JST きゅーけー

   完全にオフトピなんだけど、1 + 1 = 2 の理解ってペアノの公理をちゃんと理解している場合に、「1 + 1 = 2 を理解している」といって良いのだろうか。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 27-Apr-2021 23:36:10 JST きゅーけー

     in reply to

     そこまでいかなくても、0 と後者関数を使って自然数の足し算を実装できるような人は「1 + 1 = 2 を理解している」と言っていい気がする。