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: No Identity Bijection for Omega
Replies: 116   Last Post: Sep 22, 2007 5:58 PM

 Messages: [ Previous | Next ]
 Jack Markan Posts: 6,964 Registered: 2/26/05
Re: No Identity Bijection for Omega
Posted: Sep 5, 2007 4:50 PM

On Sep 5, 1:32 pm, lwal...@lausd.net wrote:
> On Sep 4, 4:08 pm, MoeBlee <jazzm...@hotmail.com> wrote:
>

> > On Sep 4, 4:02 pm, lwal...@lausd.net wrote:
>
> > > When it comes to the various so-called "cranks,"
> > > I usually try to find some axiomatization that
> > > may suit their intuitions better.

>
> > What axiomatizations have you found?
>
> > MoeBlee
>
> For RE, none. Some so-called "cranks" make statements
> that resemble other axiomatizations,

As I said, I don't know of of any such axiomatization. And ZF-I+~I is
not such a one, since while it may be acceptable to certain cranks, it
is not ENOUGH to express and derive all that is encompassed in any of
their own views. ZF-I+~I is essentially first order PA. That doesn't
give the mathematics of real numbers in whatever form cranks work with
real numbers, nor of various algebraic structures, nor of probability
theory, etc., to whatever extent (and usually there is some extent)
cranks do work with such things.

Moreover, some cranks even explicity eschew that a theory should be
axiomatized (let alone formally, let alone recursively, axiomatized).

> All of this discussion about "internal sets" and
> hyperreals and the Transfer Principle is an attempt
> to construct a set theory in which there exist sets
> larger than any finite set, yet every set is larger
> than its proper subsets.

I've not seen any crank show any such axiomatization that does not
include the axiom of infinity. As you know, both non-standard analysis
derived from mathematical logic and IST are based on set theory with
infinite sets and with some form of choice (or at least, as far as
choice is concerned, if I'm not mistaken, some non-constructive
principle such as existence of ultrafilters).

MoeBlee

Date Subject Author
9/3/07 Russell Easterly
9/3/07 Chris Menzel
9/4/07 William Elliot
9/4/07 Russell Easterly
9/4/07 William Elliot
9/4/07 Patricia Shanahan
9/4/07 David C. Ullrich
9/4/07 Mitch
9/7/07 Russell Easterly
9/7/07 Patricia Shanahan
9/7/07 George Greene
9/7/07 Alan Smaill
9/12/07 George Greene
9/7/07 Jesse F. Hughes
9/8/07 tchow@lsa.umich.edu
9/12/07 George Greene
9/12/07 tchow@lsa.umich.edu
9/12/07 tchow@lsa.umich.edu
9/12/07 George Greene
9/7/07 lwalke3@lausd.net
9/7/07 George Greene
9/7/07 lwalke3@lausd.net
9/10/07 George Greene
9/11/07 lwalke3@lausd.net
9/11/07 George Greene
9/11/07 Jack Markan
9/11/07 George Greene
9/10/07 George Greene
9/7/07 George Greene
9/7/07 George Greene
9/7/07 Jack Markan
9/7/07 George Greene
9/7/07 Jack Markan
9/7/07 Jack Markan
9/8/07 Russell Easterly
9/8/07 Patricia Shanahan
9/8/07 lwalke3@lausd.net
9/8/07 Russell Easterly
9/8/07 Patricia Shanahan
9/8/07 Russell Easterly
9/8/07 Patricia Shanahan
9/9/07 Russell Easterly
9/9/07 Ross Finlayson
9/9/07 Patricia Shanahan
9/9/07 Russell Easterly
9/9/07 Patricia Shanahan
9/9/07 Jesse F. Hughes
9/9/07 Russell Easterly
9/9/07 Russell Easterly
9/10/07 Jesse F. Hughes
9/10/07 Patricia Shanahan
9/10/07 Russell Easterly
9/10/07 Patricia Shanahan
9/12/07 Russell Easterly
9/12/07 Jack Markan
9/10/07 Jack Markan
9/10/07 Russell Easterly
9/10/07 William Hughes
9/11/07 Russell Easterly
9/11/07 William Hughes
9/10/07 Jesse F. Hughes
9/11/07 Jack Markan
9/11/07 Russell Easterly
9/12/07 George Greene
9/12/07 Jack Markan
9/12/07 Russell Easterly
9/12/07 William Hughes
9/13/07 Russell Easterly
9/13/07 William Hughes
9/13/07 Russell Easterly
9/13/07 William Hughes
9/13/07 Jesse F. Hughes
9/13/07 Jack Markan
9/17/07 Jack Markan
9/17/07 Russell Easterly
9/17/07 William Hughes
9/18/07 Jesse F. Hughes
9/19/07 Russell Easterly
9/19/07 William Hughes
9/19/07 George Greene
9/19/07 Jesse F. Hughes
9/18/07 Jack Markan
9/20/07 Russell Easterly
9/20/07 William Hughes
9/20/07 Jesse F. Hughes
9/22/07 reasterly@gmail.com
9/13/07 George Greene
9/10/07 George Greene
9/10/07 Jack Markan
9/8/07 Jesse F. Hughes
9/8/07 Patricia Shanahan
9/8/07 William Hughes
9/10/07 Jack Markan
9/9/07 David R Tribble
9/4/07 George Greene
9/4/07 George Greene
9/4/07 William Hughes
9/4/07 Schroeder
9/4/07 Jack Markan
9/4/07 lwalke3@lausd.net
9/4/07 Jack Markan
9/4/07 G. Frege
9/5/07 Peter Webb
9/5/07 Jack Markan
9/5/07 Daryl McCullough
9/5/07 G. Frege
9/6/07 Jack Markan
9/7/07 hagman
9/7/07 lwalke3@lausd.net
9/7/07 Jack Markan
9/7/07 lwalke3@lausd.net
9/5/07 lwalke3@lausd.net
9/5/07 Jack Markan
9/5/07 herb z
9/5/07 Jack Markan
9/6/07 herb z
9/6/07 Jack Markan