Results for 'Stanford Unviersity of Mathematics'

1000+ found
Order:
  1. Kurt Gdel: Collected Works: Volume Iv: Selected Correspondence, a-G.Kurt Gdel & Stanford Unviersity of Mathematics - 1986 - Clarendon Press.
    Kurt Gdel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gdel's writings. The first three volumes, already published, consist of the papers and essays of Gdel. The final two volumes of the set deal with Gdel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Philosophy of Mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.
    If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  3. Platonism in the Philosophy of Mathematics.Øystein Linnebo - 2009 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy.
    Platonism about mathematics (or mathematical platonism) is the metaphysical view that there are abstract mathematical objects whose existence is independent of us and our language, thought, and practices. In this survey article, the view is clarified and distinguished from some related views, and arguments for and against the view are discussed.
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  4.  95
    Naturalism in the Philosophy of Mathematics.Alexander Paseau - 2008 - In Stanford Encyclopedia of Philosophy.
    Contemporary philosophy’s three main naturalisms are methodological, ontological and epistemological. Methodological naturalism states that the only authoritative standards are those of science. Ontological and epistemological naturalism respectively state that all entities and all valid methods of inquiry are in some sense natural. In philosophy of mathematics of the past few decades methodological naturalism has received the lion’s share of the attention, so we concentrate on this. Ontological and epistemological naturalism in the philosophy of mathematics are discussed more briefly (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  5. Fictionalism in the Philosophy of Mathematics.Mark Balaguer - 2008 - Stanford Encyclopedia of Philosophy.
    Mathematical fictionalism (or as I'll call it, fictionalism) is best thought of as a reaction to mathematical platonism. Platonism is the view that (a) there exist abstract mathematical objects (i.e., nonspatiotemporal mathematical objects), and (b) our mathematical sentences and theories provide true descriptions of such objects. So, for instance, on the platonist view, the sentence ‘3 is prime’ provides a straightforward description of a certain object—namely, the number 3—in much the same way that the sentence ‘Mars is red’ provides a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  6. Platonism in the Philosophy of Mathematics.Øystein Linnebo - forthcoming - Stanford Encyclopedia of Philosophy.
    Platonism about mathematics (or mathematical platonism) isthe metaphysical view that there are abstract mathematical objectswhose existence is independent of us and our language, thought, andpractices. Just as electrons and planets exist independently of us, sodo numbers and sets. And just as statements about electrons and planetsare made true or false by the objects with which they are concerned andthese objects' perfectly objective properties, so are statements aboutnumbers and sets. Mathematical truths are therefore discovered, notinvented., Existence. There are mathematical objects.
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  7. Stanford Encyclopedia of Philosophy.Alexander Paseau - 2008
    No categories
     
    Export citation  
     
    Bookmark  
  8.  9
    Amir R. Alexander. Geometrical Landscapes: The Voyages of Discovery and the Transformation of Mathematical Practice. Xv + 293 Pp., Illus., Fig., Bibl., Index. Stanford, Calif.: Stanford University Press, 2002. $65. [REVIEW]Katherine Neal - 2003 - Isis 94 (3):525-526.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Indispensability Arguments in the Philosophy of Mathematics.Mark Colyvan - 2008 - Stanford Encyclopedia of Philosophy.
    One of the most intriguing features of mathematics is its applicability to empirical science. Every branch of science draws upon large and often diverse portions of mathematics, from the use of Hilbert spaces in quantum mechanics to the use of differential geometry in general relativity. It's not just the physical sciences that avail themselves of the services of mathematics either. Biology, for instance, makes extensive use of difference equations and statistics. The roles mathematics plays in these (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  10.  11
    AMIR R. ALEXANDER, Geometrical Landscapes: The Voyages of Discovery and the Transformation of Mathematical Practice. Writing Science. Stanford: Stanford University Press, 2002. Pp. Xvii+293. ISBN 0-80473-260-4. £46.95. [REVIEW]Jackie Stedall - 2005 - British Journal for the History of Science 38 (1):108-109.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  54
    Wittgenstein's Philosophy of Mathematics.Victor Rodych - unknown - Stanford Encyclopedia of Philosophy.
  12.  4
    Church Alonzo. Mathematics and Logic. Logic, Methodology and Philosophy of Science, Proceedings of the I960 International Congress, Edited by Nagel Ernest, Suppes Patrick, and Tarski Alfred, Stanford University Press, Stanford, Calif., 1962, Pp. 181–186. [REVIEW]E. J. Lemmon - 1963 - Journal of Symbolic Logic 28 (1):106-107.
  13. Uses of Properties in the Philosophy of Mathematics.C. Swoyer - forthcoming - Stanford Encyclopedia of Philosophy.
  14.  24
    Julia Robinson. On the Decision Problem for Algebraic Rings. Studies in Mathematical Analysis and Related Topics, Essays in Honor of George Pólya, Edited by Gabor Szegö, Charles Loewner, Stefan Bergman, Menahem Max Schiffer, Jerzy Neyman, David Gilbarg, and Herbert Solomon, Stanford University Press, Stanford, California, 1962, Pp. 297–304. [REVIEW]V. H. Dyson - 1970 - Journal of Symbolic Logic 35 (3):475-476.
  15.  21
    Kleene S. C.. Turing-Machine Computable Functionals of Finite Types I. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Nagel Ernest, Suppes Patrick, and Tarski Alfred, Stanford University Press, Stanford, California, 1962, Pp. 38–45.Kleene S. C.. Turing-Machine Computable Functionals of Finite Types II. Proceedings of the London Mathematical Society, Ser. 3 Vol. 12 , Pp. 245–258. [REVIEW]D. A. Clarke - 1970 - Journal of Symbolic Logic 35 (4):588-589.
  16.  29
    J. W. Addison. Separation Principles in the Hierarchies of Classical and Effective Descriptive Set Theory. Fundamenta Mathematicae, Vol. 46 No. 2 , Pp. 123–135. - J. W. Addison. The Theory of Hierarchies. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, Pp. 26–37. - J. W. Addison. Some Problems in Hierarchy Theory. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence1962, Pp. 123–130. [REVIEW]Donald L. Kreider - 1964 - Journal of Symbolic Logic 29 (1):60-62.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  20
    The Mathematics of Boolean Algebra.J. Donald Monk - 2008 - Stanford Encyclopedia of Philosophy.
  18.  76
    Explanation in Mathematics.Paolo Mancosu - 2011 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy.
    The philosophical analysis of mathematical explanations concerns itself with two different, although connected, areas of investigation. The first area addresses the problem of whether mathematics can play an explanatory role in the natural and social sciences. The second deals with the problem of whether mathematical explanations occur within mathematics itself. Accordingly, this entry surveys the contributions to both areas, it shows their relevance to the history of philosophy and science, it articulates their connection, and points to the philosophical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  19.  12
    A Formalisation of the Integers in a Multi‐Successor Arithmetic.P. H. Stanford - 1976 - Mathematical Logic Quarterly 22 (1):119-121.
  20.  21
    Constructive Mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
  21. The Concept of Logical Consequence.John Etchemendy - 1990 - Harvard University Press.
    Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   130 citations  
  22.  19
    Jesse Norman. After Euclid: Visual Reasoning and the Epistemology of Diagrams. Stanford: CSLI Publications, 2006. ISBN 1-57586-509-2 ; 1-57586-510-6 . Pp. Vii +176. [REVIEW]Jesse Norman - 2007 - Philosophia Mathematica 15 (1):116-121.
    This monograph treats the important topic of the epistemology of diagrams in Euclidean geometry. Norman argues that diagrams play a genuine justificatory role in traditional Euclidean arguments, and he aims to account for these roles from a modified Kantian perspective. Norman considers himself a semi-Kantian in the following broad sense: he believes that Kant was right that ostensive constructions are necessary in order to follow traditional Euclidean proofs, but he wants to avoid appealing to Kantian a priori intuition as the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Dialogues on Mathematics.Alfréd Rényi - 1967 - San Francisco, Holden-Day.
    This book discusses in dialogue form the basic principles of mathematics and its applications including the question: What is mathematics? What does its specific method consist of? What is its relation to the sciences and humanities? What can it offer to specialists in different fields? How can it be applied in practice and in discovering the laws of nature? Dramatized by the dialogue form and shown in the historical movements in which they originated, these questions are discussed in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. The Stanford Encyclopedia of Philosophy.Edward N. Zalta (ed.) - 2004 - Stanford, CA: The Metaphysics Research Lab.
    The Stanford Encyclopedia of Philosophy is an open access, dynamic reference work designed to organize professional philosophers so that they can write, edit, and maintain a reference work in philosophy that is responsive to new research. From its inception, the SEP was designed so that each entry is maintained and kept up to date by an expert or group of experts in the field. All entries and substantive updates are refereed by the members of a distinguished Editorial Board before (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   65 citations  
  25.  87
    Non-Deductive Methods in Mathematics.Alan Baker - 2010 - Stanford Encyclopedia of Philosophy.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  26.  25
    Stanford Encyclopedia of Philosophy.Edward N. Zalta (ed.) - 1995 - Stanford University.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  27. Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 1997 - Oxford University Press.
    Do numbers, sets, and so forth, exist? What do mathematical statements mean? Are they literally true or false, or do they lack truth values altogether? Addressing questions that have attracted lively debate in recent years, Stewart Shapiro contends that standard realist and antirealist accounts of mathematics are both problematic. As Benacerraf first noted, we are confronted with the following powerful dilemma. The desired continuity between mathematical and, say, scientific language suggests realism, but realism in this context suggests seemingly intractable (...)
    Direct download  
     
    Export citation  
     
    Bookmark   186 citations  
  28.  35
    Aristotle and Mathematics.Henry Mendell - 2008 - Stanford Encyclopedia of Philosophy.
  29.  49
    Review Essay on Dynamics of Reason by Michael Friedman. [REVIEW]Marc Lange - 2004 - Philosophy and Phenomenological Research 68 (3):702–712.
    The first half of this book consists of Michael Friedman’s Kant Lectures in essentially the form in which they were delivered at Stanford University in 1999. In the second half, “Fruits of Discussion,” Friedman elaborates, refines, and defends the central ideas of these lectures. Taken together, these halves form an eminently readable, slim, yet rich and ambitious volume. It proves our fullest account to date not only of Friedman’s neo-Kantian, historicized, dynamical conception of relativized a priori principles of (...) and physics, but also of the pivotal role that Friedman sees philosophy as playing in making scientific revolutions rational. (shrink)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  30. The Communication Structure of Epistemic Communities.Kevin J. S. Zollman - 2007 - Philosophy of Science 74 (5):574-587.
    Increasingly, epistemologists are becoming interested in social structures and their effect on epistemic enterprises, but little attention has been paid to the proper distribution of experimental results among scientists. This paper will analyze a model first suggested by two economists, which nicely captures one type of learning situation faced by scientists. The results of a computer simulation study of this model provide two interesting conclusions. First, in some contexts, a community of scientists is, as a whole, more reliable when its (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   107 citations  
  31.  72
    Philosophy of Mathematics and Natural Science.Hermann Weyl - 1949 - Princeton University Press.
    This is a book that no one but Weyl could have written--and, indeed, no one has written anything quite like it since.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   183 citations  
  32.  32
    Philosophy of Mathematics: Selected Readings.Paul Benacerraf - 1964 - Englewood Cliffs, N.J., Prentice-Hall.
    The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers.
    Direct download  
     
    Export citation  
     
    Bookmark   52 citations  
  33. Concepts of Logical Ai.John McCarthy - unknown
    Logical AI involves representing knowledge of an agent’s world, its goals and the current situation by sentences in logic. The agent decides what to do by inferring that a certain action or course of action is appropriate to achieve the goals. We characterize briefly a large number of concepts that have arisen in research in logical AI. Reaching human-level AI requires programs that deal with the common sense informatic situation. This in turn requires extensions from the way logic has been (...)
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  34. Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century.Paolo Mancosu - 1996 - Oxford University Press.
    The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  35. Philosophy of Mathematics.Øystein Linnebo - 2017 - Princeton, NJ: Princeton University Press.
    Mathematics is one of the most successful human endeavors—a paradigm of precision and objectivity. It is also one of our most puzzling endeavors, as it seems to deliver non-experiential knowledge of a non-physical reality consisting of numbers, sets, and functions. How can the success and objectivity of mathematics be reconciled with its puzzling features, which seem to set it apart from all the usual empirical sciences? This book offers a short but systematic introduction to the philosophy of (...). Readers are introduced to all of the classical approaches to the field, including logicism, formalism, intuitionism, empiricism, and structuralism. The book also contains accessible introductions to some more specialized issues, such as mathematical intuition, potential infinity, the iterative conception of sets, and the search for new mathematical axioms. The exposition is always closely informed by ongoing research in the field and sometimes draws on the author’s own contributions to this research. This means that Gottlob Frege—a German mathematician and philosopher widely recognized as one of the founders of analytic philosophy—figures prominently in the book, both through his own views and his criticism of other thinkers. (shrink)
     
    Export citation  
     
    Bookmark   6 citations  
  36. The Principles of Mathematics.Bertrand Russell - 1903 - Allen & Unwin.
    Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   406 citations  
  37.  96
    Foundations of Mathematical Logic.Haskell B. Curry - 1963 - Dover Publications.
    Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   77 citations  
  38.  2
    Review Essay on Dynamics of Reason by Michael Friedman.Marc Lange - 2004 - Philosophy and Phenomenological Research 68 (3):702-712.
    The first half of this book consists of Michael Friedman’s Kant Lectures in essentially the form in which they were delivered at Stanford University in 1999. In the second half, “Fruits of Discussion,” Friedman elaborates, refines, and defends the central ideas of these lectures. Taken together, these halves form an eminently readable, slim, yet rich and ambitious volume. It proves our fullest account to date not only of Friedman’s neo-Kantian, historicized, dynamical conception of relativized a priori principles of (...) and physics, but also of the pivotal role that Friedman sees philosophy as playing in making scientific revolutions rational. (shrink)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  39. Philosophy of Mathematics: Selected Readings.Paul Benacerraf & Hilary Putnam (eds.) - 1964 - Cambridge University Press.
    The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox (Russell's Paradox), a challenge to 'classical' mathematics from a world-famous mathematician (the 'mathematical intuitionism' of Brouwer), a new foundational school (Hilbert's Formalism), and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  40. Stanford Encyclopedia of Philosophy.Edward N. Zalta Uri Nodelman Colin Allen & John Perry - unknown
    Notice: This PDF version was distributed by request to members of the Friends of the SEP Society and by courtesy to SEP content contributors. It is solely for their fair use. Unauthorized distribution is prohibited. To learn how to join the Friends of the SEP Society and obtain authorized PDF versions of SEP entries, please visit https://leibniz.stanford.edu/friends/.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  41. Philosophy of Mathematics and Deductive Structure of Euclid 's "Elements".Ian Mueller - 1981 - Dover Publications.
    A survey of Euclid's Elements, this text provides an understanding of the classical Greek conception of mathematics and its similarities to modern views as well as its differences. It focuses on philosophical, foundational, and logical questions — rather than strictly historical and mathematical issues — and features several helpful appendixes.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  42.  29
    Philosophy of Mathematics.Stewart Shapiro - 2003 - In Peter Clark & Katherine Hawley (eds.), Philosophy of Science Today. Clarendon Press.
    Moving beyond both realist and anti-realist accounts of mathematics, Shapiro articulates a "structuralist" approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   65 citations  
  43.  76
    Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures.James Robert Brown - 1999 - Routledge.
    _Philosophy of Mathematics_ is an excellent introductory text. This student friendly book discusses the great philosophers and the importance of mathematics to their thought. It includes the following topics: * the mathematical image * platonism * picture-proofs * applied mathematics * Hilbert and Godel * knots and nations * definitions * picture-proofs and Wittgenstein * computation, proof and conjecture. The book is ideal for courses on philosophy of mathematics and logic.
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  44. Stanford Encyclopedia of Philosophy.Jan van Eijck & Albert Visser - unknown
    Notice: This PDF version was distributed by request to members of the Friends of the SEP Society and by courtesy to SEP content contributors. It is solely for their fair use. Unauthorized distribution is prohibited. To learn how to join the Friends of the..
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  45. An Aristotelian Realist Philosophy of Mathematics: Mathematics as the Science of Quantity and Stucture.James Franklin - 2014 - Palgrave MacMillan.
    An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  46. Aspects of Mathematical Explanation: Symmetry, Unity, and Salience.Marc Lange - 2014 - Philosophical Review 123 (4):485-531.
    Unlike explanation in science, explanation in mathematics has received relatively scant attention from philosophers. Whereas there are canonical examples of scientific explanations, there are few examples that have become widely accepted as exhibiting the distinction between mathematical proofs that explain why some mathematical theorem holds and proofs that merely prove that the theorem holds without revealing the reason why it holds. This essay offers some examples of proofs that mathematicians have considered explanatory, and it argues that these examples suggest (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  47. Population Genetics and Sociobiology: Conflicting Views of Evolution.James Schwartz - 2002 - Perspectives in Biology and Medicine 45 (2):224-240.
    This article explores the tension between the population genetics and sociobiological approaches to the study of evolution. Whereas population geneticists, like Stanford’s Marc Feldman, insist that the genetic complexities of organisms cannot be overlooked, sociobiologists rely on optimization models that are based on the simplest possible genetics.These optimization approaches have their roots in the classical result known as the fundamental theorem of natural selection, formulated by R. A. Fisher in 1930. From the start there was great uncertainty over the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48.  66
    Philosophy of Mathematical Practice — Motivations, Themes and Prospects.Jessica Carter - 2019 - Philosophia Mathematica 27 (1):1-32.
    ABSTRACT A number of examples of studies from the field ‘The Philosophy of Mathematical Practice’ are given. To characterise this new field, three different strands are identified: an agent-based, a historical, and an epistemological PMP. These differ in how they understand ‘practice’ and which assumptions lie at the core of their investigations. In the last part a general framework, capturing some overall structure of the field, is proposed.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  74
    Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures.James Robert Brown - 2008 - Routledge.
    1. Introduction : the mathematical image -- 2. Platonism -- 3. Picture-proofs and Platonism -- 4. What is applied mathematics? -- 5. Hilbert and Gödel -- 6. Knots and notation -- 7. What is a definition? -- 8. Constructive approaches -- 9. Proofs, pictures and procedures in Wittgenstein -- 10. Computation, proof and conjecture -- 11. How to refute the continuum hypothesis -- 12. Calling the bluff.
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  50.  29
    Descartes' Mathematics.Mary Domski - forthcoming - Stanford Encyclopedia of Philosophy.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000