Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

The nature of mathematical proof

Main
Society, Politics & Philosophy - General & Miscellaneous Philosophy
The nature of mathematical proof

The nature of mathematical proof

Bundy A., Atiyah M., Macintyre A., MacKenzie D. eds.

0 / 0

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Категорії:

Society, Politics & Philosophy - General & Miscellaneous Philosophy

Рік:

2005

Мова:

english

Серії:

Phil. Trans. R. Soc. A, vol. 363

Файл:

PDF, 3.09 MB

IPFS:

,

english, 2005

Читати Онлайн

Виконується конвертація в

Конвертація в не вдалась

Можливо вас зацікавить

William Tait — The provenance of pure reason: Essays in the philosophy of mathematics and its history

Alan Bundy, Michael Atiyah, Angus Macintyre, Donald MacKenzie (Editors) — The Nature of Mathematical Proof

Michael Detlefsen (edt) — Proof, Logic and Formalization

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

W W Bledsoe; Robert S Boyer (ed.) — Automated reasoning : essays in honor of Woody Bledsoe

Ernest Nagel, James R. Newman, Douglas R. Hofstadter — Goedel's Proof (Revised Edition 2001)

W. W. Bledsoe, Donald W. Loveland (ed.) — Automated Theorem Proving: After 25 Years

Fenner Stanley Tanswell; Penelope Rush, Stewart Shapiro (Series Editors) — Mathematical Rigour and Informal Proof

Gila Hanna, Hans Niels Jahnke, Helmut Pulte (auth.), Gila Hanna, Hans Niels Jahnke, Helmut Pulte (eds.) — Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Mateja Jamnik — Mathematical Reasoning with Diagrams

Mateja Jamnik — Mathematical Reasoning with Diagrams

Gila Hanna, David A. Reid, Michael de Villiers — Proof Technology in Mathematics Research and Teaching

Christoph Benzmüller, Bruce Miller — Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings

Lito Perez Cruz — Theoremus

Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban (eds.) — Intelligent Computer Mathematics: International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul (auth.), Joe Hurd, Tom Melham (eds.) — Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Constance L. Heitmeyer (auth.), Klaus Schneider, Jens Brandt (eds.) — Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Ключові фрази