Although define an integer as a well ordered pair may make some case uniformly, it seems this definition is not intuitive and more complicated than the traditional way.
It is not entirely clear what the `traditional way is', especially if one wants to be completely precise.
Most texts casually assume that `defining' the concept of an integer is unnecessary---one may just rely on intuition and a bit of handwaving. This is defaulting.
On the other hand, I want everything spelled out, completely clearly. With proofs of important facts. How natural the proofs are often gives an indication of the quality of the concepts.
your teaching approach is great!
darklord1876 1 month ago in playlist MathFoundations
Although define an integer as a well ordered pair may make some case uniformly, it seems this definition is not intuitive and more complicated than the traditional way.
jackyzelog 2 years ago
It is not entirely clear what the `traditional way is', especially if one wants to be completely precise.
Most texts casually assume that `defining' the concept of an integer is unnecessary---one may just rely on intuition and a bit of handwaving. This is defaulting.
On the other hand, I want everything spelled out, completely clearly. With proofs of important facts. How natural the proofs are often gives an indication of the quality of the concepts.
njwildberger 2 years ago 3