数理逻辑，又称符号逻辑、现代形式逻辑。逻辑学先于一切科学
莱布尼茨：代数演绎的思想。
布尔代数：完整的逻辑代数体系，即布尔代数
弗雷格的《表意符号》
罗素悖论：
逻辑主义（罗素）和形式主义（希尔伯特《数学基础》）
哥德尔定理
1.3 数理逻辑回顾
最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成，浏览时请结合常识与多方信息审慎甄别。
平台声明：文章内容（如有图片或视频亦包括在内）由作者上传并发布，文章内容仅代表作者本人观点，简书系信息发布平台，仅提供信息存储服务。
【社区内容提示】社区部分内容疑似由AI辅助生成，浏览时请结合常识与多方信息审慎甄别。
平台声明：文章内容（如有图片或视频亦包括在内）由作者上传并发布，文章内容仅代表作者本人观点，简书系信息发布平台，仅提供信息存储服务。
相关阅读更多精彩内容
- 本篇笔记因为篇幅超长（共两万八千余字），超出简书允许的字符数，所以拆成两部分，各对应书的上半部和下半部。上半部笔记...
- （本文为笔者原创，非商业用途转载请在最显眼处署名作者并给出链接，商业用途请联系笔者） 晴天霹雳 1930年寒冬，德...
- 1、讨厌的另一种说法是牵绊 截止到四岁之前，我的生活可以说一帆风顺。每一天，在院子里别人家孩子羡慕的目光里吃着封面...
