Truth in mathematics

Main
Mathematics
Truth in mathematics

Truth in mathematics

H. G. Dales, G. Oliveri

0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

Collecting the work of a number of outstanding mathematicians and philosophers, including Yurii Manin, Vaughan Jones, and Per Martin-Lof, this volume surveys the full range of current work on mathematical truth.

類別:

年:

1998

出版商:

Clarendon Press; Oxford University Press

語言:

english

頁數:

378

ISBN 10:

019851476X

ISBN 13:

9780198514763

系列:

Oxford science publications

文件:

DJVU, 2.96 MB

IPFS:

,

english, 1998

線上閱讀

轉換進行中

轉換為失敗

你可能感興趣

H. G. Dales, G. Oliveri — Truth in Mathematics

Enrico Martino (auth.) — Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics

Christopher C. Leary — A Friendly Introduction to Mathematical Logic

Jaakko Hintikka (editor) — The Philosophy of Mathematics (Readings in Philosophy)

George Boolos — Logic, Logic, and Logic

WANG HAO — A SURVEY OF MATHEMATICAL LOGIC

Joan Roselló — From Foundations to Philosophy of Mathematics

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

Wang H. — A survey of mathematical logic

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Leary C.C. — A friendly introduction to mathematical logic

David Berlinski — The Advent of the Algorithm: The Idea that Rules the World

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort — Kurt Gödel: Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)

Solomon Feferman — In the Light of Logic

Solomon Feferman — In the Light of Logic

Matthias Schirn — The Philosophy of Mathematics Today

H. G. Dales, G. Oliveri — Truth in mathematics

S. Krajewski, S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.) — Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk

Jaakko Hintikka — Philosophy of Mathematics

Marcus Giaquinto — The search for certainty: A philosophical account of foundations of mathematics

G T Kneebone — Mathematical logic and the foundations of mathematics

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Evert W. Beth (Eds.) — The Foundations of Mathematics

Hao Wang — A Survey of Mathematical Logic.

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams — What is mathematical logic?

Benacerraf P., Putnam H. (eds.) — Philosophy of Mathematics: Selected Readings

Paul Benacerraf, Hilary Putnam — Philosophy of Mathematics: Selected Readings

Alexander George, Daniel J. Velleman — Philosophies of Mathematics

George Boolos, John P. Burgess, Richard Jeffrey — Logic, logic, and logic

S. G. Shanker (editor) — Godel's Theorem in Focus

Wang, Hao — From mathematics to philosophy

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Winfried Just, Martin Weese — Discovering modern set theory, The basics

Robert S. Wolf — A Tour Through Mathematical Logic

Richard L. Epstein, Walter A Carnielli — Computability: computable functions, logic, and the foundations of mathematics

Cevik, Ahmet — Philosophy of Mathematics: Classic and Contemporary Studies

最常見的術語