Notices by ayu-mushi (ayu_mushi@mstdn.jp), page 12

重解を2つの解があってたまたま同じだけとみなすの、ライプニッツの不可識別者同一律に反してて論理的におかしいとおもうけど、代数学の基本定理を「n次方程式はn個解を持つ」と言いたいためのつじつま合わせなのだろうか

意味論的には? 三値論理で直観論理の完全な意味論があるってことは真偽両方の値を持つということを認める直観論理の意味論もありえる?

@cmplstofB 排中律はexclusive ORじゃないので否定したところで矛盾とは関係ないのでは。矛盾律(爆発律)を仮定しないのは直観論理ではなく矛盾許容論理だと思います。

なんで1000年毎って部分が共通しているんですかね… 毎年騙される人がいるだけではなく毎年騙そうとする人がいるってことか https://www.truthorfiction.com/does-adding-your-birth-year-to-your-age-total-the-year-number-once-a-millennium/

不完全性定理というのがあってプログラムの証明はうまくできないという話を聞いて何を言ってるんだと思ったけどホーア論理に関するClarkeの不完全性定理というのがあるのか

なんか経済学者が、「毎日更新されるブログしか読まれなくなる。なぜなら、更新がなかったときの心理的コストが効用を上回らないから」みたいなことを言っていた(どこで見たかは忘れた)けど、間欠的強化スケジュールのほうが消えにくいという観点からすると、そうはならん可能性?

自然数を特定の集合と同一視するのは、自然数をバナナと同一視するくらい恣意的なことだが、普通に行われていることだ

{バナナn本 | n∈N}を議論領域とする自然数の構造を作って自然数の公理を充足するようにもできるんじゃないですか? それが「自然数2とは{∅, {∅}}のこと(フォン・ノイマンエンコーディング)」と何が違うだろうか

ロトカヴォルテラ方程式は単なる微分方程式だが、運動方程式を単なる微分方程式と思って、mとかFを勝手に他の名前にしてはいけないよね。それは、数式を書いている側がそれをただの式として持ち出しているのか、何かに当てはまるものとして持ち出そうとしているかという意図によるんじゃないかと思うけど、そうすると、統計の式が運動方程式のようにみなせない理由は何なのだろう? https://note.com/fukuso_sutaro/n/n81e8258e46e2

もしかすると人間ですか? のテストに合格しなかったか

マストドンのパスワードを変更したと思ったのに、変更されてない。なんでだろう。

あれ? ノートパソコン(Ubuntu)の方でパスワード変更したらそもそも人間ですかのページに飛ばなかったぞ。

Kindle版3108円か。買おうかな https://www.amazon.co.jp/Compositional-Semantics-Introduction-Interface-Linguistics-ebook/dp/B00PFXHTPG/ref=tmm_kin_title_0?_encoding=UTF8&qid=&sr=

背理法マン「友達性についてのこの事実を背理法で用いてみよう。まずAとBが友達であると仮定する。ところが、BとCが友達であること、AとCは友達でないことから、友達関係の推移性(1)と矛盾。よって、AとBは友達でないことが示された。」アンパンマン「(高速無言ｱﾝﾊﾟﾝﾁ」

アンパンマン「友達の友達は友だちだよ！」対偶マン「もし友だちの友だちが友だちでなかったら、そもそも最初の友達は友だちではなかった、ということだね！」

（ｷﾘｯ や草 は様相演算子…?

（ｷﾘｯ に（ｷﾘｯ を生やすな

公理K: "「A→B」が草ならば、「Aは草」ならば「Bは草」"

中世は暗黒時代だったかという論争に終止符を打つべく、とある研究チームが時代の暗黒さを評価する「暗黒性指数(darkness index)」を開発。

曖昧な観念を持っている人間に曖昧な語彙を提供することで、バーナム効果的なものが発生し、曖昧な語彙が増殖するのではないか