This blog should now support webmentions, but I've yet to have any mentions to properly implement it for the rest of the blog.
A brief summary of my new idea for a project
I can never remember the name of the son of my cousin (first cousin, once removed?). Heck, quite a number of my cousins are married now and I don’t always remember the name of their partners. While I don’t care too much being labelled as a “terrible human being” by my cousins, I do feel bad for their partners, even though I don’t care if they remember my name.
I had a sudden recall about Gödel's Incompleteness Theorems, decided to give them some thought, and see what I can gain from this mental venture. Some of these thoughts may be controversial. You have been warned.
Gödel’s Incompleteness Theorems, particularly the second of the two, stated that any system that contains the arithmetic, i.e. discusses about statements regarding the natural numbers, cannot demonstrate its own consistency. The first of the two states that there will always be statements about the natural numbers that will not be provable by whatever axiomatic system that we construct to be consistent. One may continue adding more and more statements about the natural numbers, but it will never reach a state of completeness.
I can never remember the names of the commonly used name casings, so I’ll be noting them down here for myself.
Note that this isn’t an extensive list. The Comments are simply to help myself remember them in some way, for a slightly longer period.