Sokratesさんの備忘録ないし雑記帳

書きたいことを書いている.駄文注意.

怪文書

今,「論理」を学ぶ人のために

こんなツイートを見た.論理学を勉強しようとして,論理哲学論考とかいう怪文書 (失礼) を手に取っちゃうの,ほんとうにかわいそう.— Masaki Haga (@silasolla) 2023年3月9日 『論理哲学論考』は哲学書として大事な本らしいが,「論理」を勉強したい人間が…

証明終了したwwwww

本当かどうか知らないが一部のネット上の記事などによると"wwwww"という文字列は”which was what we wanted”の省略という扱いで「証明終了(Q.E.D.)」のマークとして使えるらしい(たとえば:https://www.wordsense.eu/WWWWW/).草.ということで,LaTeX 文…

「公理」のはなし

むしゃくしゃしたので,数学での「公理(Axiom)」について語ろうと思う.雑多な文章の寄せ集めで,特にオチがあるわけではないので,そういうのが苦手な人は回れ右して帰ると良い. 「公理」の2つの用法 「公理」に正しさ? 公理と対象の存在 どのような命題…

基礎研究をする底辺大学院生の戯言〜聞け!男一匹が命をかけて諸君らに訴えているんだぞ!〜

おまえら、聞け。静かにせい。静かにせい。話を聞け。男一匹が命をかけて諸君に訴えているんだぞ。 いいか。それがだ、今、大学院生がだ、ここでもって立ち上がらねば、大学が立ち上がらなきゃ、日本の研究業界の復活ってものはないんだよ。諸君は永久にだね…

「実数は実在するが虚数は実在しない」とする人々へ

ランキング参加中その他最近,「実数は実在するが虚数は実在しない」とする人に絡まれることが多い.控えめに言って,どれも破綻しているのであるが,いちいち指摘するのにも疲れてきたので,ここにそれらへの反論をまとめておくことにする. 要約 実数の組…

もしもあなたがインチキ数学本を出版したなら......

Twitter で次のようなアンケートを取った.あなたはインチキ数学本の作者です。プロにあなたの本のインチキを指摘されましたこのとき、あなたの取るべき正しい対応はどれでしょうか— そくらてす (@7danmoroboshi) 2021年3月2日 この記事ではこのクソアンケー…

分離論理入門のようなもの

この記事は https://adventar.org/calendars/4015 の12/21 の記事です. わたしは分離論理について書きました. 日本語で読める分離論理についてのある程度まとまった文書をわたしは知らないので,需要があるのではないかと思って書きました. 今回は「一階…