[B! logic] egory_catのブックマーク

Richardson's theorem - Wikipedia

In mathematics, Richardson's theorem establishes the undecidability of the equality of real numbers defined by expressions involving integers, π, and exponential and sine functions. It was proved in 1968 by mathematician and computer scientist Daniel Richardson of the University of Bath. Specifically, the class of expressions for which the theorem holds is that generated by rational numbers, the n

egory_cat 2018/10/08

logic
数学

リンク

レーヴェンハイム–スコーレムの定理 - Wikipedia

レーヴェンハイム–スコーレムの定理（英: Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。背景[編集] シグネチャ（非論理記号の一覧）には、関数記号の集合 Sfunc、関係記号の集合 Srel、関数記号と関係記号のアリティを表す関数から成る（0項の関数記号は、定項記号と呼ばれる）。一階述語論理では、シグネチャを言語 (language) とも呼ぶ。シグネチャに含まれる関数記号と関係記号の集合が可算であるとき、そのシグネチャは可算であると言い、一般にシグネチャの濃度とは、そこに含まれ

egory_cat 2018/06/22

リンク