chx2026-08-02
一致性定理
$$\def\lra{\leftrightarrow} \def\tx#1{\text{#1}} \def\line#1#2{\ & #1 \quad & \rm{(#2)}\\} \def\linet#1#2{\ …
标签浏览
Logics
这里包含当前标签及其所有子标签下的文章。
2026-08-02
塔斯基不可定义性定理
$$\def\lra{\leftrightarrow} \def\inp{\leftarrow} \def\fa{\forall} \def\ex{\exists} \def\bl{\begin{aligned}} …
2026-08-02
数理逻辑学习笔记
前言 之前学校教离散数学的时候把数理逻辑这一章节给略过了, 于是我自己翻了一下, 发现这是一个颇有意思的领域, 但是完全可以想象计算机系的离散数学里教的数理逻辑是多么的无聊, 如果希望认真了解数理逻辑这门学问的话可以避雷西交的离散数学了 …
2026-08-02
克林尼递归定理
$$\def\s{\mathrm{s}} \def\lra{\leftrightarrow} \def\inp{\leftarrow} \def\fa{\forall} \def\ex{\exists} …
2026-07-31
数理逻辑习题I(VIII)
$$\def\lra{\leftrightarrow} \def\fa{\forall} \def\ex{\exists} \def\r{\mathfrak{R}} \def\bl{\begin{aligned}} …
2026-07-31
数理逻辑习题I(VI)
$$\def\lra{\leftrightarrow} \def\tx#1{\text{#1}} \def\line#1#2{\ & #1 \quad & \rm{(#2)}\\} \def\linet#1#2{\ …
2026-07-31
数理逻辑习题I(IX)
$$\def\lra{\leftrightarrow} \def\fa{\forall} \def\ex{\exists} \def\r{\mathfrak{R}} \def\bl{\begin{aligned}} …
2026-07-31
数理逻辑习题I(I,II,III,IV,V)
$$\def\lra{\leftrightarrow} \def\tx#1{\text{#1}} \def\line#1#2{\ & #1 \quad & \rm{(#2)}\\} \def\linet#1#2{\ …
2026-07-31
莱斯定理
$$\def\lra{\leftrightarrow} \def\tx#1{\text{#1}} \def\line#1#2{\ & #1 \quad & \rm{(#2)}\\} \def\linet#1#2{\ …