BuyFindarrow_forward

Discrete Mathematics With Applicat...

5th Edition
EPP + 1 other
ISBN: 9781337694193

Solutions

Chapter
Section
BuyFindarrow_forward

Discrete Mathematics With Applicat...

5th Edition
EPP + 1 other
ISBN: 9781337694193
Textbook Problem
1 views

As strange as it may seem, it is possible to give a precise-looking verbal definition of an integer that, in fact, is not a definition at all. The following was devised by an English librarian, G. G. Berry, and reported by Bertrand Russell. Explain how it leads to a contradiction. Let n be “the smallest integer not describable in fewer than 12 English words.” (Note that the total number of strings consisting of 11 or fewer English words is finite.)

To determine

As strange as it may seem, it is possible to give a precise-looking verbal definition of an integer that, in fact, is not a definition at all. The following was devised by an English librarian, G. G. Berry, and reported by Bertrand Russell. Explain how it leads to a contradiction. Let n be “the smallest integer not describable in fewer than 12 English words”. (Note that the total number of strings consisting of 11 or fewer English words is finite).

Explanation

Given information:

The letter n denotes the smallest integer not describable in fewer than 12 English words.

Concept used:

Note that, there is a self-reference in the description of n and there is finite number of strings consisting of 11 or fewer words.

Calculation:

That means, finitely many phrases can be formed with fewer than 12 words.

So, there must be finite number of strings that describe integers.

Thus, there are finitely many integers that can be defined by phrases of fewer than 12 words.

But, there are infinitely many integers. It means that, there are some integers that cannot be defined by phrases of fewer than 12 words

Still sussing out bartleby?

Check out a sample textbook solution.

See a sample solution

The Solution to Your Study Problems

Bartleby provides explanations to thousands of textbook problems written by our experts, many with advanced degrees!

Get Started
Sect-6.1 P-11TYSect-6.1 P-1ESSect-6.1 P-2ESSect-6.1 P-3ESSect-6.1 P-4ESSect-6.1 P-5ESSect-6.1 P-6ESSect-6.1 P-7ESSect-6.1 P-8ESSect-6.1 P-9ESSect-6.1 P-10ESSect-6.1 P-11ESSect-6.1 P-12ESSect-6.1 P-13ESSect-6.1 P-14ESSect-6.1 P-15ESSect-6.1 P-16ESSect-6.1 P-17ESSect-6.1 P-18ESSect-6.1 P-19ESSect-6.1 P-20ESSect-6.1 P-21ESSect-6.1 P-22ESSect-6.1 P-23ESSect-6.1 P-24ESSect-6.1 P-25ESSect-6.1 P-26ESSect-6.1 P-27ESSect-6.1 P-28ESSect-6.1 P-29ESSect-6.1 P-30ESSect-6.1 P-31ESSect-6.1 P-32ESSect-6.1 P-33ESSect-6.1 P-34ESSect-6.1 P-35ESSect-6.1 P-36ESSect-6.1 P-37ESSect-6.1 P-38ESSect-6.2 P-1TYSect-6.2 P-2TYSect-6.2 P-3TYSect-6.2 P-4TYSect-6.2 P-5TYSect-6.2 P-6TYSect-6.2 P-1ESSect-6.2 P-2ESSect-6.2 P-3ESSect-6.2 P-4ESSect-6.2 P-5ESSect-6.2 P-6ESSect-6.2 P-7ESSect-6.2 P-8ESSect-6.2 P-9ESSect-6.2 P-10ESSect-6.2 P-11ESSect-6.2 P-12ESSect-6.2 P-13ESSect-6.2 P-14ESSect-6.2 P-15ESSect-6.2 P-16ESSect-6.2 P-17ESSect-6.2 P-18ESSect-6.2 P-19ESSect-6.2 P-20ESSect-6.2 P-21ESSect-6.2 P-22ESSect-6.2 P-23ESSect-6.2 P-24ESSect-6.2 P-25ESSect-6.2 P-26ESSect-6.2 P-27ESSect-6.2 P-28ESSect-6.2 P-29ESSect-6.2 P-30ESSect-6.2 P-31ESSect-6.2 P-32ESSect-6.2 P-33ESSect-6.2 P-34ESSect-6.2 P-35ESSect-6.2 P-36ESSect-6.2 P-37ESSect-6.2 P-38ESSect-6.2 P-39ESSect-6.2 P-40ESSect-6.2 P-41ESSect-6.2 P-42ESSect-6.2 P-43ESSect-6.2 P-44ESSect-6.3 P-1TYSect-6.3 P-2TYSect-6.3 P-3TYSect-6.3 P-1ESSect-6.3 P-2ESSect-6.3 P-3ESSect-6.3 P-4ESSect-6.3 P-5ESSect-6.3 P-6ESSect-6.3 P-7ESSect-6.3 P-8ESSect-6.3 P-9ESSect-6.3 P-10ESSect-6.3 P-11ESSect-6.3 P-12ESSect-6.3 P-13ESSect-6.3 P-14ESSect-6.3 P-15ESSect-6.3 P-16ESSect-6.3 P-17ESSect-6.3 P-18ESSect-6.3 P-19ESSect-6.3 P-20ESSect-6.3 P-21ESSect-6.3 P-22ESSect-6.3 P-23ESSect-6.3 P-24ESSect-6.3 P-25ESSect-6.3 P-26ESSect-6.3 P-27ESSect-6.3 P-28ESSect-6.3 P-29ESSect-6.3 P-30ESSect-6.3 P-31ESSect-6.3 P-32ESSect-6.3 P-33ESSect-6.3 P-34ESSect-6.3 P-35ESSect-6.3 P-36ESSect-6.3 P-37ESSect-6.3 P-38ESSect-6.3 P-39ESSect-6.3 P-40ESSect-6.3 P-41ESSect-6.3 P-42ESSect-6.3 P-43ESSect-6.3 P-44ESSect-6.3 P-45ESSect-6.3 P-46ESSect-6.3 P-47ESSect-6.3 P-48ESSect-6.3 P-49ESSect-6.3 P-50ESSect-6.3 P-51ESSect-6.3 P-52ESSect-6.3 P-53ESSect-6.3 P-54ESSect-6.4 P-1TYSect-6.4 P-2TYSect-6.4 P-3TYSect-6.4 P-1ESSect-6.4 P-2ESSect-6.4 P-3ESSect-6.4 P-4ESSect-6.4 P-5ESSect-6.4 P-6ESSect-6.4 P-7ESSect-6.4 P-8ESSect-6.4 P-9ESSect-6.4 P-10ESSect-6.4 P-11ESSect-6.4 P-12ESSect-6.4 P-13ESSect-6.4 P-14ESSect-6.4 P-15ESSect-6.4 P-16ESSect-6.4 P-17ESSect-6.4 P-18ESSect-6.4 P-19ESSect-6.4 P-20ESSect-6.4 P-21ESSect-6.4 P-22ESSect-6.4 P-23ESSect-6.4 P-24ESSect-6.4 P-25ESSect-6.4 P-26ESSect-6.4 P-27ESSect-6.4 P-28ESSect-6.4 P-29ES