モデル理論での記号の読み方と Mathpedia の宣伝

この記事は2分で読めます

このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.

中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては自然を再現しよう役に立つ中高数学 中高数学お散歩コース
大学数学に関しては現代数学観光ツアーなどの無料の通信講座があります.
その他にも無料の通信講座はこちらのページにまとまっています.
ご興味のある方はぜひお気軽にご登録ください!


とりあえず Mathpedia

バチバチと記事が追加されている. 私がやりたい方向とは必ずしも一致しない感じで進められている. この方面は Mathpedia に任せてよく, かえって私は私のやりたいことに集中して大丈夫そうな気がしていて, 応援しているサイトでもある. とりあえず見に行くといいだろう.

発端と結論

発端

https://t.co/YtK7TYzAkT
これ、充足可能とかの記号、何か読み方あるのかとまえから気になっている。— 相転移P (@phasetrbot) September 12, 2020

結論

こういうことでした https://t.co/qnlosptz7p— 数学市民 (@Infinity_topoi) September 12, 2020

注釈(本文一番下)を読めば書いてありました。【*5 \models? はダブルターンスタイル (double turnstile)という記号である。】【 *8 \vdash? はターンスタイル (turnstile)という記号である。】 https://t.co/dTccP3wmAA— 数学市民 (@Infinity_topoi) September 12, 2020

その他

あとは気になったことを備忘録としてまとめる.

嘉田さんのツイート

自分では
M ? T ( ストラクチャー ? 文の集合 )
の意味なら
M satisfies T
と読んでる。 https://t.co/MIwzBEBjXZ— 嘉田 勝 (@kadamasaru) September 12, 2020

こういうのまで含めて知りたかった. 現代数学探険隊でも記号の (英語での) 読み方などは書いているが, コンテンツ置き場をいろいろ変えたくなることがあり, そして古い情報を残してよけいな混乱と失望を与えないためにもその辺はメルマガ登録特典的な方法で公開する方向にしている. その辺, 改めてきちんとやらないといけないな, という気分になっている. それこそ YouTube 動画で日々コンテンツを作る過程で整備すればいいのか, という気分になっている. 毎日の YouTube 投稿習慣を作ったのがいい方向に来ている気分がある.

それはそれとして, このサイトももっと整理したいと思いつつ時間が取れていない. できることと大事なことを考えていてやっていく方の市民

記号 ? 自体を言い表すときは “double turnstile” もしくは「ゲタ記号」。— 嘉田 勝 (@kadamasaru) September 12, 2020

T ? φ ( 文の集合 ? 文 )

T proves φ
だし、記号 ? 自体は “turnstile” もしくは「ト記号」。— 嘉田 勝 (@kadamasaru) September 12, 2020

T ? φ (意味論的含意、 文の集合 ? 文)
の場合は、あまり意識したことないけど
T logically implies φ
とか
T がんいすることの φ
とかかなぁ。— 嘉田 勝 (@kadamasaru) September 12, 2020

M ? T

M は T をモデる
と読む、
というネタもあったような。。。— 嘉田 勝 (@kadamasaru) September 12, 2020

「AはBのモデルである(A is a model for B)」って、A models Bでもいいのか。モデるわけか。— ぼんてんぴょん(Bontenpon) (@y_bonten) December 28, 2015

嘉田さんのツイートへの反応 その 1

「ト記号」「ゲタ記号」の起源は不詳だけど鹿島亮「数理論理学」で認知されたから大手を振って授業で使ってる。 :)— 嘉田 勝 (@kadamasaru) September 12, 2020

いやそれがほんまに ト って書くやつ続出で困りますよ。— ジタさん (@fujitapiroc1964) September 12, 2020

嘉田さんのツイートへの反応 その 2

Unicode名は ? はTRUE,? は NOT TRUE らしい https://t.co/uv78PMpH31— Haruhiko Okumura (@h_okumura) September 12, 2020


中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては自然を再現しよう役に立つ中高数学 中高数学お散歩コース
大学数学に関しては現代数学観光ツアーなどの無料の通信講座があります.
その他にも無料の通信講座はこちらのページにまとまっています.
ご興味のある方はぜひお気軽にご登録ください!

  • このエントリーをはてなブックマークに追加
  • LINEで送る

関連記事

  • コメント (0)

  • トラックバックは利用できません。

  1. この記事へのコメントはありません。

このサイトについて

数学・物理の情報を中心にアカデミックな話題を発信しています。詳しいプロフィールはこちらから。通信講座を中心に数学や物理を独学しやすい環境づくりを目指して日々活動しています。
  • このエントリーをはてなブックマークに追加
  • LINEで送る

YouTube チャンネル登録

講義など動画を使った形式の方が良いコンテンツは動画にしています。ぜひチャンネル登録を!

メルマガ登録

メルマガ登録ページからご登録ください。 数学・物理の専門的な情報と大学受験向けのメルマガの 2 種類があります。

役に立つ・面白い記事があればクリックを!

記事の編集ページから「おすすめ記事」を複数選択してください。