User blog comment:P進大好きbot/List of Common Failures in Googology/@comment-32697988-20190706142929

>Infinite Loop

>When you define a new term \(t\) using a given recursive system \(T\)

1. What do you mean by "term" and "recursive system"?

>Non-Unique Division into Substrings

2. I can't understand the problem well. Is the problem \((,(,))\) having multiple divisions \((\#_1,\#_2)=("","")\) and \((\#_1,\#_2)=(",(","),")\)?

>Multiply Defined Comparison

3. What do you mean by "overloaded equation"?

>Intuitive Oracle

>This ill-definedness frequently occurs when a googologist without the knowledge of an oracle or set theory tries to imitate Busy beaver function.

4. Isn't it when such a googologist tries to imitate oracle busy beaver function instead of regular busy beaver function?

>Intuitive Definability

5. What do you mean by "the definability of a natural number in the base theory by an L-formula"?

>Lack of the Unique Existence

>When you define a term \(t\) by a certain property \(P\),

6. What is "property"?

>Circular Proof

>For any successor explression

7. Do you mean "expression"?