Logicism, Intuitionism, and Formalism

数理逻辑与数学基础

原   价:
2763.00
售   价:
2210.00
优惠
平台大促 低至8折优惠
作      者
出  版 社
出版时间
2010年12月14日
装      帧
平装
ISBN
9789048180295
复制
页      码
512
语      种
英语
综合评分
暂无评分
我 要 买
- +
库存 50 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介

The period in the foundations of mathematics that started in 1879 with the publication of Frege 's Begriffsschrift and ended in 1931 with G del 's ber formal unentscheidbare S tze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert 's formalist and proof-theoretic programme. In this period, there were also lively exchanges between the

本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个