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 § 255
Replies: 69   Last Post: Apr 24, 2013 9:49 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
mueckenh@rz.fh-augsburg.de

Posts: 16,178
Registered: 1/29/05
Matheology § 255
Posted: Apr 20, 2013 4:16 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Matheology § 255

Let S = (1), (1, 2), (1, 2, 3), ... be a sequence of all finite
initial sets s_n = (1, 2, 3, ..., n) of natural numbers n.

Every natural number is in some term of S.
U s_n = |N
forall n exists i : n e s_i.

S is constructed by adding s_(i+1) after s_(i). So we have
(1) forall n, forall i : (n < i <==> ~(n e s_i)) & (n >= i <==> n e
s_i).

There is no term s_n of S that contains all natural numbers. This
condition requires
(2) exist j, k, m, n : m e s_j & ~(m e s_k) & ~(n e s_j) & n e s_k.

(2) is in contradiction with (1).

A better readable version is in § 255 of
http://www.hs-augsburg.de/~mueckenh/KB/Matheology.pdf

Regards, WM



Date Subject Author
4/20/13
Read Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology � 255
David C. Ullrich
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
Bergholt Stuttley Johnson
4/20/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology � 255
Virgil
4/21/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/21/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: WMytheology Sucks
Virgil
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
fom
4/21/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/21/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology � 255
Virgil
4/21/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/21/13
Read Re: Matheology § 255
fom
4/21/13
Read Re: Matheology � 255
Virgil
4/22/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/22/13
Read Re: Matheology � 255
Virgil
4/23/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/23/13
Read Re: Matheology � 255
Virgil
4/24/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/24/13
Read Re: Matheology � 255
Virgil
4/24/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/24/13
Read Re: Matheology � 255
Virgil
4/24/13
Read Re: Matheology § 255
fom
4/23/13
Read Re: Matheology § 255
gus gassmann
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology § 255
mueckenh@rz.fh-augsburg.de
4/20/13
Read Re: Matheology § 255
fom
4/20/13
Read Re: Matheology � 255
Virgil
4/20/13
Read Re: Matheology � 255
Virgil

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.