M
Michael Beeson
Researcher at San Jose State University
Publications - 74
Citations - 1846
Michael Beeson is an academic researcher from San Jose State University. The author has contributed to research in topics: Mathematical proof & Axiom. The author has an hindex of 16, co-authored 73 publications receiving 1792 citations. Previous affiliations of Michael Beeson include University of Texas at Austin & Stanford University.
Papers
More filters
Book
Foundations of Constructive Mathematics: Metamathematical Studies
TL;DR: Theoretical foundations of constructive mathematics can be found in this article, where the authors discuss the role of formal systems in Foundational Studies in Constructive Mathematics and discuss the importance of set theory.
Book ChapterDOI
Design principles of Mathpert: software to support education in algebra and calculus
TL;DR: This paper lists eight design criteria that must be met if the authors are to provide successful computer support for education in algebra, trigonometry, and calculus and describes Mathpert, a piece of software built with these criteria in mind.
Book ChapterDOI
Proving Programs and Programming Proofs
TL;DR: This chapter raises some issues and makes a technical contribution by considering some theories of Feferman from the viewpoint of computer science, and comparing them with the theories of Martin-Lőf.
Journal ArticleDOI
Recursive models for constructive set theories
TL;DR: It is shown that for implication-free formulae of HAω, satisfaction in the model coincides with mr-HEO realizability, and this model is extended to a recursive model of the constructive set theories of Myhill and Friedman.