scholarly journals 2. A Mathematical Experience in a BIG Career by Kelly B. Yancey

2021 ◽  
Vol 68 (04) ◽  
pp. 1
Author(s):  
Kelly B. Yancey
Author(s):  
Philip J. Davis ◽  
Reuben Hersh ◽  
Elena Anne Marchisotto

Author(s):  
Wilfried Sieg

Mathematical structuralism is deeply connected with Hilbert and Bernays’s proof theory and its programmatic aim to ensure the consistency of all of mathematics. That aim was to be reached on the basis of finitist mathematics. Gödel’s second incompleteness theorem forced a step from absolute finitist to relative constructivist proof-theoretic reductions. This mathematical step was accompanied by philosophical arguments for the special nature of the grounding constructivist frameworks. Against that background, this chapter examines Bernays’s reflections on proof-theoretic reductions of mathematical structures to methodological frames via projections. However, these reflections are focused on narrowly arithmetic features of frames. Drawing on broadened meta-mathematical experience, this chapter proposes a more general characterization of frames that has ontological and epistemological significance. The characterization is given in terms of accessibility: domains of objects are accessible if their elements are inductively generated, and principles for such domains are accessible if they are grounded in our understanding of the generating processes.


2001 ◽  
Vol 12 (2) ◽  
pp. 239-252 ◽  
Author(s):  
Wolff-Michael Roth

2011 ◽  
Vol 80 (1-2) ◽  
pp. 185-199 ◽  
Author(s):  
Margaret Walshaw ◽  
Tony Brown

1974 ◽  
Vol 67 (8) ◽  
pp. 693-694
Author(s):  
Ward R. Stewart

HIT, MISS, BULL'S-EYE is a contest of chance and strategy in which two players try to discover each other's secret number. With very simple rules, the game offers strategic challenge to students of widely differing mathematical experience.


Sign in / Sign up

Export Citation Format

Share Document