Joan Rand
Moschovakis
Guest of the UCLA Mathematics Department
Education
- Ph.D., Mathematics, University of Wisconsin, 1965
- M.S., Mathematics, University of Wisconsin, 1961
- BA, Mathematics, UC Berkeley, Summa Cum Laude, 1959
Honors
- Woodrow Wilson and NSF Graduate Fellowships
Research Interests
- Foundations of
Intuitionistic
Analysis, Intuitionistic Interpretations of Classical
Mathematics, Classical Interpretations of Intuitionistic Mathematics
- Admissible Rules of Intuitionistic Logic
- History and Philosophy of Intuitionistic Logic
Slides
- Varieties of reverse
constructive mathematics, CUNY Computational Logic Seminar,
January 2008 (revised and expanded version of UCLA Logic Colloquium,
April 2007) reversehandout.pdf
Selected Publications and Preprints
- The Logic of Brouwer and Heyting,
to appear in the Handbook of the History of Logic, ed. Woods and
Gabbay, Oxford. logicofBandH.pdf,
logicofBandH.ps
- (with Garyfallia Vafeiadou, in
Greek): Τα ενορατικά μαθηματικά
και η
λογική τους (in Greek), to
appear. gvfjrmgr.pdf,
gvfjrmgr.ps
- (with Garyfallia Vafeiadou,
English translation):
Intuitionistic mathematics and
logic. gvfjrmeng.pdf,
gvfjrmeng.ps
- Note on Pi^0_{n+1}-LEM,
Sigma^0_{n+1}-LEM and Sigma^0_{n+1}-DNE, Proceedings
of 5th Panhellenic Logic Symposium (2005). pls5.ps
- The
effect of Markov's Principle on the intuitionistic continuum, Proceedings
of Oberwolfach Proof Theory week (April 2005). markov.ps
- Notes on the Foundations of
Constructive Mathematics, in progress (December
2006). newnotes.ps,
newnotes.pdf
- Classical and constructive
hierarchies in extended intuitionistic analysis, Journal of
Symbolic Logic 64 (2003), 1015-1043.
- Intuitionistic Logic,
revised 2003, in Stanford On-Line Encyclopedia of Philosophy.
- Analyzing realizability by Troelstra's methods, Annals of
Pure and Applied Logic 114 (2002), 203-225
- Hierarchies in Intuitionistic Arithmetic, Gjuletchica,
December 2002 : bulg02sl.ps
- A classical view of the intuitionistic continuum, Annals
of Pure and Applied Logic, 1996.
- Corrected version of An
intuitionistic theory of lawlike, choice and lawless sequences,
in Logic Colloquium '90 (ASL Helsinki), LNL 2 (1991). (The
published version had a serious systematic error, which is corrected
here.) helsinkicorr.pdf,
helsinkicorr.ps
- Relative
lawlessness in intuitionistic analysis, Journal
of Symbolic Logic, 1987.
- A topological interpretation of second-order intuitionistic
arithmetic, Compositio Mathematica, 1973. (The argument I
gave there for x27.2 without free function variables is incorrect, as
Scedrov pointed out soon afterward. Krol later gave a correct
argument for the schema with this restriction, using a more intricate
topological model, and van Dalen showed by a counterexample that the
restriction could not be removed. )
- Can There be no nonrecursive functions?, Journal of
Symbolic Logic, 1971.
Professor Moschovakis is Emerita Professor of Mathematics,
Occidental College. She
now teaches occasionally in the Graduate Program in Logic
and Algorithms at the University of Athens, Greece, where she has
enjoyed supervising the Master's Theses of Garyfallia Vafeiadou and
Nikos Vaporis.
Comments on "Notes on the Foundations of Constructive Mathematics" will
be appreciated.
Last Updated: 11/07
E-mail: joan@math.ucla.edu
UCLA
Mathematics Dept.