Register to reply

The definition of whole numbers

by MendelCyprys
Tags: definition, numbers
Share this thread:
MendelCyprys
#1
Dec8-12, 09:09 PM
P: 2
I'm not a mathematician of any sort so excuse me if my question is stupid.
I just realized that I could not define the set of whole numbers without referring back to them or to the operation of addition, which then itself can't be defined.
How would you define whole numbers?
Phys.Org News Partner Science news on Phys.org
Experts defend operational earthquake forecasting, counter critiques
EU urged to convert TV frequencies to mobile broadband
Sierra Nevada freshwater runoff could drop 26 percent by 2100
jedishrfu
#2
Dec8-12, 09:29 PM
P: 3,002
This is not a stupid question, its actually very deep and mathematicians pondered it for quite some time.

Wikipedia has an article on natural numbers that may help. About half way into the article is the formal (mathematical) definition.

http://en.wikipedia.org/wiki/Natural_number
TylerH
#3
Dec10-12, 08:58 PM
P: 737
There's an easy way to recursively define them in terms of the sets of nested sets with only null sets or sets containing null sets.

Note that, if you have the first number and a way to get the next number given an arbitrary number, then you can construct the whole numbers. The function that takes a number and maps to its successor is called the successor function, S.

Let 0 = {}.
And let S(n)={n, {n}}.

So 1=S(0)={0, {0}} = {{},{{}}}.
2=S(1)={{{},{{}}},{{{},{{}}}}}.

It get's complex quick, so I won't do 3. You get the idea.

jedishrfu
#4
Dec10-12, 10:52 PM
P: 3,002
The definition of whole numbers

Quote Quote by TylerH View Post
There's an easy way to recursively define them in terms of the sets of nested sets with only null sets or sets containing null sets.

Note that, if you have the first number and a way to get the next number given an arbitrary number, then you can construct the whole numbers. The function that takes a number and maps to its successor is called the successor function, S.

Let 0 = {}.
And let S(n)={n, {n}}.

So 1=S(0)={0, {0}} = {{},{{}}}.
2=S(1)={{{},{{}}},{{{},{{}}}}}.

It get's complex quick, so I won't do 3. You get the idea.
Yes, more info on this approach from wikipedia:

http://en.wikipedia.org/wiki/Peano_axioms

Look for the set-theoretic models. The idea is to construct a collection of sets based on the empty and sets containing the empty set. The sets are constructed using a successor operation and have a correspondence with the whole numbers.


Register to reply

Related Discussions
Fortran: Searching through a list of numbers and finding which numbers meet criteria Programming & Computer Science 3
Write a Java program to convert binary numbers to decimal numbers. Engineering, Comp Sci, & Technology Homework 2
What is the definition of greater than or less than in terms of real numbers? Set Theory, Logic, Probability, Statistics 2
Sophie Germain Triangular Numbers: An Explicit (Simple/r) Formula via Pell Numbers Linear & Abstract Algebra 0