数理逻辑
Topic | Replies | Views | Activity | |
---|---|---|---|---|
【寒假数理逻辑学习】A Mathematical Introduction to Logic |
![]() |
0 | 823 | December 12, 2022 |
关于哥德尔编码的疑问 |
![]() ![]() ![]() |
5 | 982 | May 27, 2022 |
[油管] 互联网服务提供商违反 ZFC 集合论公理 |
![]() ![]() |
5 | 3049 | April 22, 2021 |
哥德尔不完全性定理的哲学解释? |
![]() ![]() ![]() ![]() ![]() |
4 | 2788 | February 2, 2021 |