Subsystems of Second Order Arithmetic (Perspectives in Logic)

Subsystems of Second Order Arithmetic (Perspectives in Logic), 9780521884396 (052188439X), Cambridge University Press, 2009

Foundations of mathematics is the study of the most basic concepts and logical structure ofmathematics, with an eye to the unity of human knowl- edge. Among the most basic mathematical concepts are: number, shape, set, function, algorithm, mathematical axiom, mathematical definition, and mathematical proof. Typical questions in foundations of mathemat- ics include: What is a number? What is a shape? What is a set? What is a function? What is an algorithm? What is a mathematical axiom? What is a mathematical definition? What is a mathematical proof ? What are the most basic concepts of mathematics? What is the logical structure of mathematics? What are the appropriate axioms for numbers? What are the appropriate axioms for shapes? What are the appropriate axioms for sets? What are the appropriate axioms for functions?

Obviously, foundations ofmathematics is a subject of the greatestmath- ematical and philosophical importance. Beyond this, foundations of mathematics is a rich subject with a long history, going back to Aristotle and Euclid and continuing in the hands of outstanding modern figures such as Descartes, Cauchy,Weierstraß, Dedekind, Peano, Frege, Russell, Cantor,Hilbert, Brouwer,Weyl, vonNeumann, Skolem, Tarski, Heyting, and G¨odel. An excellent reference for the modern era in foundations of mathematics is van Heijenoort [272].

In the late 19th and early 20th centuries, virtually all leadingmathemati- cians were intensely interested in foundations of mathematics and spoke and wrote extensively on this subject. Today that is no longer the case. Regrettably, foundations of mathematics is now out of fashion. Today, most of the leadingmathematicians are ignorant of foundations and focus mostly on structural questions. Today, foundations of mathematics is out of favor even amongmathematical logicians, the majority of whom prefer to concentrate on methodological or other non-foundational issues.

Comments

Amazing Books

My Job Went to India: 52 Ways to Save Your Job (Pragmatic Programmers)

Pragmatic Bookshelf, 2005

You've already lost your job. You may still be drawing a paycheck, but the job you were hired to do no longer exists. Your company has changed, the technology has changed, the economy has changed, and the ways you can add value have changed. Have you adapted to these changes? Or are you at risk?

Architect your...

Locating Maldivian Women’s Mosques in Global Discourses

Palgrave Macmillan, 2019

In this ethnographic examination of women’s mosques in the Maldives, anthropologist Jacqueline H. Fewkes probes how the existence of these separate buildings?where women lead prayers for other women?intersect with larger questions about gender, space, and global Muslim communities. Bringing together ethnographic insight with...

Java Threads, Second Edition

O'Reilly, 1999

This book is intended for programmers of all levels who need to learn to use threads within Java programs. The first few chapters of the book deal with the issues of threaded programming in Java, starting at a basic level: no assumption is made that the developer has had any experience in threaded programming. As the chapters progress, the material...

Psychotherapy Relationships that Work: Volume 2: Evidence-Based Therapist Responsiveness

Oxford University Press, 2019

First published in 2002, the landmark Psychotherapy Relationships That Work broke new ground by focusing renewed and corrective attention on the substantial research behind the crucial (but often overlooked) client-therapist relationship. This highly cited, widely adopted classic is now presented in two volumes: Evidence-based...

Cross-Platform GUI Programming with wxWidgets (Bruce Perens Open Source)

Prentice Hall, 2005

"This book is the best way for beginning developers to learn wxWidgets programming in C++. It is a must-have for programmers thinking of using wxWidgets and those already using it."

—Mitch Kapor, founder of Lotus Software and the Open Source Applications Foundation

Build advanced...

Bacteriology of Humans: An Ecological Perspective

John Wiley & Sons, 2008

Until recently, the indigenous microbiota of humans has been a relatively neglected area of microbiology with most attention being focused on those microbes that cause disease in humans, rather than on those that co-exist with us in the disease-free state. However, in the past decade research has shown that not only is the indigenous microbiota...