この記事は、日曜数学会 Advent Calender 2019の6日目の記事であり、2019年11月3日に行われたロマンティック数学ナイトプライム@筑波大学で発表した内容をブログ用に加筆修正したものです。前回はAlweさんの「帰納的に定義する」とはなにか？で、帰納的に定…

「数学デー」公式Twitterでは、その場で出た話題の写真を見ることはできますが、それに辿り着いたプロセスや証明などはその場でしか聞けません（ていうか、そういう話を聞いたり喋ったりするのが数学デー）。「証明は滅びぬ、何度でもよみがえるさ」とは言う…