Open Provable Foundation

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(理论)
(图集)
第18行: 第18行:
 
image:deduction-architecture.png|希尔伯特演绎系统
 
image:deduction-architecture.png|希尔伯特演绎系统
 
image:cognitive-science-heptagram.png|认知科学
 
image:cognitive-science-heptagram.png|认知科学
 +
image:isabelle-plugin-manager.png|isabelle插件
 +
image:isabelle-implementation.png|isabelle实现
 
</gallery>
 
</gallery>
  

2021年12月30日 (四) 10:00的版本

Open Provable Foundation

目录

简介

理论

  • 数学和逻辑
  • 元数学
  • 数理逻辑
  • 分析哲学

项目

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱