Valkerie
@sinbad989
·
4th Street Bar
Hive-Bar
Browse freely. Sign in only when you want to participate.
Hive-Bar · Powered by Hive · beta-fdb5b5b
Hive profile
@sinbad989
Programmer
Sign in with Hive Keychain to follow this account.
Tes
# Ordering on Natural Numbers Previously, we have defined natural numbers that was a side effect of our spurious definition, e.g. . Also, we have the following simple definition of order on natural n…
# Arithmetic We can apply recursion theorem, from the previous section, to define addition and multiplication on . Suppose we want a function such that is the result of adding 5 to n. Then must satis…
Consider the situation where I want you to guess the function such that I only give you two information; that is, 1. a starting value 2. a function such that for all This gives away all the informati…
Hi! I'm Giuseppe Peano, I introduce Peano system to make the life of math students miserable. Source In 1889, Peano published a study giving an axiomatic approach to the natural numbers, showing how…
In mathematics, there are two ways of introducing new objects for study, 1. axiomatic approach (e.g. the one we have used for sets) The concept of set is one of our primitive notions, and we have ado…
### Elements of Set Theory: Ordering Relations From the first section of this chapter, we've covered about the ordering relation of the ordered set Now we want to consider the ordering relation on ot…
Consider a set A given by a figure in (a), say we want to partition it into six boxes as in (b). For example, take, we can partition into six parts: By partition we mean, dividing the box into a simi…
We've encountered in previous section Cartesians products of two sets, this time we will show that we can form something like the Cartesian product but of infinitely many sets, provided that the sets…