タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

sjと増田に関するnosuke42のブックマーク (1)

  • 無題

    Tupper's Self-Referental Formulaは、2次元で描画されたときに、自身を可視的に再現するような再帰性をもつ式であり、Jeff Tupperによって定義された。 Tupper's self-referential formula - Wikipedia, the free encyclopediaより超訳 「つまり、タッパーの再帰公式のような式になるような数式の条件が求まるんだ」 「そんな馬鹿な!!だいたいグラフは人間が見て初めて数式だとされるんだぜ」 君は思わず反論する。増田の発言はどう考えたってナンセンスだ。ところが増田は我が意を得たりと「その通り」。指を鳴らして、君を指さす。仕草がいちいち気にわない。彼は続ける。 「ところが数学的に厳然たる方法で条件を求められる。つまりだな、数学が我々の認知体系を仮定なしに記述できたんだ。物理なんかとは違う。形而下の世界に

    無題
  • 1