跳到主要内容 辅助功能帮助
×
  • 引用人216
出版商:
剑桥大学出版社
在线发布日期:
2011年4月
打印出版年份:
1987
在线ISBN:
9780511565663

书籍描述

这是对纯数学的建设性方法的介绍和调查。作者强调埃雷特·毕晓普学派的观点,但强调直觉主义。本文还讨论了俄罗斯的建构主义和递归分析,并在适当的情况下对各种方法进行了比较。构造数学现在正在复兴,不仅逻辑学家、范畴理论家、递归函数理论家和理论计算机科学家都对它感兴趣。这说明了这些学科和其他学科中的非专业人员。

优化列表

所选内容的操作:

全选|取消选择
  • 查看选定项目
  • 导出引文
  • 下载PDF(zip)
  • 保存到Kindle
  • 保存到Dropbox
  • 保存到Google Drive

保存搜索

您可以在此处保存搜索,稍后在“我保存的搜索”中查看并再次运行搜索。

请提供一个标题,最多40个字符。
×

目录

韵律学

高度注意力得分

全文视图

HTML视图总数:0
PDF视图总数:0*
正在加载度量。。。

书籍摘要页面视图

总视图数:0*
正在加载度量。。。

*#date#期间在Cambridge Core上捕获的视图。此数据将每24小时更新一次。

当前无法显示使用数据。