O'Reilly logo

The Search for Mathematical Roots, 1870-1940 by I. Grattan-Guinness

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

CHAPTER 9

Postludes: Mathematical Logic and Logicism in the 1930s

9.1 PLAN OF THE CHAPTER

As noted in §8.1, this chapter contains rather less detail than before; for example, most details after 1935 round off old stories rather than launch new ones. Other philosophical schools, especially formalism (where I follow authors who used the word) and intuitionism, are treated lightly.

To start, §9.2 focuses upon Gödel’s incompletability theorem and corollary (as his second result is often called), and the first reactions to them. §9.3 takes the Vienna Circle: Carnap dominates, but we find two new figures and two others already met. §9.4 covers the U.S.A., whither several Circle members had to emigrate after 1933, and also W. V. Quine emerged; in addition, ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required