S. Feferman and G. Kreisel. Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 480–485. - Solomon Feferman. Persistent and invariant formulas for outer extensions. Logic and foundations of mathematics, Dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff Publishing, Groningen1968, pp. 29–52; also Compositio mathematica, vol. 20 (1968), p. 29–52.

1972 ◽  
Vol 37 (4) ◽  
pp. 764-765
Author(s):  
K. Jon Barwise
Keyword(s):  
70Th Birthday ◽  
American Mathematical Society ◽  
Higher Order ◽  
Mathematical Society ◽  
Foundations Of Mathematics

N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258(1) by Moshe Machover. American Mathematical Society translations, vol. 29 (1963), pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Vesley. The intuitionistic continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 133–173. - S. C. Kleene. On order in the continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 174–186. - S. C. Kleene. Bibliography.The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 187–199.

1966 ◽  
Vol 31 (2) ◽  
pp. 258-261 ◽  
Author(s):  
Georg Kreisel
Keyword(s):  
English Translation ◽  
American Mathematical Society ◽  
Formal System ◽  
Publishing Company ◽  
Mathematical Society ◽  
Foundations Of Mathematics ◽  
North Holland Publishing Company ◽  
Recursive Functions ◽  
North Holland Publishing ◽  
The Continuum

A Review of Professor Moore's Presidential Address

1926 ◽  
Vol 19 (3) ◽  
pp. 129-139
Author(s):  
Harry English
Keyword(s):  
Presidential Address ◽  
American Mathematical Society ◽  
Mathematical Society ◽  
Foundations Of Mathematics ◽  
University Of Chicago ◽  
Mathematical Content ◽  
The University

On December 29, 1902, Professor E. H. Moore of the University of Chicago delivered the Presidential Address before the American Mathematical Society, “On the Foundations of Mathematics.” It is with great hesitation that I make any attempt to consider this epoch-making pronouncement of the views and visions, ideals and hopes, of this noted mathematician and general thinker as regards mathematical content and methods.

scholarly journals Citations versus expert opinions: citation analysis of featured reviews of the American Mathematical Society

2021 ◽  
Vol 126 (5) ◽  
pp. 3853-3870
Author(s):  
Lawrence Smolinsky ◽  
Daniel S. Sage ◽  
Aaron J. Lercher ◽  
Aaron Cao
Keyword(s):  
Citation Analysis ◽  
American Mathematical Society ◽  
Mathematical Society ◽  
Expert Opinions
Sign in / Sign up

Export Citation Format

Share Document