Infectious zero spreads to all natural numbers

This is like saying a set of naturals closed under succession that contains zero equals all natural numbers. A set of naturals we could call a natural set.

Infected zero equals all naturals. If by infected we mean also infectious itself.

Infections on finite sets can also be used to teach mathematical induction. If one student gets the flu, the whole class does. Although, it can branch in such an infection.

For natural numbers, we only allow infection in one direction and only to the successor. Or at least, that is the setup for standard mathematical induction.

Course of values induction is where the entire initial segment up to its end infects the next natural. So an initial segment is 0 to n. We can call it the head segment n. The successor to a head segment we can use to mean n’. So the head segment n infects n’ is the course of values induction step. We can call this the infection step.

Infection proofs.

  1. Show 0 is infected.  Infection base.
  2. Assume n is infected.  Infection hypothesis.
  3. Prove that n’ is infected.  Infection step.
  4. Conclude that all naturals are infected.  Conclusion step.

Infected means a proposition is true, or a function is defined.


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 Induction Infection language, Uncategorized. Bookmark the permalink.

Leave a Reply

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

You are commenting using your 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 )

Google+ photo

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

Connecting to %s