Order:
Disambiguations
Michael J. Beeson [12]Michael Beeson [9]M. Beeson [3]Mark Beeson [1]
M. J. Beeson [1]
  1. Booms, Busts and Parochialism.Mark Beeson - 2016 - Thesis Eleven 135 (1):51-66.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  8
    A Constructive Version of Tarski's Geometry.Michael Beeson - 2015 - Annals of Pure and Applied Logic 166 (11):1199-1273.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3. Derived Rules of Inference Related to the Continuity of Effective Operations.Michael J. Beeson - 1976 - Journal of Symbolic Logic 41 (2):328-336.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  8
    Principles of Continuous Choice and Continuity of Functions in Formal Systems for Constructive Mathematics.Michael J. Beeson - 1977 - Annals of Mathematical Logic 12 (3):249-322.
  5.  9
    Recursive Models for Constructive Set Theories.M. Beeson - 1982 - Annals of Mathematical Logic 23 (2-3):127-178.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  6.  12
    The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations.Michael J. Beeson - 1975 - Journal of Symbolic Logic 40 (3):321-346.
  7.  37
    Double-Negation Elimination in Some Propositional Logics.Michael Beeson, Robert Veroff & Larry Wos - 2005 - Studia Logica 80 (2-3):195-234.
    This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none of its deduced steps contains a term of the formn(n(t)) for some term t, where n denotes negation. The first question asks for conditions on the hypotheses that, if satisfied, guarantee the existence of a double-negation-free proof when the conclusion is free of double negation. The second question asks about the existence (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  8.  19
    The Unprovability in Intuitionistic Formal Systems of the Continuity of Effective Operations on the Reals.Michael Beeson - 1976 - Journal of Symbolic Logic 41 (1):18-24.
  9.  7
    Church's Thesis, Continuity, and Set Theory.M. Beeson & A. Ščedrov - 1984 - Journal of Symbolic Logic 49 (2):630-643.
    Under the assumption that all "rules" are recursive (ECT) the statement $\operatorname{Cont}(N^N,N)$ that all functions from N N to N are continuous becomes equivalent to a statement KLS in the language of arithmetic about "effective operations". Our main result is that KLS is underivable in intuitionistic Zermelo-Fraenkel set theory + ECT. Similar results apply for functions from R to R and from 2 N to N. Such results were known for weaker theories, e.g. HA and HAS. We extend not only (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  10.  22
    Reality and Truth in Mathematics.M. Beeson - 1998 - Philosophia Mathematica 6 (2):131-168.
    Brouwer's positions about existence (reality) and truth are examined in the light of ninety years of scientific progress. Relevant results in proof theory, recursion theory, set theory, relativity, and quantum mechanics are used to cast light on the following philosophical questions: What is real, and how do we know it? What does it mean to say a thing exists? Can things exist that we can't know about? Can things exist that we don't know how to find? What does it mean (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  11.  23
    Some Relations Between Classical and Constructive Mathematics.Michael Beeson - 1978 - Journal of Symbolic Logic 43 (2):228-246.
  12.  9
    Logic of Ruler and Compass Constructions.Michael Beeson - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 46--55.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  3
    Constable R. L., Allen S. F., Bromley H. M., Cleaveland W. R., Cremer J. F., Harper R. W., Howe D. J., Knoblock T. B., Mendler N. P., Panangaden P., Sasaki J. T., and Smith S. F.. Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall, Englewood Cliffs, N. J., 1986, X + 299 Pp. [REVIEW]Michael J. Beeson - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
  14.  2
    Constructive Geometry and the Parallel Postulate.Michael Beeson - 2016 - Bulletin of Symbolic Logic 22 (1):1-104.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  9
    A Type-Free Gödel Interpretation.Michael Beeson - 1978 - Journal of Symbolic Logic 43 (2):213-227.
  16.  7
    Book Review: A. S. Troelstra and D. Van Dalen. Constructivism in Mathematics , Vols. 1 And. [REVIEW]Michael J. Beeson - 1991 - Notre Dame Journal of Formal Logic 32 (2):320-322.
  17.  3
    Review: R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, S. F. Smith, Implementing Mathematics with the Nuprl Proof Development System. [REVIEW]Michael J. Beeson - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
  18.  1
    Wos Larry, Overbeek Ross, Lusk Ewing, and Boyle Jim. Automated Reasoning. Introduction and Applications. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1984, Xiv + 482 Pp. [REVIEW]Michael J. Beeson - 1986 - Journal of Symbolic Logic 51 (2):464-465.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Herbrand’s Theorem and Non-Euclidean Geometry.Michael Beeson, Pierre Boutry & Julien Narboux - 2015 - Bulletin of Symbolic Logic 21 (2):111-122.
  20. Review: Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle, Automated Reasoning. Introduction and Applications. [REVIEW]Michael J. Beeson - 1986 - Journal of Symbolic Logic 51 (2):464-465.
  21. Computerzing Mathematics: Logic and Computation.J. C. Shepherdson & Michael J. Beeson - 1991 - Journal of Symbolic Logic 56 (3):1090.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography