On Wednesday, February 26, 2014 12:03:05 AM UTC-5, William Elliot wrote: > On Tue, 25 Feb 2014, Dan Christensen wrote: > > > > > See "Infinity: The Story So Far" at my math blog > > > http://dcproof.wordpress.com/ > > > > Cut an paste it here, I've not the time to go searching > > through blogs for the thingamajig. >
It's too long to copy and paste. It includes 1,700+ lines of formal proof, with multi-colour fonts and special characters for readability that can't be adequately rendered here.
The link to the full text of the article is currently at the top of the list. Click on the picture of the space guy or where it says "click for full text." Enjoy.
> > > > There I present an informal development of the notion of infinity beginning > > > with a novel, non-numeric approach to the finite set (equivalent to > > > Dedekind) along with accompanying formal proofs. > > > > If it's equivalent to Dedekind, then it's not novel but 'old hat'.
What's novel, I think, is the informal introduction which presents a different way to look at finite sets. I call it, counting without numbers. I haven't seen this approach used anywhere else. Usually, such articles seem to start with some variant of Hilbert's Hotel and move immediately to a formal definition of the infinite. I think that's rushing things a bit.