9,743 Pages

# Emlightened

My favorite wikis
• I live in side.
• I am Female!
• ## Extensions to the SK Calculus

August 16, 2017 by Emlightened

Terms are identified up to equivalence ≡. A model is consistent iff KSK is false.

• Sabc ≡ ac(bc)
• Kab ≡ a
• If ac ≡ bc, c is a free variable and c does not occur in a or b, a ≡ b

The extensions additionally include some of the following terms. It is not guaranteed that all extensions or combinations of extensions are consistent.

• Qab ≡ K if a≡b and Qab ≡ SK otherwise
• Eab ≡ K if there is some c such that ac ≡ b, and Eab ≡ SK otherwise
• Cab ≡ Kc for some c such that ac ≡ b (if it exists), and Cab ≡ SKK otherwise
• Mabc ≡ K if there is some d such that bd ≡ c and ad ≡ K, and Mabc ≡ SK otherwise
• Nabc ≡ Kd for some d such that bd ≡ c and ad ≡ K, and Nabc ≡ SKK otherwise

First off, K and SK represent the truth values true and false, respectively. Given this, it is somewhat clear what each of…

• ## We have more numbers than pages.

August 5, 2017 by Emlightened

Literally. As of writing, there are 10,787 pages on this wikia, and 11,084 articles in the numbers category.

I'm mainly using this as an excuse to pick up the discussion which was dropped about a month ago from the comments here. Please have a quick read of them if you haven't yet.

I believe the two popular ideas were to:

• A) Consolidate similar-sized numbers from the same notation into one article each, possibly with a section on each number
• B) Create a splinter site or forum, probably non-wikia based.

I want to get this discussion going again. Both ideas appeal to me and honestly, I want to see us getting together and doing something towards these possible goals. It's better than deciding stuff should happen but not following through, so hopef…

• ## Early Birthday Present For Deedlit

July 30, 2017 by Emlightened

1)

$$B_0(\alpha,\beta) = \beta \cup \{0,1,\omega,\Omega,\Omega^+\}$$

$$B_{n+1}(\alpha,\beta) = \{\gamma Read more > • ## New(ish) Concept: Googological Systems July 30, 2017 by Emlightened The -ish is because I've never seen something like this presented, except for some type theories, which are much less useful. Anyway. Primitive recursion is a simple method for creating total recursive functions. We can formalise it in such a way that (almost) any sufficiently slow-growing (sub \(\omega$$ on the FGH) googological function can be encoded, and hence offers a way of proving that it is recursive and total.

This can even be represented in a way that is easily understandable: zero, successor, projection and composition can be paid no heed when showing a function is PR, and only the recursion step needs to be stated explicitly - and even this can be represented in a simpler manner.

Similarly, a simple extension of primitive recursion…

• ## Definition of Googology

July 5, 2017 by Emlightened

Mainly a discussion post. A TL;DR is provided at the end of each subsection of text, but please read through properly before commenting.

Breakdown of classic definition of 'googology': We all (well, most of us) know what googology is, as a hobby. To quote the main page: "Googology is the mathematical study of large numbers, their properties, and their nomenclature."

However, I don't think this is accurate, from either a hobbyist's or mathematician's perspective. In particular, large numbers don't have any natural noteworthy properties (known or theorised, afaik), aside from being above certain boundaries, and these are mostly pre-tetration.

A natural nomenclature (system of naming, preferably scientifically) is possibly closer to hand, but this …