Talk:Main Page

Well-orderings: sets and classes
I'm looking again at the properties of well-orderings and order isomorphisms in the context of class theory, still using Smullyan and Fitting as my mentor.

During the course of this I am finding they derive some results which take certain truths of bijections and order isomorphisms for granted, but they themselves do not prove these results (e.g. Composite of Order Isomorphisms is Order Isomorphism and Inverse of Order Isomorphism is Order Isomorphism and so on) are fairly trivial and which we have proved in the context of sets not classes.

It is at this stage where I am tempted to expand the scope of these latter results and rework them in the context of class theory not just set theory.

I am not sure at this stage whether to make them class-theoretical results only, and just add "they apply to sets too" or implement a separate class-theory version only ("This result carries over to classes as well:" etc.).

Bear with me while this is all a bit of a mess still. --prime mover (talk) 05:28, 6 July 2022 (UTC)


 * The inexhaustible prime mover... -- 23:00, 6 July 2022 (UTC)


 * I confess I am getting a little tired, staring at it and not making any sense of it. --prime mover (talk) 23:12, 6 July 2022 (UTC)

Another stage implementing class theoretical approach
Fundamental results in well-order theory in the implementation of the class-theoretical approach require that all the basic algebra of set composition (composition, identity and inverses basically) in the context of ordered sets need to have their class-theoretical versions.

Work is to take place in due course, after I've had a break from it for a short while. --prime mover (talk) 21:33, 9 July 2022 (UTC)

Shortcut City
In order to drastically simplify the entire area, I am currently experimenting with leaving a lot of the basic definitions alone, but merely removing the stipulation that the domains and ranges of the mappings and relations in question are in fact sets.

Hence we start with "Let $f: S \to T$ be a mapping" and leaving it up to the context for the reader to determine for themself what the nature of the domain and range actually are. To those raised on set theory only, they will understand that $S$ and $T$ are sets because it is implicit in the definition. To those raised on class theory, the class-theoretical definition is found under the "class-theoretical definition" subpage of the definition page for mapping and relation.

I have a further idea to streamline the whole area: use the term collection consistently when referring to a collection which may be either-a-class-or-a-set-and-the-definition-is-identical-for-either, and somewhere on the page on which this appears, transclude a boilerplate page explaining 's philosophy on the matter: "On, the term collection is specifically and unilaterally defined as being ..." and so on, explaining why we do that. Then we never have to worry about splitting the pages up into "class-theoretical version" and "set-theoretical version" but merely rely upon the context from which the definition page is linked.

(And the weather is going to be glorious today and I have household chores to do before going to a piano concert this afternoon so I'm not planning on spending all day at the keyboard today, despite the fact that I have awoken bright and shiny -- so I don't plan on doing all or any of this today.) --prime mover (talk) 08:06, 10 July 2022 (UTC)


 * I saw the curse of class theory on here years ago. It's so interesting that it might finally see its defeat.  01:09, 17 July 2022 (UTC)

Sanity check
Just checking the following theorem isn't on the site (can't find it): let $X$, $Y$, $Z$ be topological spaces. Give $X \times Y$ the product topology. Let $f : X \times Y \to Z$ be continuous. Then for $x \in X$, the map $y \mapsto \map f {x, y}$ is continuous as a map $Y \to Z$. We called this the $x$-vertical section in measure theory. Basically hinges on the continuity of $y \mapsto \tuple {x, y}$. Caliburn (talk) 10:17, 19 July 2022 (UTC)

How to describe exactly the theorem I want to find
I am now trying to find the proof of this theorem: $a^s>1$ when $a>1$ and $s>0$, but so far I haven't found it. I am not a native English speaker, how can I accurately describe the theorem I am trying to find in natural language? --AuroraAeon (talk) 02:25, 23 August 2022 (UTC)


 * It is possible that theorem does not exist on . This is because it wasn't included in the source work upon which the bulk of the basics of real analysis was built. --prime mover (talk) 05:34, 23 August 2022 (UTC)


 * The best I found is this: Power Function on Base Greater than One is Strictly Increasing, which states $a^s > a^0 = 1$ when $a > 1$ and $s > 0$.
 * For what it's worth I used the following on Google: "site:proofwiki.org power greater one". &mdash; Lord_Farin (talk) 06:05, 23 August 2022 (UTC)

Notation Confusion
You see, there's a lot of pages in the site like this, which writes stuffs like "Let $a\in \mathbb{C}$ be a complex number.

Is it really necessary?--AuroraAeon (talk) 00:28, 25 August 2022 (UTC)


 * 100%. No confusion about what $a$ is. Convenient reinforcement of housestyle, too. The page Definition:Complex Numbers notes alternative symbols exist in the literature:
 * "Variants on $\C$ are often seen, for example $\mathbf C$, $\CC$ and $\mathfrak C$, or even just $C$."
 * Constantly being explicit and saying $\C$ means "complex numbers" increases styling uniformity.
 * Not necessary in a single book with a few authors. But, a smart investment for a $40,000+$ page wiki.  01:28, 25 August 2022 (UTC)


 * What he said.
 * Let me add: we don't write "Let $a\in \mathbb{C}$ be a complex number." We write "Let $a \in \C$ be a complex number."
 * Note the difference. It's not particularly subtle. --prime mover (talk) 06:00, 25 August 2022 (UTC)


 * I got it. Where can I obtain a systemic knowledge of the common-used housestyle in ?--AuroraAeon (talk) 06:39, 25 August 2022 (UTC)
 * Found it here, but thank you anyway.
 * By the way, I notice that the archive of this page hasn't been updated for a long time.--AuroraAeon (talk) 06:47, 25 August 2022 (UTC)


 * Yes it's been a busy year, but as there are a number of discussions which may not have been resolved I'm not ready to archive it yet. --prime mover (talk) 09:03, 25 August 2022 (UTC)

Mathematicians pages - include family?
I'm throwing this open to debate, since this came up:

Is there any value to adding a "family" section to the Mathematician pages? That is, a section that gives the mother and father and perhaps also children of the mathematician?

My immediate reaction to this is "no, it's too much work and too tangential" but then on some of the pages we do have mentions of family -- specifically when those family members are also featured in our database.

So is it worth setting up another formal section to the Mathematician pages titled "Family" (or "Lineage" or whatever)?

Before I settle the question with a big fat "no" I want to see what others think. --prime mover (talk) 09:01, 25 August 2022 (UTC)


 * No thank you. I would not forbid mentions of family, but only put them there when they could be of interest, i.e. when the family member can stand on their own. Otherwise it's just fluff. /2c &mdash; Lord_Farin (talk) 11:49, 25 August 2022 (UTC)

New simple proofs for Logarithm Tends to Infinity and Logarithm Tends to Negative Infinity
Hi

ln e^a = a

let a = ∞, e^∞ = ∞ ln ∞ = ∞

let a = -∞, e^-∞ = 0+ ln 0+ = -∞

Also these proofs not found on Wikipedia https://en.wikipedia.org/wiki/List_of_limits.

Order Notation - resolving the various confusions
Having become mentally and psychologically blocked on class theory and ordinal theory, I've found myself addressing Definition:Order Notation.

In an attempt to find something definitive, I have dug out my cobwebbed old with an eye towards the fact that they cover everything in some detail, and appear to be consistent in their approach.

However, their approach is different from that taken by the various definitions I've seen, and I'm about to take a view on whether they merit genuinely different and parallel definitions, or whether we can implement an "also defined as" approach.

The CLR approach defines, for example, $\map \OO {\map g n}$ as the set of functions: $\set {\map f n: \exists c, n_0 \in \N_{>0}: \forall n > n_0: 0 \le \map f n \le c \map g n}$.

(This of course presupposes the fact that $f$ and $g$ are positive, and $f$ and $g$ are sequences rather than real functions, etc. so there will need to be adjustment of this to match the reality of what is what in pure mathematical contexts.)

As a result I may need to make several run-ups to this topic and maybe backtrack a fair bit.

Please bear with me while I have the scaffolding up. And please, if you see something that you know is obviously wrong in this area, put it up in a talk page rather than editing the page in question, as in that way we avoid edit conflicts and wikiwars. --prime mover (talk) 07:38, 27 August 2022 (UTC)

Proof Rules refactoring executed
Hi all, the refactoring which had been prepared at User:Lord_Farin/Sandbox/Proof Rules has been executed.

The net effect is that our proof rules and rules of inference have been made ready to accommodate more than propositional logic, in particular also predicate logic. And that it is now much easier to build a new proof system on top of these rules in a coherent manner. This opens up further and more thorough coverage of predicate logic and propositional logic. My focus will be on PredLog going forward.

This mainly means that there are new and rewritten pages Definition:Natural Deduction and Definition:Rule of Inference. The old pages have been saved in my backup realm User:Lord_Farin/Backup.

What follows is a number of source review activities related to this change. I have access to a number of them, but not all.

The whole list is on the preparation page User:Lord_Farin/Sandbox/Proof Rules at the bottom. Any help appreciated. &mdash; Lord_Farin (talk) 10:31, 2 September 2022 (UTC)


 * I have a number of the works in question -- if you don't have them I probably do, so assign them to me. I can always reassign them if I can't do them for any reason. --prime mover (talk) 12:02, 2 September 2022 (UTC)