chx2026-08-02
一致性定理
$$\def\lra{\leftrightarrow} \def\tx#1{\text{#1}} \def\line#1#2{\ & #1 \quad & \rm{(#2)}\\} \def\linet#1#2{\ …
标签浏览
大学知识
这里包含当前标签及其所有子标签下的文章。
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{\ …
2026-07-31
初学范畴论的一些体会
休学时间正好在家把范畴论学一下，或许对于理解一些抽象的结构能有些许帮助 教材：Basic Category Theory - Tom Leinster, Cambridge studies in advanced mathematics …