池田先生のことは中吊り広告で拝見いたします。 先生はいつも海外ばかり行って偉い先生方と通訳を介してお話だけしているみたいですけど、そんなにたくさんの国を廻りながら、なぜ貧困に喘ぐ人たちの前に現れないのでしょうか？ いったい先生がしているお話…

いろいろと思いつくことを書いてきたけど、え～と何ですなー。。。 全然何を言いたいんだかさっぱりわからんですな。読み返してみると。 「証明」 「ある命題が、事前に認められた仮定から、事前に認められた推論規則のみを用いて有限ステップで導くことがで…