close
1.

電子ブック
ＥＢ
1. Proof and computation II : from proof theory and univalent mathematics to program extraction and verification (: electronic bk)
editors, Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg
出版情報: World Scientific eBooks  1 online resource (xvi, 408 p.)
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. How humans learn to think mathematically : exploring the three worlds of mathematics (: electronic bk)
David Tall, emeritus professor in mathematical thinking, University of Warwick, visiting professor, Mathematics Education Centre, Loughborough University
出版情報:   1 online resource (xix, 457 p.)
シリーズ名: Learning in doing : social, cognitive and computational perspectives ;
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Towards a philosophy of real mathematics (: electronic bk)
David Corfield
出版情報:   1 online resource (x, 288 p.)
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction: a role for history / 1：
Human and Artificial Mathematicians / Part I：
Communicating with automated theorem provers / 2：
Automated conjecture formation / 3：
The role of analogy in mathematics / 4：
Plausibility, Uncertainty and Probability / Part II：
Bayesianism in mathematics / 5：
Uncertainty in mathematics and science / 6：
The Growth of Mathematics / Part III：
Lakatos's philosophy of mathematics / 7：
Beyond the methodology of mathematical research programmes / 8：
The importance of mathematical conceptualisation / 9：
The Interpretation of Mathematics / Part IV：
Higher dimensional algebra / 10：
Appendix
Bibliography
Index
Preface
Introduction: a role for history / 1：
Human and Artificial Mathematicians / Part I：
4.

電子ブック
ＥＢ
4. Where do numbers come from? / (: electronic bk)
T. W. Körner
出版情報:   1 online resource (xi, 260 p.)
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼