Totality proof[]
Work in base theory \(\textrm{ZFC}\) and meta-theory \(\textrm{ZFC+Con(ZFC)}\). WIth this base and meta-theory, is \(\Sigma_1\)-soundness of \(\textrm{ZFC}\) provable? In other words, can meta-theory \(\textrm{ZFC+Con(ZFC)}\) prove totality of \(\lambda n.\textrm{TR(ZFC},n)\)? C7X (talk) 16:56, 21 April 2021 (UTC)
- It can prove the totality if ZFC+Con(ZFC) is inconsistent. But if we do not know the contradiction of ZFC+Con(ZFC), then the answer is unknown.
- p-adic 22:37, 21 April 2021 (UTC)
demonym issue[]
too bad I don't cruel to offended certain people, ethnic bunches, religions and country but we know that fandom wiki is worldwide that does not have to be be related to a specific country, this is often not a wiki particularly for country X but this wiki is worldwide all through the world and there's no require for individuals with prominent nationalities compared to others. as in this article it says "Indeed, Japanese Googologist p進大好きbot proved", this suggests a certain nationality which isn't great since this wiki ought to be impartial and worldwide. if it's not too much trouble, expel the word Japanese here, it's not that I do not like p進大好きbot or Japanese individuals but keep in mind this wiki is worldwide and things that say ANY demonym must be expelled. Tamatak 'v chamatak ki (talk) 23:31, 25 May 2025 (UTC)
- I do not understand why referring to a specific country is related to the fact that this wiki is worldwide. Please answer the following question, in order to understand what you are based on:
- What rule in the policy are you referring to?
- If you are not based on the current policy, could you please propose a discussion for all articles to remove similar descriptions at Googology_Wiki_talk:Policy, with a full clarification of what we should remove, in order to make the maintainance direction clear? For example, I am not certain whether your claim includes the removal of
- Template:Googology_in_Japan
- Category:Japanese-related_number
- the description "It is used in the Indian numbering system." in Lakh
- the descrioption "It is also the prize for correctly answering the first five questions in the Indian game show Kaun Banega Crorepati in Indian rupees." in Myriad
- the description "Jonathan Bowers (also called Hedrondude or Jabe) is an American amateur mathematician"
- the description "Chris Bird is an English mathematician"
and so on, and why not if not. We should be based on the policy, and if we restrict what to add, then we need to clarify an understandable threshold.
- p-adic 01:20, 26 May 2025 (UTC)
- In this case, the source is written in Japanese and the name of the function is translated into English. That is why the original Japanese name is included. The fact that the author is Japanese is relevant in this context. In general, excessive personal information about the author is unnecessary, but stating the author's nationality is common in encyclopedia, I believe. 🐟 Fish fish fish ... 🐠 11:42, 26 May 2025 (UTC)
- I also think that it is common to add such information in encyclopedia. I wonder why Tamatak 'v chamatak ki regarded the description conflicting that this wiki is world wide.
- p-adic 12:19, 26 May 2025 (UTC)