Show more

岩波数学入門辞典購入してからあんまり知らない数学分野に対するフットワークが明らかに軽くなった。

ロビンソンの$\mathbf{Q}$については、$\forall m\forall n[\mathbf{Q}\vdash\bar{m}\bar{n}=\bar{n}\bar{m}]$ だが $\mathbf{Q}\not\vdash\forall x\forall y\:xy=yx$ です。

Wikipediaのこの記事からは、ロビンソン算術で可換性についてのことはよくわからなかった。

Show thread

へえ〜ロビンソン算術というのがあるのか

> 数理論理学においてロビンソン算術(英: Robinson arithmetic)あるいは $\mathbf{Q}$ とはペアノ算術($\mathbf{PA}$)の有限部分理論であり、Robinson (1950)において最初に導入された。$\mathbf{Q}$は本質的には$\mathbf{PA}$から帰納法の公理図式を取り除いたものである。それゆえ$\mathbf{Q}$は$\mathbf{PA}$よりも弱いが同一の言語を持つ不完全な理論である。$\mathbf{Q}$は重要かつ興味深い対象である。というのも$\mathbf{Q}$は本質的決定不能かつ有限公理化可能な$\mathbf{PA}$の部分理論だからである。

ロビンソン算術 - Wikipedia ja.wikipedia.org/wiki/%E3%83%A

二重根号力士像だったら面白いですね

庵野秀明脚本・監督
\[
\huge \text{シソ}\cdot\text{ドレッシング}
\]

庵野秀明脚本・監督
\[
\Huge シン \cdot 経回路網
\]

庵野秀明脚本・監督
\[
\huge シン \cdot プレクティック幾何学
\]

庵野秀明脚本・監督
\[
\huge \text{シン}\cdot\text{部分集合}
\]
\[
\huge A\subsetneq B
\]

Show thread

庵野秀明脚本・監督
\[
\huge \text{シン}\cdot\text{部分集合}
\]

シンポテトのシンって「薄い」の”thin”だったのね
てっきり「新」かもしくは庵野監督が監修でもしてるのかと…
食べちゃダメだ食べちゃダメだ食べちゃダメだ

シン・ラピュタ
「バルスだけは言わんでくださいよ!」

全ての概念はKan拡張、完全にわかった

環→Kan
関数→Kan数
関手→Kan手
自然変換→自然変Kan
完全列→Kan全列

Show more
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.