むしゃくしゃしたので，数学での「公理(Axiom)」について語ろうと思う．雑多な文章の寄せ集めで，特にオチがあるわけではないので，そういうのが苦手な人は回れ右して帰ると良い． 「公理」の２つの用法 「公理」に正しさ？ 公理と対象の存在 どのような命題を「公理」とするか 総括 参考文献 関連記事| Sokratesさんの備忘録ないし雑記帳
この記事は Mathematical Logic Advent Calendar 2023 - Adventar と Math Advent Calendar 2023 - Adventar の16日目の記事である．より正確にはMathematical Logic Advent Calendar 2023 - Adventarの主催に書くことを強要された記事である． adventar.org ←昨日 Robustly Isomorphic Models | Mathlog →明日 空白 adventar.org ←昨日 エブリシング・エブリウェア・オール・アット・ワンス・関数 - 電波通信 →…| Sokratesさんの備忘録ないし雑記帳
NHK で放映された『笑わない数学』という番組の次の回が話題になっていた． www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが，怪しい説明や誤解を招く説明，端的に誤っている説明があった．というか，全体を通してそういうものがとても多かった．どう少なく見積もっても番組の内容の半分以上がそう...| Sokratesさんの備忘録ないし雑記帳
NHK で放映された『笑わない数学』という番組の次の回が話題になっている． www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが，いくつか怪しい説明や誤解を招く説明，端的に誤っている説明が散見された．というか，全体を通してそういうものがとても多かった．どう少なく見積もっても番組の内容の半...| Sokratesさんの備忘録ないし雑記帳
論理学とその周辺領域の本を並べてみた*1．この記事にあげる本は，何らかの形でわたし自身が手に取ったことのあるもの(読んだとは言っていない)に限定している*2．ただし，原語版は手に取ったことがあるが，日本語訳はそうではない，またはその逆という場合はある． すべての本に対してコメントをしきれていないので，周りからサボりを指摘されやすいように，...| Sokratesさんの備忘録ないし雑記帳
