Michael Beeson

from Wikipedia, the free encyclopedia

Michael J. Beeson (born August 19, 1945 in Topeka , Kansas ) is an American mathematician and computer scientist who specializes in constructive mathematics .

Michael Beeson studied physics and mathematics at Caltech with a bachelor's degree in 1967 and at Stanford University , where he turned to mathematical logic under Dana Scott and received his doctorate in 1972 under Harvey Friedman and Georg Kreisel (Metamathematics of constructive theories of effective operations). His academic teachers there included Solomon Feferman and John McCarthy . He then taught at the University of California, Santa Cruz (UCSC), was at the University of Texas at Austin in 1974 and was Visiting Assistant Professor at Stanford in 1975/76 . In 1976 he was at the University of Amsterdam , was a visiting researcher in Bonn (where he dealt with minimal surfaces ) and Berkeley and spent a long time at the University of Utrecht . From 1981 he was Professor of Computer Science at San José State University , initially teaching part-time at UCSC. He retired in 2013.

From 1985 to 1997 he developed the MathXpert program, an educational mathematics software for learning algebra and analysis , which he also sells. Then he dealt with automatic proof systems ( lambda calculus implemented in the Otter proof system). He also deals with minimal surfaces (which he heard about as a student from Robert Osserman and Robert Finn ).

Beeson has also been involved with Indian music since his student days (for which he also visited India ) and studied the sitar . He has been married to the Dutch psychologist Henny Nijland since 1980, with whom he has two daughters.

Fonts

  • Foundations of Constructive Mathematics: metamathematical studies, Springer 1985, ISBN 0-387-12173-0
  • Continuity in intuitionistic set theories, Mathematisch Instituut Amsterdam, 1977
  • On the area of ​​harmonic surfaces, Mathematisch Instituut Amsterdam, 1977
  • Extensionality and choice in constructive mathematics, Mathematisch Instituut Amsterdam, 1976,

Web links

Literature by and about Michael Beeson in the WorldCat bibliographic database

Individual evidence

  1. ↑ Michael Beeson in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
personal data
SURNAME Beeson, Michael
ALTERNATIVE NAMES Beeson, Michael J.
BRIEF DESCRIPTION American mathematician and computer scientist
DATE OF BIRTH August 19, 1945
PLACE OF BIRTH Topeka , Kansas