Steven Thomas Hatton
• Member for 7 years, 9 months
• Last seen more than a week ago
• Center of the observable Universe.
Stats
1,557
reputation
7k
reached
4
41
questions
Communities
View all
How easy it is to see your brother's faults,
How hard it is to face your own.
You winnow his in the wind like chaff,
But yours you hide,
Like a cheat covering up an unlucky throw. ~~ The Buddha


I define mathematics as the universe of statements about abstract things and combinations thereof. There are three primitive kinds of things. Countable things, cutable things and cutable things with holes in them. The last category is due the Dirk Bruere. All primitive cutable things are countable, but not all countable things are cutable.

I use square brackets for function parameters e.g., $$\mathit{f}\left[x\right]$$. This is because function parameter lists are syntactically distinct from algebraic groupings. There are occasions when my notation collides with the common usage, for example, commutator notation. For such situations I will use \left[\![\_,\_\right]\!].

$$\left[\![ \_,\_ \right]\!]$$

The most difficult chapter I have encountered in mathematics in the past few decades is Vol I, Part B, Chapter 1: Construction of the System of Real Numbers in Fundamentals of Mathematics.

A PDF save of my current notes on the chapter is: The Real Numbers: BBFSK, etc.

I adhere to the convention that the natural numbers $$\mathbb{N}\equiv \mathbb{N}_1$$ are self-counting. That is, when counting the natural numbers in order, we enunciate the name of the number as we count it.

$$\mathbb{N}\equiv \left\{n\in \mathbb{Z}\backepsilon n>0\right\}$$

I call the set of non-negative integers $$\mathbb{N}_0$$ the whole numbers. I believe that the purest axiomatic construction of the real numbers begins with the natural numbers. Even if one does not share this opinion, it is certain that an appreciation of the difference between beginning with $$\mathbb{N}$$ versus $$\mathbb{N}_0$$ is valuable.

This user doesn’t have any gold badges yet.
8
12
4
Score
7
Posts
16
Posts %
4
Score
5
Posts
11
Posts %
4
Score
3
Posts
7
Posts %
2
Score
6
Posts
13
Posts %
1
Score
12
Posts
27
Posts %
0
Score
4
Posts
9
Posts %
Top posts
11
Jan 10, 2021
9
Jan 17, 2018
9
Feb 6, 2018
7
May 14, 2019
6
Feb 21, 2023
6
Apr 26, 2018
5
May 10, 2019
Top network posts
View all network posts