Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Matheology § 203
Replies:
3
Last Post:
Feb 1, 2013 8:15 PM




Re: Matheology § 203
Posted:
Feb 1, 2013 10:38 AM


William Hughes <wpihughes@gmail.com> writes:
> Let P(n) be > 0.111... is not the nth line > of > > 0.1000... > 0.11000... > 0.111000... > ... > > Clearly for every natural number n > P(n) is true. > > This means there is no natural > number m for which P(m) is true. > > It is not simply that we cannot find m, > we know that m does not exist.
Futhermore WM accepts, for example, that for every natural number n, 2 * n is even.
Doesn't he?
But when asked how it is possible to know such a thing, he falls strangely silent.
 Alan Smaill



