6
$\begingroup$

I am reading Michael Sipser's book Introduction to the Theory of Computation, which mentions the set $$S = \{ n \mid \text{$n$ is an integer and $n = n + 1$}\}.$$ This doesn't make any sense to me. I would understand if $n$ were equal to infinity or something, so it probably wouldn't matter if we added $1$ to it. Am I understanding it correctly? Or is this just an empty set?

$\endgroup$

2 Answers 2

18
$\begingroup$

But infinity isn't an integer. Since there is no integer $n$ such that $n=n+1$, you're right that the set is empty.

$\endgroup$
-1
$\begingroup$

This is an empty set which is usually denoted by {}. In this case, the integer n is equal to itself while incremented by 1 which is mathematically impossible. Thus, this is an empty set.

EX: n = 2, then n = n + 1, 2 = 2 + 1. This is impossible.

$\endgroup$
3
  • 1
    $\begingroup$ Why those downvotes ? $\endgroup$
    – user16034
    Sep 3 at 18:35
  • 2
    $\begingroup$ This is an ancient question that already had a better answer. $\endgroup$
    – Kai
    Sep 4 at 4:23
  • $\begingroup$ (downvoters please comment what in particular makes a post not useful.) $\endgroup$
    – greybeard
    Sep 4 at 5:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.