Search results for 'Constructive mathematics' (try it on Scholar)

1000+ found
Sort by:
  1. Douglas S. Bridges (1999). Can Constructive Mathematics Be Applied in Physics? Journal of Philosophical Logic 28 (5):439-453.score: 240.0
    The nature of modern constructive mathematics, and its applications, actual and potential, to classical and quantum physics, are discussed.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  2. D. S. Bridges (1987). Varieties of Constructive Mathematics. Cambridge University Press.score: 240.0
    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  
     
    My bibliography  
     
    Export citation  
  3. Laura Crosilla & Peter Schuster (eds.) (2005). From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Oxford University Press.score: 240.0
    This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developments, which have been most useful for computer science (ie: constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logician, mathematicians, philosophers and computer scientists with contributions from leading researchers, it is up to date, highly topical and broad in scope.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Rudolf Taschner (2010). The Swap of Integral and Limit in Constructive Mathematics. Mathematical Logic Quarterly 56 (5):533-540.score: 212.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Douglas S. Bridges & Hajime Ishihara (1994). Complements of Intersections in Constructive Mathematics. Mathematical Logic Quarterly 40 (1):35-43.score: 212.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Per Martin-Löf (1970). Notes on Constructive Mathematics. Stockholm,Almqvist & Wiksell.score: 210.0
     
    My bibliography  
     
    Export citation  
  7. 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.score: 210.0
  8. A. O. Slisenko (ed.) (1969). Studies in Constructive Mathematics and Mathematical Logic. New York, Consultants Bureau.score: 210.0
  9. Hajime Ishihara (1992). Continuity Properties in Constructive Mathematics. Journal of Symbolic Logic 57 (2):557-565.score: 186.0
    The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We deal with principles which are equivalent to the statements "every mapping is sequentially nondiscontinuous", "every sequentially nondiscontinuous mapping is sequentially continuous", and "every sequentially continuous mapping is continuous". As corollaries, we show that every mapping of a complete separable space is continuous in constructive recursive mathematics (the Kreisel-Lacombe-Schoenfield-Tsejtin theorem) and in intuitionism.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. H. Billinge (2000). Applied Constructive Mathematics: On Hellman's 'Mathematical Constructivism in Spacetime'. British Journal for the Philosophy of Science 51 (2):299-318.score: 180.0
    claims that constructive mathematics is inadequate for spacetime physics and hence that constructive mathematics cannot be considered as an alternative to classical mathematics. He also argues that the contructivist must be guilty of a form of a priorism unless she adopts a strong form of anti-realism for science. Here I want to dispute both claims. First, even if there are non-constructive results in physics this does not show that adequate constructive alternatives could not (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Frank Waaldijk (2005). On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions. Foundations of Science 10 (3):249-324.score: 180.0
    We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Douglas Bridges & Steeve Reeves (1999). Constructive Mathematics in Theory and Programming Practice. Philosophia Mathematica 7 (1):65-104.score: 180.0
    The first part of the paper introduces the varieties of modern constructive mathematics, concentrating on Bishop's constructive mathematics (BISH). it gives a sketch of both Myhill's axiomatic system for BISH and a constructive axiomatic development of the real line R. The second part of the paper focusses on the relation between constructive mathematics and programming, with emphasis on Martin-L6f 's theory of types as a formal system for BISH.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  13. Maria Emilia Maietti & Giuseppe Rosolini (2013). Quotient Completion for the Foundation of Constructive Mathematics. Logica Universalis 7 (3):371-402.score: 180.0
    We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory. The key concept we employ is that of a Lawvere hyperdoctrine for which we describe a notion of quotient completion. That notion includes the exact completion on a category with weak finite limits as an instance as well as examples from type theory that fall apart from this.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Douglas S. Bridges (1995). Constructive Mathematics and Unbounded Operators — a Reply to Hellman. Journal of Philosophical Logic 24 (5):549 - 561.score: 180.0
    It is argued that Hellman's arguments purporting to demonstrate that constructive mathematics cannot cope with unbounded operators on a Hilbert space are seriously flawed, and that there is no evidence that his thesis is correct.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. Mohammad Ardeshir & Rasoul Ramezanian (2012). A Solution to the Surprise Exam Paradox in Constructive Mathematics. Review of Symbolic Logic 5 (4):679-686.score: 180.0
    We represent the well-known surprise exam paradox in constructive and computable mathematics and offer solutions. One solution is based on Brouwer’s continuity principle in constructive mathematics, and the other involves type 2 Turing computability in classical mathematics. We also discuss the backward induction paradox for extensive form games in constructive logic.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Geoffrey Hellman (1997). Quantum Mechanical Unbounded Operators and Constructive Mathematics – a Rejoinder to Bridges. Journal of Philosophical Logic 26 (2):121-127.score: 174.0
    As argued in Hellman (1993), the theorem of Pour-El and Richards (1983) can be seen by the classicist as limiting constructivist efforts to recover the mathematics for quantum mechanics. Although Bridges (1995) may be right that the constructivist would work with a different definition of 'closed operator', this does not affect my point that neither the classical unbounded operators standardly recognized in quantum mechanics nor their restrictions to constructive arguments are recognizable as objects by the constructivist. Constructive (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  17. R. J. Grayson (1982). Concepts of General Topology in Constructive Mathematics and in Sheaves, II. Annals of Mathematical Logic 23 (1):55-98.score: 152.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Anne S. Troelstra (1977). Proof Theory and Constructive Mathematics. In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. 973--1052.score: 152.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Michael J. Beeson (1977). Principles of Continuous Choice and Continuity of Functions in Formal Systems for Constructive Mathematics. Annals of Mathematical Logic 12 (3):249-322.score: 152.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. R. J. Grayson (1982). A Correction to “Concepts of General Topology in Constructive Mathematics and in Sheaves”. Annals of Mathematical Logic 23 (1):99.score: 152.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Gerhard Jäger (1991). Between Constructive Mathematics and PROLOG. Archive for Mathematical Logic 30 (5-6):297-310.score: 152.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. W. W. Tait (1983). Against Intuitionism: Constructive Mathematics is Part of Classical Mathematics. [REVIEW] Journal of Philosophical Logic 12 (2):173 - 195.score: 150.0
  23. William W. Tait (2006). Gödel's Correspondence on Proof Theory and Constructive Mathematics Kurt Gödel. Collected Works. Volume IV: Selected Correspondence A–G; Volume V: Selected Correspondence H–Z. Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, and Wilfried Sieg, Eds. Oxford: Oxford University Press, 2002. Pp. Xi+ 662; Xxiii+ 664. ISBN 0-19-850073-4; 0-19-850075-0. [REVIEW] Philosophia Mathematica 14 (1):76-111.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. I. Loeb (2012). Questioning Constructive Reverse Mathematics. Constructivist Foundations 7 (2):131-140.score: 150.0
    Context: It is often suggested that the methodology of the programme of Constructive Reverse Mathematics (CRM) can be sufficiently clarified by a thorough understanding of Brouwer’s intuitionism, Bishop’s constructive mathematics, and classical Reverse Mathematics. In this paper, the correctness of this suggestion is questioned. Method: We consider the notion of a mathematical programme in order to compare these schools of mathematics in respect of their methodologies. Results: Brouwer’s intuitionism, Bishop’s constructive mathematics, and (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. Geoffrey Hellman (1993). Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem. [REVIEW] Journal of Philosophical Logic 22 (3):221 - 248.score: 150.0
  26. James Robert Brown (2003). Science and Constructive Mathematics. Analysis 63 (1):48–51.score: 150.0
  27. M. R. Koss (2012). Giovanni Sommaruga, Ed. Foundational Theories of Classical and Constructive Mathematics. Dordrecht: Springer, 2011. Isbn 978-94-007-0430-5. Pp. XI + 314. [REVIEW] Philosophia Mathematica 20 (2):267-271.score: 150.0
  28. Michael Beeson (1978). Some Relations Between Classical and Constructive Mathematics. Journal of Symbolic Logic 43 (2):228-246.score: 150.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  29. M. H. Löb (1956). Formal Systems of Constructive Mathematics. Journal of Symbolic Logic 21 (1):63-75.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  30. Hajime Ishihara (1991). Continuity and Nondiscontinuity in Constructive Mathematics. Journal of Symbolic Logic 56 (4):1349-1354.score: 150.0
    The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We show that every mapping is sequentially continuous if and only if it is sequentially nondiscontinuous and strongly extensional, and that "every mapping is strongly extensional", "every sequentially nondiscontinuous mapping is sequentially continuous", and a weak version of Markov's principle are equivalent. Also, assuming a consequence of Church's thesis, we prove a version of the Kreisel-Lacombe-Shoenfield-Tsĕitin theorem.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  31. Yvon Gauthier, Constructive Truth and Certainty in Logic and Mathematics.score: 150.0
    The theme « Truth and Certainty » is reminiscent of Hegel’s dialectic of prominent in the Phänomenologie des Geistes, but I want to treat it from a different angle in the perspective of the constructivist stance in the foundations of logic and mathematics. Although constructivism stands in opposition to mathematical realism, it is not to be considered as an idealist alternative in the philosophy of mathematics. It is true that Brouwer’s intuitionism, as a variety (...)
     
    My bibliography  
     
    Export citation  
  32. B. G. Sundholm, Tractarian Expressions and Their Use in Constructive Mathematics.score: 150.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  33. Douglas Bridges, Constructive Mathematics. Stanford Encyclopedia of Philosophy.score: 150.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. M. H. Lob (1956). Formal Systems of Constructive Mathematics. Journal of Symbolic Logic 21 (1):63 - 75.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  35. D. van Dalen (1991). Review: Douglas Bridges, Fred Richman, Varieties of Constructive Mathematics. [REVIEW] Journal of Symbolic Logic 56 (2):750-751.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Wim Ruitenburg (1991). Inequality in Constructive Mathematics. Notre Dame Journal of Formal Logic 32 (4):533-553.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. Julian C. Cole (2012). Giovanni Sommaruga (Ed.), Foundational Theories of Classical and Constructive Mathematics, Springer, The Western Ontario Series in Philosophy of Science, Vol. 76, 2011, Pp. Xi+314. ISBN 978-94-007-0430-5 (Hardcover) US $139.00. [REVIEW] Studia Logica 100 (5):1047-1050.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. J. van Oosten (2006). From Sets and Types to Topology and Analysis Towards Practicable Foundations for Constructive Mathematics (Book Review). Bulletin of Symbolic Logic 12:1-2.score: 150.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Roy T. Cook (2012). G. Sommaruga (Editor), Foundational Theories of Classical and Constructive Mathematics. Bulletin of Symbolic Logic 18 (1):128.score: 150.0
     
    My bibliography  
     
    Export citation  
  40. L. Schuster Crosilla & Jaap van Oosten (2006). REVIEWS-From Sets and Types to Topology and Analysis--Towards Practicable Foundations for Constructive Mathematics. Bulletin of Symbolic Logic 12 (4):611-612.score: 150.0
    No categories
     
    My bibliography  
     
    Export citation  
  41. Ag Dragalin (1973). Constructive Mathematics and Models of Enturnonistic Theories. In. In Patrick Suppes (ed.), Logic, Methodology and Philosophy of Science. New York,American Elsevier Pub. Co.. 111.score: 150.0
    No categories
     
    My bibliography  
     
    Export citation  
  42. Matthew Hendtlass (2012). The Intermediate Value Theorem in Constructive Mathematics Without Choice. Annals of Pure and Applied Logic 163 (8):1050-1056.score: 150.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  43. William A. Howard (1987). Review: Michael J. Beeson, Foundations of Constructive Mathematics. Metamathematical Studies. [REVIEW] Journal of Symbolic Logic 52 (1):278-279.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Hajime Ishihara (2006). Reverse Mathematics in Bishop's Constructive Mathematics. Philosophia Scientiae:43-59.score: 150.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Boris A. Kushner (1999). Hellman Geoffrey. Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem. Journal of Philosophical Logic, Vol. 22 (1993), Pp. 221–248. [REVIEW] Journal of Symbolic Logic 64 (1):397-398.score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Boris A. Kushner (1999). Review: Geoffrey Hellman, Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem; Douglas S. Bridges, Constructive Mathematics and Unbounded Operators -- A Reply to Hellman; Geoffrey Hellman, Quantum Mechanical Unbounded Operators and Constructive Mathematics -- A Rejoinder to Bridges. [REVIEW] Journal of Symbolic Logic 64 (1):397-398.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Maria Emilia Maietti (2009). A Minimalist Two-Level Foundation for Constructive Mathematics. Annals of Pure and Applied Logic 160 (3):319-354.score: 150.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  48. Brian H. Mayoh (1975). Review: A. A. Markov, On the Logic of Constructive Mathematics. [REVIEW] Journal of Symbolic Logic 40 (1):85-85.score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Maarten McKubre-Jordens (2012). Constructive Mathematics. In J. Feiser & B. Dowden (eds.), Internet Encyclopedia of Philosophy.score: 150.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Charles Parsons (1970). Review: M. H. Lob, Concatenation as Basis for a Complete System of Arithmetic; M. H. Lob, Formal Systems of Constructive Mathematics. [REVIEW] Journal of Symbolic Logic 35 (1):150-150.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000