Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math

Topic: Matheology § 238
Replies: 210   Last Post: Apr 13, 2013 4:21 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
fom

Posts: 1,968
Registered: 12/4/12
Re: Matheology § 238
Posted: Apr 10, 2013 4:33 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On 4/10/2013 3:00 PM, WM wrote:

<snip>

> In fact I can use induction to show that actual infinity is nonsense:

Yes. But, you must do it for each and every
mathematical statement individually.

What follows is the explanation for the
first-order axiomatization of Peano arithmetic
from wikipedia.

If you even had any concept of the ideas you
try to purport, you might have some conception
of how mathematics addresses questions, how others
have investigated these matters, and how ridiculous
statements such as the one above appear.

====================================================

In Peano arithmetic, the first-order induction axiom
for phi is the sentence

Ay_1...Ay_k ((phi(0,<y_1, ..., y_k>) /\
(Ax(phi(x,<y_1, ..., y_k>) -> phi(S(x),<y_1, ..., y_k>)))) ->
Ax(phi(x,<y_1, ..., y_k>)))

The first-order induction schema includes every instance
of the first-order induction axiom, that is, it includes
the induction axiom for every formula phi.

This schema avoids quantification over sets of natural
numbers, which is impossible in first-order logic. For
instance, it is not possible in first-order logic to say
that any set of natural numbers containing 0 and closed
under successor is the entire set of natural numbers.
What can be expressed is that any definable set of natural
numbers has this property. Because it is not possible to
quantify over definable subsets explicitly with a single
axiom, the induction schema includes one instance of the
induction axiom for every definition of a subset of the
naturals.

=====================================================

It is not about belief

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

see 'conceited reasoner'




Date Subject Author
4/6/13
Read Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
Bergholt Stuttley Johnson
4/6/13
Read Re: Matheology § 238
William Hughes
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
Bergholt Stuttley Johnson
4/6/13
Read Re: Matheology § 238
William Hughes
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
fom
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
Bergholt Stuttley Johnson
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
fom
4/6/13
Read Re: Matheology § 238
William Hughes
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
William Hughes
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
William Hughes
4/6/13
Read Re: Matheology � 238
Virgil
4/7/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/7/13
Read Re: Matheology § 238
William Hughes
4/7/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/7/13
Read Re: Matheology § 238
William Hughes
4/7/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/7/13
Read Re: Matheology § 238
William Hughes
4/7/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/7/13
Read Re: Matheology § 238
fom
4/7/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/9/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/9/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/9/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology § 238
William Hughes
4/9/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/9/13
Read Re: Matheology § 238
William Hughes
4/9/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/9/13
Read Re: Matheology § 238
William Hughes
4/9/13
Read Re: Matheology § 238
Tanu R.
4/9/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/9/13
Read Re: Matheology § 238
William Hughes
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology § 238
William Hughes
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
William Hughes
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
William Hughes
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
William Hughes
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
William Hughes
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
William Hughes
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
William Hughes
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
William Hughes
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
William Hughes
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
William Hughes
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
William Hughes
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
William Hughes
4/12/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/12/13
Read Re: Matheology § 238
William Hughes
4/12/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/12/13
Read Re: Matheology § 238
fom
4/12/13
Read Re: Matheology � 238
Virgil
4/12/13
Read Re: Matheology § 238
fom
4/12/13
Read Re: Matheology § 238
William Hughes
4/12/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/12/13
Read Re: Matheology § 238
William Hughes
4/12/13
Read Re: Matheology § 238
Tanu R.
4/13/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/13/13
Read Re: Matheology � 238
Virgil
4/12/13
Read Re: Matheology � 238
Virgil
4/13/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/13/13
Read Re: Matheology § 238
fom
4/13/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/13/13
Read Re: Matheology § 238
fom
4/13/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/13/13
Read Re: Matheology § 238
fom
4/13/13
Read Re: Matheology � 238
Virgil
4/13/13
Read Re: Matheology � 238
Virgil
4/13/13
Read Re: Matheology � 238
Virgil
4/12/13
Read Re: Matheology � 238
Virgil
4/12/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/12/13
Read Re: Matheology � 238
Virgil
4/12/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/12/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/12/13
Read Re: Matheology § 238
fom
4/12/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology § 238
fom
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
fom
4/10/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
dan.ms.chaos@gmail.com
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
dan.ms.chaos@gmail.com
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
fom
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
fom
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
fom
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
fom
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
fom
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
fom
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/9/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology § 238
Tanu R.
4/8/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology § 238
Tanu R.
4/8/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology � 238
Virgil
4/7/13
Read Re: Matheology � 238
Virgil
4/7/13
Read Re: Matheology � 238
Virgil
4/7/13
Read Re: Matheology § 238
fom
4/7/13
Read Re: Matheology � 238
Virgil
4/7/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
fom
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
fom
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
fom
4/6/13
Read Re: Matheology § 238
Bergholt Stuttley Johnson
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
namducnguyen
4/6/13
Read Re: Matheology § 238
namducnguyen
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
fom
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
fom

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.