2023-12-01から1ヶ月間の記事一覧
ネット上で閲覧できる学術系ブックリストのリスト.網羅性に過度な期待はしないでください.
この URL の記事は URL を変更しました.リダイレクトは面倒でしてません……. 新しいリンクはこちら→https://sokrates7chaos.hatenablog.com/entry/books-of-logic sokrates7chaos.hatenablog.com
「数学の哲学」,「哲学の哲学」,「物理学の哲学」という文字列から,ふざけているような印象を受けるかもしれない.しかし,これが正式名称の分野である.一般に「○○の哲学(Philosophy of ○○)」(○○は学術分野の名前)とは,○○という分野に関わる哲学のイ…
この記事は TeX & LaTeX Advent Calendar 2023 - Adventar の 19日目の記事です.遅刻して申し訳ないです. adventar.org ←昨日 相関係数格付けチェックを作る ~目指せ相関係数ソムリエ!~ - TeX Alchemist Online →明日 [TeX] [LaTeX] 簡単に 𝕏 を出力し…
この記事は 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 \) を証明する.自分用のメモを公開しているというノリなので,説明が不十分な箇所があるかもしれないが,追記するかも知れないし,しないかも知れない. 環の公理 いくつかの補題 (マ…