Here are the latest addenda :
One motive for Frege’s choice was again generality:
Does not the ground of arithmetic
lie deeper than that of all
empirical knowledge, deeper even than that of geometry?
-- I. Grattan-Guinness, The
Search for Mathematical Roots 1870 - 1940 (2000), p. 184
… [Cantor’s] remarks on functions
of several variables (where the provability of theorems was deepening the level of rigour in analysis)
-- I. Grattan-Guinness, The
Search for Mathematical Roots 1870 - 1940 (2000), p. 223
~
In set theory, a forcing
extension in Cohen’s sense is
reminiscent of algebraic extensions of a field, but
… the forcing method is far more complex, both conceptually and technically,
involving set-theoretic, combinatorial, topological, logical, and metamathematical
aspects.
-- Joan Bagaria “Set Theory”, in Timothy Gowers, ed., The
Princeton Companion to Mathematics (2008), p. 625
No comments:
Post a Comment