来自丛树洲的问题
【想深入研究逻辑学需要什么样的数学知识?或者说,在已经有数理逻辑基础的条件下,想看懂四论(公理集合论,递归论,模型论,证明论)需要具备什么样的数学知识?只学抽象代数足够么?】
想深入研究逻辑学需要什么样的数学知识?
或者说,在已经有数理逻辑基础的条件下,想看懂四论(公理集合论,递归论,模型论,证明论)需要具备什么样的数学知识?
只学抽象代数足够么?
1回答
2020-02-06 21:28