The Nature of Mathematical Proof

Main
The Nature of Mathematical Proof

The Nature of Mathematical Proof

Alan Bundy, Michael Atiyah, Angus Macintyre, Donald MacKenzie (Editors)

0 / 0

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

년:

2005

출판사:

The Royal Society

언어:

english

페이지:

134

시리즈:

Philosophical Transactions of the Royal Society A 363/1835

파일:

PDF, 3.12 MB

IPFS:

,

english, 2005

온라인으로 읽기

로의 변환이 실행 중입니다

로의 변환이 실패되었습니다

귀하의 관심을 살 수 있습니다

Papaioannou A. — Solutions to Atiyah and MacDonald's Introduction to Commutative Algebra

Antonella Cupillari — The Nuts and Bolts of Proofs, Third Edition: An Introduction to Mathematical Proofs

Franklin J., Daoud A. — Introduction to Proofs in Mathematics

Michael Atiyah — Michael Atiyah: Collected Works. Volume 1: Early Papers; General Papers

Michael Atiyah — Collected Works: Volume 3: Index Theory: 1

Michael Atiyah — Michael Atiyah: Collected Works: Volume 4: Index Theory 2

Michael Atiyah — Collected Works: Volume 5: Gauge Theories

Diane-Laure Arjalies, Philip Grant, Iain Hardie, Donald MacKenzie, Ekaterina Svetlova — Chains of Finance: How Investment Management is Shaped

M.F.Atiyah & I.G.MacDonald — Introduction to Commutative Algebra

Michael Atiyah — K-Theory

Donald A. MacKenzie — Mechanizing Proof: Computing, Risk, and Trust

Donald MacKenzie — An Engine, Not a Camera: How Financial Models Shape Markets

Steven G. Krantz (auth.) — The Proof is in the Pudding: The Changing Nature of Mathematical Proof

Ronald P. Morash — Bridge to Abstract Math. Mathematical Proof and Structures

George Polya — Mathematical discovery: on understanding teaching problem solving

Rowan Garnier, John Taylor — 100 percent mathematical proof

S. J. Patterson — An introduction to the theory of the Riemann zeta-function

Michael Atiyah — The Geometry and Physics of Knots

Abraham Pais, Maurice Jacob, David I. Olive, Michael F. Atiyah — Paul Dirac. The Man and His Work

Steven G. Krantz — Function theory of several complex variables

Connie M. Campbell — Introduction to Advanced Mathematics: A Guide to Understanding Proofs

Donald MacKenzie, Fabian Muniesa, Lucia Siu — Do Economists Make Markets?: On the Performativity of Economics

Atiyah, Michael Francis; Hitchin, Nigel J. — The geometry and dynamics of magnetic monopoles

V. Arnold, M. Atiyah, P. Lax, and B. Mazur, editors — Mathematics: Frontiers and Perspectives

Donald A. MacKenzie — Statistics in Britain, 1865-1930: The Social Construction of Scientific Knowledge

Richard Hammack — Book of proof

Michael F. Atiyah — Geometry of Yang-Mills fields

Amiya Mukherjee (auth.) — Atiyah-Singer Index Theorem: An Introduction

Michael Francis Atiyah; 陳繁昌; 李雅達; 文小剛; David Jonathan Gross — 數學與物理最前沿

Michael Detlefsen (edt) — Proof, Logic and Formalization

Gödel's Theorem [An Incomplete Guide To Its Use And Abuse] — Gödel's Theorem [An Incomplete Guide To Its Use And Abuse]

Bundy A., Atiyah M., Macintyre A., MacKenzie D. eds. — The nature of mathematical proof

P. Boero — Theorems in School: From History, Epistemology and Cognition to Classroom Practice (New Directions in Mathematics and Science Education)

Donald A. MacKenzie — Mechanizing Proof: Computing, Risk, and Trust

Gabbay, Dov M.(Author) — Handbook of the History of Logic, Volume 5 : Logic from Russell to Church

Jörg H. Siekmann (Eds.) — Computational Logic

A.S. Troelstra and D. van Dalen (Eds.) — The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout

Baaz, Matthias;Harper, Jr Charles L.;Papadimitriou, Christos H.;Putnam, Hilary W.;Scott, Dana S — Kurt Goedel and the Foundations of Mathematics Horizons of Truth

Gilles Dowek — Computation, Proof, Machine: Mathematics Enters a New Age

Gilles Dowek, Pierre Guillot, Marion Roman — Computation, Proof, Machine: Mathematics Enters a New Age

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper — Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Eric Schechter — Classical and Nonclassical Logics. An Introduction to the Mathematics of Propositions

주로 사용되는 용어