Extending von Neumann construction to fractions

The von Neumann construction of natural numbers is a mechanic rule to create finite length symbols interpreted as natural numbers.  We use set membership to get ordinality and also the successor relation.

To extend that thinking to fractions, we need a mechanical rule to deal with finite lists of symbols that represent a fraction.   Ordered pairs in lowest denominator is a way to approach this.

The unit fractions are either an approach or a partial test bed for considering such ideas.

We can simply take the unit fractions as given.  We can then define a fraction of the same denominator using the von Neumann construction on the numerator holding the denominator fixed.

This falls short of what we would like in this approach.

We would like an ordinal set  (2/3)[set] to include fractions like 1/2 in some way.  But is this including 1/2 as a set or as a simple pair of numbers?

We could define ordered pairs of numbers, build some sets out of those, and then further have sets composed of those and possibly of themselves.  So we can do a theory of types or bootstrapping approach to fractional sets as ordinals.

About New Math Done Right

Author of Pre-Algebra New Math Done Right Peano Axioms. A below college level self study book on the Peano Axioms and proofs of the associative and commutative laws of addition. President of Mathematical Finance Company. Provides economic scenario generators to financial institutions.
This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s