Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Matheology § 258
Replies: 29   Last Post: Apr 27, 2013 7:43 PM

 Messages: [ Previous | Next ]
 fom Posts: 1,968 Registered: 12/4/12
Re: Matheology § 258
Posted: Apr 25, 2013 8:49 PM

On 4/25/2013 3:53 AM, WM wrote:
>
> Nobody can read, write or use an infinite string.
> Real numbers are represented by *finite names*

The names might be COMPACT (WM really should learn
the difference), but what is presupposed by
Leibniz principle of identity of indiscernibles
is a different matter:

"All existential propositions, though true,
are not necessary, for they cannot be
proved unless an infinity of propositions
is used, i.e., unless an analysis is
carried to infinity. That is, they can
be proved only from the complete concept
of an individual, which involves infinite
existents. Thus, if I say, "Peter denies",
understanding this of a certain time, then
there is presupposed also the nature of
that time, which also involves all that
exists at that time. If I say "Peter
denies" indefinitely, abstracting from
time, then for this to be true -- whether
he has denied, or is about to deny --
it must nevertheless be proved from the
concept of Peter. But the concept of
Peter is complete, and so involves infinite
things; so one can never arrive at a
perfect proof, but one always approaches
it more and more, so that the difference
is less than any given difference."

Leibniz

WM has been asked to provide coherent systems of
logic against which to judge his statements.
Instead, he uses the axioms he denies and the
principles he rejects.

http://en.wikipedia.org/wiki/Doxastic#Types_of_reasoners

see "peculiar reasoner"

Date Subject Author
4/23/13 mueckenh@rz.fh-augsburg.de
4/23/13 Virgil
4/24/13 Scott Berg
4/24/13 Virgil
4/25/13 mueckenh@rz.fh-augsburg.de
4/25/13 fom
4/25/13 mueckenh@rz.fh-augsburg.de
4/25/13 YBM
4/25/13 mueckenh@rz.fh-augsburg.de
4/25/13 Virgil
4/25/13 Virgil
4/25/13 fom
4/25/13 fom
4/26/13 Virgil
4/25/13 Virgil
4/25/13 Virgil
4/25/13 Virgil
4/25/13 fom
4/26/13 Virgil
4/26/13 Scott Berg
4/27/13 mueckenh@rz.fh-augsburg.de
4/27/13 Virgil
4/27/13 mueckenh@rz.fh-augsburg.de
4/27/13 Scott Berg
4/27/13 Virgil
4/27/13 mueckenh@rz.fh-augsburg.de
4/27/13 Virgil
4/27/13 ross.finlayson@gmail.com
4/27/13 Virgil
4/24/13 FredJeffries@gmail.com