Search results for 'Mathematics Congresses' (try it on Scholar)

1000+ found
Order:
  1.  63
    Matthias Schirn (ed.) (1998). The Philosophy of Mathematics Today. Clarendon Press.
    This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figures in the field. All essays deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. The contributors also represent and criticize a variety of prominent approaches to the philosophy of mathematics, including platonism, realism, nomalism, constructivism, and formalism.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  40
    Javier Echeverría, Andoni Ibarra & Thomas Mormann (eds.) (1992). The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations. W. De Gruyter.
    The Protean Character of Mathematics SAUNDERS MAC LANE (Chicago) 1. Introduction The thesis of this paper is that mathematics is protean. ...
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  21
    Imre Lakatos (ed.) (1967). Problems in the Philosophy of Mathematics. Amsterdam, North-Holland Pub. Co..
    In the mathematical documents which have come down to us from these peoples, there are no theorems or demonstrations, and the fundamental concepts of ...
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  4. Fred Richman (ed.) (1981). Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980. [REVIEW] Springer-Verlag.
     
    Export citation  
     
    My bibliography  
  5.  10
    Jens Erik Fenstad, Ivan Timofeevich Frolov & Risto Hilpinen (eds.) (1989). Logic, Methodology, and Philosophy of Science Viii: Proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987. Sole Distributors for the U.S.A. And Canada, Elsevier Science.
    The volume contains 37 invited papers presented at the Congress, covering the areas of Logic, Mathematics, Physical Sciences, Biological Sciences and the ...
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  9
    A. Kino, John Myhill & Richard Eugene Vesley (eds.) (1970). Intuitionism and Proof Theory. Amsterdam,North-Holland Pub. Co..
    Our first aim is to make the study of informal notions of proof plausible. Put differently, since the raison d'étre of anything like existing proof theory seems to rest on such notions, the aim is nothing else but to make a case for proof theory; ...
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  7. L. E. J. Brouwer, A. S. Troelstra & D. van Dalen (eds.) (1982). The L.E.J. Brouwer Centenary Symposium: Proceedings of the Conference Held in Noordwijkerhout, 8-13 June 1981. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
    No categories
     
    Export citation  
     
    My bibliography  
  8. A. Díez, Javier Echeverría & Andoni Ibarra (eds.) (1990). Structures in Mathematical Theories: Reports of the San Sebastian International Symposium, September 25-29, 1990. Argitarapen Zerbitzua Euskal, Herriko Unibertsitatea.
     
    Export citation  
     
    My bibliography  
  9. Gerd Wechsung (ed.) (1984). Frege Conference 1984: Proceedings of the International Conference Held at Schwerin, Gdr, September 10-14, 1984. Akademie-Verlag.
  10. Guy K. White (ed.) (1980). Changing Views of the Physical World, 1954-1979. Australian Academy of Science.
  11. John Bell & Bertrand Russell (1973). The Proceedings of the Bertrand Russell Memorial Logic Conference, Uldum, Denmark, 1971. Bertrand Russell Memorial Logic Conference.
     
    Export citation  
     
    My bibliography  
  12. A. Heyting (ed.) (1959). Constructivity in Mathematics. Amsterdam, North-Holland Pub. Co..
    No categories
     
    Export citation  
     
    My bibliography   2 citations  
  13. A. P. Ershov & Donald Ervin Knuth (eds.) (1981). Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek Ssr, September 16-22, 1979. Springer-Verlag.
  14. Gabriel V. Orman (ed.) (1991). Proceedings of the Third Colloquium on Logic, Language, Mathematics Linguistics, Brasov, 23-25 Mai 1991. Society of Mathematics Sciences.
  15.  63
    Stewart Shapiro (1997). Philosophy of Mathematics: Structure and Ontology. 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  
     
    My bibliography   110 citations  
  16. Frank Plumpton Ramsey (1960). The Foundations of Mathematics and Other Logical Essays. Paterson, N.J.,Littlefield, Adams.
    THE FOUNDATIONS OF MATHEMATICS () PREFACE The object of this paper is to give a satisfactory account of the Foundations of Mathematics in accordance with..
    Direct download  
     
    Export citation  
     
    My bibliography   256 citations  
  17.  62
    Bob Hale (ed.) (2001). The Reason's Proper Study: Essays Towards a Neo-Fregean Philosophy of Mathematics. Oxford University Press.
    Here, Bob Hale and Crispin Wright assemble the key writings that lead to their distinctive neo-Fregean approach to the philosophy of mathematics. In addition to fourteen previously published papers, the volume features a new paper on the Julius Caesar problem; a substantial new introduction mapping out the program and the contributions made to it by the various papers; a section explaining which issues most require further attention; and bibliographies of references and further useful sources. It will be recognized as (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   68 citations  
  18. Plamen L. Simeonov, Arran Gare, Seven M. Rosen & Denis Noble (forthcoming). Editorial. Special Issue on Integral Biomathics: Life Sciences, Mathematics and Phenomenological Philosophy. Journal Progress in Biophysics and Molecular Biology 119 (2).
    The is the Editorial of the 2015 JPBMB Special Issue on Integral Biomathics: Life Sciences, Mathematics and Phenomenological Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography  
  19. William Bragg Ewald (ed.) (1996). From Kant to Hilbert: A Source Book in the Foundations of Mathematics. Oxford University Press.
    This massive two-volume reference presents a comprehensive selection of the most important works on the foundations of mathematics. While the volumes include important forerunners like Berkeley, MacLaurin, and D'Alembert, as well as such followers as Hilbert and Bourbaki, their emphasis is on the mathematical and philosophical developments of the nineteenth century. Besides reproducing reliable English translations of classics works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare, William Ewald also includes selections from Gauss, Cantor, Kronecker, and Zermelo, all translated here (...)
     
    Export citation  
     
    My bibliography   20 citations  
  20. Michael D. Resnik (1997). Mathematics as a Science of Patterns. New York ;Oxford University Press.
    This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of (...)--the view that mathematics is about things that really exist. (shrink)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   79 citations  
  21.  80
    Penelope Maddy (1997). Naturalism in Mathematics. Oxford University Press.
    Naturalism in Mathematics investigates how the most fundamental assumptions of mathematics can be justified. One prevalent philosophical approach to the problem--realism--is examined and rejected in favor of another approach--naturalism. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be successfully applied in set theory. Her clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both (...)
    Direct download  
     
    Export citation  
     
    My bibliography   78 citations  
  22. John P. Burgess & Gideon A. Rosen (1997). A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics. Oxford University Press.
    Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no such objects, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. This book cuts through a host of technicalities that have obscured (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   71 citations  
  23. Penelope Maddy (1990). Realism in Mathematics. Oxford University Prress.
    Mathematicians tend to think of themselves as scientists investigating the features of real mathematical things, and the wildly successful application of mathematics in the physical sciences reinforces this picture of mathematics as an objective study. For philosophers, however, this realism about mathematics raises serious questions: What are mathematical things? Where are they? How do we know about them? Offering a scrupulously fair treatment of both mathematical and philosophical concerns, Penelope Maddy here delineates and defends a novel version (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   94 citations  
  24.  67
    James Franklin (2014). Aristotelian Realist Philosophy of Mathematics. 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  
     
    My bibliography   6 citations  
  25.  1
    Michael Wood (2001). Crunchy Methods in Practical Mathematics. Philosophy of Mathematics Education Journal 14.
    This paper focuses on the distinction between methods which are mathematically "clever", and those which are simply crude, typically repetitive and computer intensive, approaches for "crunching" out answers to problems. Examples of the latter include simulated probability distributions and resampling methods in statistics, and iterative methods for solving equations or optimisation problems. Most of these methods require software support, but this is easily provided by a PC. The paper argues that the crunchier methods often have substantial advantages from the perspectives (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Mary Leng (2010). Mathematics and Reality. OUP Oxford.
    Mary Leng defends a philosophical account of the nature of mathematics which views it as a kind of fiction. On this view, the claims of our ordinary mathematical theories are more closely analogous to utterances made in the context of storytelling than to utterances whose aim is to assert literal truths.
     
    Export citation  
     
    My bibliography   18 citations  
  27.  69
    Marcus P. Adams (2016). Hobbes on Natural Philosophy as "True Physics" and Mixed Mathematics. Studies in History and Philosophy of Science Part A 56:43-51.
    I offer an alternative account of the relationship of Hobbesian geometry to natural philosophy by arguing that mixed mathematics provided Hobbes with a model for thinking about it. In mixed mathematics, one may borrow causal principles from one science and use them in another science without there being a deductive relationship between those two sciences. Natural philosophy for Hobbes is mixed because an explanation may combine observations from experience (the ‘that’) with causal principles from geometry (the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  28.  19
    Ludwig Wittgenstein (1978). Remarks on the Foundations of Mathematics. B. Blackwell.
  29. John Bigelow (1988). The Reality of Numbers: A Physicalist's Philosophy of Mathematics. Oxford University Press.
    Challenging the myth that mathematical objects can be defined into existence, Bigelow here employs Armstrong's metaphysical materialism to cast new light on mathematics. He identifies natural, real, and imaginary numbers and sets with specified physical properties and relations and, by so doing, draws mathematics back from its sterile, abstract exile into the midst of the physical world.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   76 citations  
  30.  96
    Fabio Sterpetti (2015). Formalizing Darwinism, Naturalizing Mathematics. Paradigmi. Rivista di Critica Filosofica 33 (2):133-160.
    In the last decades two different and apparently unrelated lines of research have increasingly connected mathematics and evolutionism. Indeed, on the one hand different attempts to formalize darwinism have been made, while, on the other hand, different attempts to naturalize logic and mathematics have been put forward. Those researches may appear either to be completely distinct or at least in some way convergent. They may in fact both be seen as supporting a naturalistic stance. Evolutionism is indeed crucial (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31. Plamen L. Simeonov, Koichiro Matsuno & Robert S. Root-Bernstein (2013). Editorial. Special Issue on Integral Biomathics: Can Biology Create a Profoundly New Mathematics and Computation? J. Progress in Biophysics and Molecular Biology 113 (1):1-4.
    The idea behind this special theme journal issue was to continue the work we have started with the INBIOSA initiative (www.inbiosa.eu) and our small inter-disciplinary scientific community. The result of this EU funded project was a white paper (Simeonov et al., 2012a) defining a new direction for future research in theoretical biology we called Integral Biomathics and a volume (Simeonov et al., 2012b) with contributions from two workshops and our first international conference in this field in 2011. The initial impulse (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  32. Justin Clarke-Doane (2012). Morality and Mathematics: The Evolutionary Challenge. Ethics 122 (2):313-340.
    It is commonly suggested that evolutionary considerations generate an epistemological challenge for moral realism. At first approximation, the challenge for the moral realist is to explain our having many true moral beliefs, given that those beliefs are the products of evolutionary forces that would be indifferent to the moral truth. An important question surrounding this challenge is the extent to which it generalizes. In particular, it is of interest whether the Evolutionary Challenge for moral realism is equally a challenge for (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  33. Hartry Field (1989). Realism, Mathematics & Modality. Basil Blackwell.
  34.  95
    Stewart Shapiro (2000). Thinking About Mathematics: The Philosophy of Mathematics. Oxford University Press.
    This unique book by Stewart Shapiro looks at a range of philosophical issues and positions concerning mathematics in four comprehensive sections. Part I describes questions and issues about mathematics that have motivated philosophers since the beginning of intellectual history. Part II is an historical survey, discussing the role of mathematics in the thought of such philosophers as Plato, Aristotle, Kant, and Mill. Part III covers the three major positions held throughout the twentieth century: the idea that (...) is logic (logicism), the view that the essence of mathematics is the rule-governed manipulation of characters (formalism), and a revisionist philosophy that focuses on the mental activity of mathematics (intuitionism). Finally, Part IV brings the reader up-to-date with a look at contemporary developments within the discipline. This sweeping introductory guide to the philosophy of mathematics makes these fascinating concepts accessible to those with little background in either mathematics or philosophy. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   30 citations  
  35.  20
    Tim Button & Sean Walsh (forthcoming). Structure and Categoricity: Determinacy of Reference and Truth-Value in the Philosophy of Mathematics. Philosophia Mathematica.
    This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent `internal' renditions of the famous categoricity arguments for arithmetic and set theory.
    Direct download  
     
    Export citation  
     
    My bibliography  
  36.  76
    Hilary Putnam (ed.) (1979). Philosophical Papers, Volume 1: Mathematics, Matter, and Method. Cambridge University Press.
    Professor Hilary Putnam has been one of the most influential and sharply original of recent American philosophers in a whole range of fields. His most important published work is collected here, together with several new and substantial studies, in two volumes. The first deals with the philosophy of mathematics and of science and the nature of philosophical and scientific enquiry; the second deals with the philosophy of language and mind. Volume one is now issued in a new edition, including (...)
    Direct download  
     
    Export citation  
     
    My bibliography   61 citations  
  37.  77
    M. Giaquinto (2007). Visual Thinking in Mathematics: An Epistemological Study. Oxford University Press.
    Visual thinking -- visual imagination or perception of diagrams and symbol arrays, and mental operations on them -- is omnipresent in mathematics. Is this visual thinking merely a psychological aid, facilitating grasp of what is gathered by other means? Or does it also have epistemological functions, as a means of discovery, understanding, and even proof? By examining the many kinds of visual representation in mathematics and the diverse ways in which they are used, Marcus Giaquinto argues that visual (...)
    Direct download  
     
    Export citation  
     
    My bibliography   14 citations  
  38.  25
    Jaakko Hintikka (1996). The Principles of Mathematics Revisited. Cambridge University Press.
    This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   31 citations  
  39.  45
    Paolo Mancosu (ed.) (1998). From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s. Oxford University Press.
    From Brouwer To Hilbert: The Debate on the Foundations of Mathematics in the 1920s offers the first comprehensive introduction to the most exciting period in the foundation of mathematics in the twentieth century. The 1920s witnessed the seminal foundational work of Hilbert and Bernays in proof theory, Brouwer's refinement of intuitionistic mathematics, and Weyl's predicativist approach to the foundations of analysis. This impressive collection makes available the first English translations of twenty-five central articles by these important contributors (...)
    Direct download  
     
    Export citation  
     
    My bibliography   27 citations  
  40.  51
    Paolo Mancosu (1996). Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. 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 (3 more)  
     
    Export citation  
     
    My bibliography   27 citations  
  41.  42
    Mark Steiner (1998). The Applicability of Mathematics as a Philosophical Problem. Harvard University Press.
    This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis--the success of mathematical physics ...
    Direct download  
     
    Export citation  
     
    My bibliography   23 citations  
  42. Alison Pease & Andrew Aberdein (2011). Five Theories of Reasoning: Interconnections and Applications to Mathematics. Logic and Logical Philosophy 20 (1-2):7-57.
    The last century has seen many disciplines place a greater priority on understanding how people reason in a particular domain, and several illuminating theories of informal logic and argumentation have been developed. Perhaps owing to their diverse backgrounds, there are several connections and overlapping ideas between the theories, which appear to have been overlooked. We focus on Peirce’s development of abductive reasoning [39], Toulmin’s argumentation layout [52], Lakatos’s theory of reasoning in mathematics [23], Pollock’s notions of counterexample [44], and (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  17
    Michele Ginammi (2016). Avoiding Reification: Heuristic Effectiveness of Mathematics and the Prediction of the Omega Minus Particle. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 53:20-27.
    According to Steiner (1998), in contemporary physics new important discoveries are often obtained by means of strategies which rely on purely formal mathematical considerations. In such discoveries, mathematics seems to have a peculiar and controversial role, which apparently cannot be accounted for by means of standard methodological criteria. M. Gell-Mann and Y. Ne׳eman׳s prediction of the Ω− particle is usually considered a typical example of application of this kind of strategy. According to Bangu (2008), this prediction is apparently based (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  44. André Bazzoni (2015). Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts. Journal of Philosophical Logic 44 (5):507-516.
    The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on another (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  45.  79
    Richard L. Tieszen (2005). Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge University Press.
    Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this book is divided into three parts. Part I, Reason, Science, and Mathematics contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay oN phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some (...)
    Direct download  
     
    Export citation  
     
    My bibliography   12 citations  
  46.  10
    Otávio Bueno (forthcoming). An Anti-Realist Account of the Application of Mathematics. Philosophical Studies:1-14.
    Mathematical concepts play at least three roles in the application of mathematics: an inferential role, a representational role, and an expressive role. In this paper, I argue that, despite what has often been alleged, platonists do not fully accommodate these features of the application of mathematics. At best, platonism provides partial ways of handling the issues. I then sketch an alternative, anti-realist account of the application of mathematics, and argue that this account manages to accommodate these features (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  94
    Mark Colyvan, Indispensability Arguments in the Philosophy of Mathematics. 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  
     
    My bibliography   12 citations  
  48. Lisa Shabel (2003). Mathematics in Kant's Critical Philosophy: Reflections on Mathematical Practice. Routledge.
    Mathematics in Kant's Critical Philosophy provides a much needed reading (and re-reading) of Kant's theory of the construction of mathematical concepts through a fully contextualized analysis. In this work Lisa Shabel convincingly argues that it is only through an understanding of the relevant eighteenth century mathematics textbooks, and the related mathematical practice, can the material and context necessary for a successful interpretation of Kant's philosophy be provided. This is borne out through sustained readings of Euclid and Woolf in (...)
     
    Export citation  
     
    My bibliography   13 citations  
  49.  30
    Eric Livingston (1986). The Ethnomethodological Foundations of Mathematics. Routledge & K. Paul.
    A Non-Technical Introduction to Ethnomethodological Investigations of the Foundations of Mathematics through the Use of a Theorem of Euclidean Geometry* I ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   28 citations  
  50.  28
    D. S. Bridges (1987). Varieties of Constructive Mathematics. Cambridge University Press.
    This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.
    Direct download  
     
    Export citation  
     
    My bibliography   27 citations  
1 — 50 / 1000