Chapter 22
Paradox and Axiomatic Systems
IN THIS CHAPTER
Grasping the basics of set theory and Russell’s paradox
Seeing how the SL axiomatic system measures up
Appreciating consistency and completeness
Limiting mathematics with Gödel’s incompleteness theorem
Consider the following statement:
This statement is false.
If the statement is true, then it must be false. However, if it’s false, it must be true. This problem, called the liar paradox, dates back to the Greeks.
At first glance, the liar paradox seems no more than a curiosity. But paradoxes like this one have surfaced and resurfaced in various forms, causing trouble for logicians and challenging them to search for ways to resolve the trouble.
In this chapter, I explain Russell’s paradox (a modification of the liar paradox), which forced logicians to undertake a radical restructuring of the foundations of set theory and logic. This paradox leads to a discussion of Principia Mathematica, which is an attempt to formulate set theory, logic, and ultimately all of math based upon a set of assumptions called axioms. You also see ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access