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

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

大学生のための推薦図書のリストのリスト

ネット上で閲覧できる大学生のための推薦図書のリストのリスト.網羅性に過度な期待はしないでください. 勉強したい分野が決まっている場合は以下を参考にしてください. sokrates7chaos.hatenablog.com 人文系の学生向けと思われる推薦図書のリストのリス…

よくある質問

インターネッツに長く居ると定期的に聞かれるが,プロフに書くには長すぎたり面倒だったりすることが増えてくる.ここはそういうのをまとめておく場所. なんで "Sokrates" とか「そくらてす」とか名乗っているの? 普段何している人? なんで "Sokrates" と…

数学は哲学?

数学は哲学?特におもしろくもない冗談を言うのはよせよ.

学術系ブックリストのリスト

ネット上で閲覧できる学術系ブックリストのリスト.網羅性に過度な期待はしないでください.

論理学およびその周辺領域の本(旧アドレス)

この URL の記事は URL を変更しました.リダイレクトは面倒でしてません……. 新しいリンクはこちら→https://sokrates7chaos.hatenablog.com/entry/books-of-logic sokrates7chaos.hatenablog.com

【汎用注釈】〇〇の哲学

「数学の哲学」,「哲学の哲学」,「物理学の哲学」という文字列から,ふざけているような印象を受けるかもしれない.しかし,これが正式名称の分野である.一般に「○○の哲学(Philosophy of ○○)」(○○は学術分野の名前)とは,○○という分野に関わる哲学のイ…

Beamer でスライドと配布資料を同時に作る方法

この記事は TeX & LaTeX Advent Calendar 2023 - Adventar の 19日目の記事です.遅刻して申し訳ないです. adventar.org ←昨日 相関係数格付けチェックを作る ~目指せ相関係数ソムリエ!~ - TeX Alchemist Online →明日 [TeX] [LaTeX] 簡単に 𝕏 を出力し…

ヒルベルトの有限算術のはなし ~1+1=2 笑えない数学 落ち穂拾い~

この記事は Mathematical Logic Advent Calendar 2023 - Adventar と Math Advent Calendar 2023 - Adventar の16日目の記事である.より正確にはMathematical Logic Advent Calendar 2023 - Adventarの主催に書くことを強要された記事である. adventar.org…

【備忘録】(マイナス)×(マイナス)=(プラス)

ランキング参加中その他環の公理から \( (-m)\times (-n) = m \times n \) を証明する.自分用のメモを公開しているというノリなので,説明が不十分な箇所があるかもしれないが,追記するかも知れないし,しないかも知れない. 環の公理 いくつかの補題 (マ…

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

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

1+1=2 笑えない数学へのコメント・反応に対する応答

この記事は 【速報版】 1+1=2 笑えない数学 - Sokratesさんの備忘録ないし雑記帳 や 【詳細版】 1+1=2 笑えない数学 ~笑わない数学の笑えない間違いの話~ - Sokratesさんの備忘録ないし雑記帳 へ寄せられた反応やコメントへの返信のための記事である。 sok…

【詳細版】 1+1=2 笑えない数学 ~笑わない数学の笑えない間違いの話~

NHK で放映された『笑わない数学』という番組の次の回が話題になっていた. www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが,怪しい説明や誤解を招く説明,端的に誤っている説明があった…

『土偶を読むを読む』を読んで

2021年(この記事を書いている現在から二年前)に 『土偶を読む――130年間解かれなかった縄文神話の謎』 という本が話題になっていたことがあるらしい.正直,わたしはこの本を知らなかったのだが,サントリー学芸賞*1という名誉ある賞をもらったらしい. www…

【速報版】 1+1=2 笑えない数学

NHK で放映された『笑わない数学』という番組の次の回が話題になっている. www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが,いくつか怪しい説明や誤解を招く説明,端的に誤っている説明…

証明終了したwwwww

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

MathJax で不等号を出すときの話

このブログは MathJax (MathJax | Beautiful math in all browsers.) で数式を表示している.はてなのデフォルトだと複数行数式が書けないなどの制約が辛いからである.ただ,MathJax で不等号を出すときには注意が必要である."" が HTML のタグに使われて…

自然数から整数を構成するはなし

同じように自然数のペア全体の集合を適切な同値関係で割ることで整数全体の集合を構成してみよう(練習問題)— そくらてす (@7danmoroboshi) 2023年2月20日 という問題を出したので,それの想定回答をここに記す. \(\newcommand{\mathnat}{\mathbb{N}}\) \(\n…

「公理」のはなし

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

「大怪獣のあとしまつ」の後始末

「大怪獣のあとしまつ」の後始末が自分の中で終わったのでそのことについて書く.感想文というより怪文書というのが正しい. 「大怪獣のあとしまつ」とは? 「大怪獣のあとしまつ」の感想 総括 「大怪獣のあとしまつ」とは? 「大怪獣のあとしまつ」とは 202…

\(z^{2}=i\)

\(\newcommand{\mathreal}{\mathbb{R}}\) \(z^{2}=i\) という少し思い入れのある方程式を解く. \(z^{2}=i\) の思い出 \(z^{2}=i\) の解法 その1 \(z^{2}=i\) の解法 その2 おわりに 参考になるかもしれない文献 \(z^{2}=i\) の思い出 まだ,私が高校生だ…

論理学およびその周辺領域の本

論理学とその周辺領域の本を並べてみた*1.この記事にあげる本は,何らかの形でわたし自身が手に取ったことのあるもの(読んだとは言っていない)に限定している*2.ただし,原語版は手に取ったことがあるが,日本語訳はそうではない,またはその逆という場合…

シン・ウルトラマンを観て

この記事は映画『シン・ウルトラマン』を観て思ったことを書き散らしたものである.もっと凝ったタイトルにすることも考えたが,面倒なので上のようなタイトルになった(考えすぎてわけがわからなくなったとも言う). この記事は映画『シン・ウルトラマン』…

本文に直接 mathbf と書くのをやめよう 〜LaTeX 初心者よ,見栄えと構造の分離を意識せよ〜

という煽りタイトルをつければ興味を引くかなと思った.簡単な内容で申し訳ない.「そもそもお前も LaTeX 初心者だろ」と言われると「それはそう」と言うほかない.この記事は TeX & LaTeX Advent Calendar 2021 - Adventar の21日目の記事です.20日目は h…

群準同型が単射である条件のおはなし

群準同型の単射の必要十分条件でおもしろいものを知ったので記す. 補題 \( A, B \) を群,\( f\colon A \to B \) を群準同型とする. \( f^{-1}\left(1_{B} \right) = \{ 1_{A} \} \) ならば,\(f\) は単射. 証明. \(f\left( a_{0} \right) = f\left( a_{1…

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

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

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

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

【備忘録】 WSL から游書体を使う方法

この記事は WSL から游書体を使う方法を備忘録として残すものである.WSL の TeX Live を常用していると, .tex 文書で游書体を使うために Windows のフォントを読み込みたくなる.その時のための設定方法を記す. Fontconfig WSL から游書体を使うための設…

ビジネス数学騒動について思うこと

"ビジネス数学"に対する批判について思うところを書くものである."ビジネス数学"が炎上してからだいぶ時間が立ってしまったが,ようやくまとまった文章にすることができた. 完全にお気持ち全開の記事なので,そういう文章が苦手な方は読まなくても大丈夫で…

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

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

証明図の後に句読点を打ちたい話(bussproofs.sty)

最近まで知らなかった話。公式ドキュメントをしっかり読んだら一瞬で解決して心が痛くなった話とも言う. LaTeX で証明図を書くのに普段 bussproofs.sty を使っているが,証明図の後に句読点を打とうとするとうまく行かなかった. The introduction rule of …