Talk:Main Page

From ProofWiki
Jump to navigation Jump to search
Welcome to the general discussion page of $\mathsf{Pr} \infty \mathsf{fWiki}$.
Please add any new discussion topics at the bottom of this page.


Main Talk Page Archives

Archive 1: $\text {$-\infty$}$ – $\text {24 Sep 2008}$
Archive 2: $\text {25 Sep 2008}$ – $\text {20 Dec 2008}$
Archive 3: $\text {21 Dec 2008}$ – $\text {21 Feb 2009}$
Archive 4: $\text {22 Feb 2009}$ – $\text {14 Jun 2009}$
Archive 5: $\text {15 Jun 2009}$ – $\text {21 Feb 2010}$
Archive 6: $\text {22 Feb 2010}$ – $\text {10 May 2011}$
Archive 7: $\text {11 May 2011}$ – $\text {28 Mar 2012}$
Archive 8: $\text {29 Mar 2012}$ – $\text {10 Oct 2012}$
Archive 9: $\text {11 Oct 2012}$ – $\text {18 May 2013}$
Archive 10: $\text {27 May 2013}$ – $\text {18 Oct 2014}$
Archive 11: $\text {27 Oct 2014}$ – $\text {21 Dec 2015}$
Archive 12: $\text {22 Dec 2015}$ – $\text {1 Aug 2017}$
Archive 13: $\text {2 Aug 2017}$ – $\text {8 May 2018}$
Archive 14: $\text {26 May 2018}$ – $\text {9 Apr 2020}$
Archive 15: $\text {9 May 2020}$ – $\text {31 Dec 2021}$
Archive 16: $\text {1 Jan 2022}$ – $\text {1 Jul 2022}$
Archive 17: $\text {6 Jul 2022}$ – $\text {12 Feb 2023}$
Archive 18: $\text {12 Feb 2023}$ – $\text {20 November 2023}$


I have created Archive $18$.

Steady as she goes, Mister Shoeless. --prime mover (talk) 15:19, 2 January 2024 (UTC)

Alternative axiomatic systems

I've been considering doing some work on axiomatic geometries such as Axiom:Hilbert's Axioms or Axiom:Birkhoff's Axioms. However, I've been undecided on how to structure the pages for this. We already have a lot of geometry results from Euclid, and I'm hesitant to put these in as "alternative proofs," when they use subtly different definitions, etc. Sometimes, the proof is only even applicable to the single system.

My working idea is to a convention such as:

etc. I've noticed similar "use the page name while changing the namespace" tricks is a few places on this site, so this has precedent. It would also help ensure that we don't accidentally reference a result that hasn't been proven for this particular system. If it becomes desirable, we can of course transclude or link to them from the "main" page.

Any thoughts on implementing this convention? Any other options to consider? --CircuitCraft (talk) 03:40, 15 December 2023 (UTC)

No, do it like

and transcluded into the master page. --prime mover (talk) 06:51, 15 December 2023 (UTC)

Quotient: Page naming and distinctive terminology

Currently battling with how to name and categorise pages concerning the concept of quotient and its related concept partial quotient.

I have moved the existing "partial quotient" page to partial denominator as that's what it's named in the context of continued fractions. Then there is a disambiguation page Definition:Partial Quotient.

It remains to uniquely and generically come up with ways to differentiate the concept of a quotient as a result of division in the context of a field, in which the division is complete, and that as a result of an application of the Division Theorem in all its various applications: integers, polynomials, general Euclidean domains, etc.

Somewhere in there we will also need to establish the concept of a partial quotient in the concept of a long division, the main page of which still needs to be written. (This is of course an instance of the Division Theorem process, but still needs to be thought through.

Complicating this is that the term "partial quotient" only applies to the Division Theorem technique if there is a remainder. If the remainder is zero, it's not called a partial quotient.

Any ideas? --prime mover (talk) 15:28, 2 January 2024 (UTC)

We currently have Definition:Quotient (Arithmetic) and Definition:Quotient (Algebra) which as names are not all that useful.

The two contexts appear to be Definition:Field Theory and Division Theorem, so Definition:Quotient (Field Theory) and Definition:Quotient (Division Theorem) would provide greater clarity than Definition:Quotient (Arithmetic) and Definition:Quotient (Algebra) in my opinion. --Leigh.Samphier (talk) 22:48, 17 January 2024 (UTC)
I have a problem with Definition:Quotient (Field Theory) in that it is the definition used for basic real division which you do in school. Nobody in school knows what "field theory" is, so we run into the same issue we do on a regular basis, that is: losing the pre-University readers who will mistakenly think that they are out of their depth. --prime mover (talk) 22:14, 18 January 2024 (UTC)
How about Definition:Quotient (Division) and Definition:Quotient (Integer Division) for Definition:Quotient (Arithmetic) and Definition:Quotient (Algebra) respectively? --Leigh.Samphier (talk) 22:38, 18 January 2024 (UTC)
The simple and obvious answer is once again the best! Will take this on in due course. --prime mover (talk) 00:56, 19 January 2024 (UTC)

Server Offline Yesterday

Anomaly? Scheduled? Hacked? --Robkahn131 (talk) 00:06, 6 January 2024 (UTC)

Yes, it was out all this morning from at least 07:00 till about 13:30 GMT on 05-01-2024, and the same happened yesterday 04-01-2024 from about 10:00 to 13:45 GMT.
I sent an email to the admin asking if there was anything going on, but had no reply.
Has someone been taking an xml dump? --prime mover (talk) 00:14, 6 January 2024 (UTC)

Interesting date

For the first time in a year or two the digits are all even in the date.

Such dates form a Cantor dust.

Discuss. --prime mover (talk) 18:00, 2 February 2024 (UTC)