ものまね鳥
ものまね鳥は任意の鳥xに対して、次の条件が成り立つような鳥Mのことである。
Mx = xx
Mに対してxと呼んでも、xに対しxと呼んでも同じ応答が得られる。そうな。
Axiom there_is_mockingbird : exists M, forall x, bird_respond x x = bird_respond M x.
疲れた。
ものまね鳥は任意の鳥xに対して、次の条件が成り立つような鳥Mのことである。
Mx = xx
Mに対してxと呼んでも、xに対しxと呼んでも同じ応答が得られる。そうな。
Axiom there_is_mockingbird : exists M, forall x, bird_respond x x = bird_respond M x.
疲れた。