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: $-\infty$ to Sept 24/08
Archive 2: Sept 25/08 to Dec 20/08
Archive 3: Dec 21/08 to Feb 21/09
Archive 4: Feb 22/09 to Jun 14/09
Archive 5: Jun 15/09 to Feb 21/10
Archive 6: Feb 22/10 to May 10/11
Archive 7: May 11/11 to Mar 28/12
Archive 8: Mar 29/12 to Oct 10/12
Archive 9: Oct 11/12 to May 18/13
Archive 10: May 27/13 to Oct 18/14
Archive 11: Oct 27/14 to Dec 21/15
Archive 12: Dec 22/15 to Aug 1/17
Archive 13: Aug 2/17 to May 8/18
Archive 14: May 26/18 to Apr 9/20

New $\LaTeX$ macros for your convenience and our internal consistency

There are a number of new $\LaTeX$ macros which have been developed recently as a result of a lot of discussion some time back which never ended up happening at the time.

They can be found on the page Symbols:LaTeX Commands/ProofWiki Specific, transcluded here:

\(\AA\) $\quad:\quad$\AA $\qquad$that is: \mathcal A
\(\Add\) $\quad:\quad$\Add $\qquad$Addition as a Primitive Recursive Function‎
\(\adj {\mathbf A}\) $\quad:\quad$\adj {\mathbf A} $\qquad$Adjugate Matrix
\(\arccot\) $\quad:\quad$\arccot $\qquad$Arccotangent
\(\arccsc\) $\quad:\quad$\arccsc $\qquad$Arccosecant
\(\arcosh\) $\quad:\quad$\arcosh $\qquad$Area Hyperbolic Cosine
\(\Arcosh\) $\quad:\quad$\Arcosh $\qquad$Complex Area Hyperbolic Cosine
\(\arcoth\) $\quad:\quad$\arcoth $\qquad$Area Hyperbolic Cotangent
\(\Arcoth\) $\quad:\quad$\Arcoth $\qquad$Complex Area Hyperbolic Cotangent
\(\arcsch\) $\quad:\quad$\arcsch $\qquad$Area Hyperbolic Cosecant
\(\Arcsch\) $\quad:\quad$\Arcsch $\qquad$Complex Area Hyperbolic Cosecant
\(\arcsec\) $\quad:\quad$\arcsec $\qquad$Arcsecant
\(\arsech\) $\quad:\quad$\arsech $\qquad$Area Hyperbolic Secant
\(\Arsech\) $\quad:\quad$\Arsech $\qquad$Complex Area Hyperbolic Secant
\(\arsinh\) $\quad:\quad$\arsinh $\qquad$Area Hyperbolic Sine
\(\Arsinh\) $\quad:\quad$\Arsinh $\qquad$Complex Area Hyperbolic Sine
\(\artanh\) $\quad:\quad$\artanh $\qquad$Area Hyperbolic Tangent
\(\Artanh\) $\quad:\quad$\Artanh $\qquad$Complex Area Hyperbolic Tangent
\(\Area\) $\quad:\quad$\Area $\qquad$Area of Plane Figure
\(\Arg z\) $\quad:\quad$\Arg z $\qquad$Principal Argument of Complex Number
\(\Aut {S}\) $\quad:\quad$\Aut {S} $\qquad$Automorphism Group
\(\BB\) $\quad:\quad$\BB $\qquad$that is: \mathcal B
\(\Bei\) $\quad:\quad$\Bei
\(\Ber\) $\quad:\quad$\Ber
\(\Bernoulli {p}\) $\quad:\quad$\Bernoulli {p} $\qquad$Bernoulli Distribution
\(\BetaDist {\alpha} {\beta}\) $\quad:\quad$\BetaDist {\alpha} {\beta} $\qquad$Beta Distribution
\(\bigintlimits {\map f s} {s \mathop = 0} {s \mathop = a}\) $\quad:\quad$\bigintlimits {\map f s} {s \mathop = 0} {s \mathop = a} $\qquad$Limits of Integration
\(\bigvalueat {\delta x} {x \mathop = x_j} \) $\quad:\quad$\bigvalueat {\delta x} {x \mathop = x_j}
\(\Binomial {n} {p}\) $\quad:\quad$\Binomial {n} {p} $\qquad$Binomial Distribution
\(\braket {a} {b}\) $\quad:\quad$\braket {a} {b} $\qquad$Dirac Notation
\(\bsDelta\) $\quad:\quad$\bsDelta $\qquad$a vector '$\Delta$'
\(\bsone\) $\quad:\quad$\bsone $\qquad$vector of ones
\(\bst\) $\quad:\quad$\bst $\qquad$a vector 't'
\(\bsv\) $\quad:\quad$\bsv $\qquad$a vector 'v'
\(\bsw\) $\quad:\quad$\bsw $\qquad$a vector 'w'
\(\bsx\) $\quad:\quad$\bsx $\qquad$a vector 'x'
\(\bsy\) $\quad:\quad$\bsy $\qquad$a vector 'y'
\(\bsz\) $\quad:\quad$\bsz $\qquad$a vector 'z'
\(\bszero\) $\quad:\quad$\bszero $\qquad$vector of zeros
\(\map \Card {S}\) $\quad:\quad$\map \Card {S} $\qquad$Cardinality
\(\card {S}\) $\quad:\quad$\card {S} $\qquad$Cardinality
\(\Cauchy {x_0} {\gamma}\) $\quad:\quad$\Cauchy {x_0} {\gamma} $\qquad$Cauchy Distribution
\(\CC\) $\quad:\quad$\CC $\qquad$that is: \mathcal C
\(\Cdm {f}\) $\quad:\quad$\Cdm {f} $\qquad$Codomain of Mapping
\(\ceiling {11.98}\) $\quad:\quad$\ceiling {11.98} $\qquad$Ceiling Function
\(30 \cels\) $\quad:\quad$30 \cels $\qquad$Degrees Celsius
\(\Char {R}\) $\quad:\quad$\Char {R} $\qquad$Characteristic of Ring, etc.
\(\Ci\) $\quad:\quad$\Ci $\qquad$Cosine Integral Function
\(\cis \theta\) $\quad:\quad$\cis \theta $\qquad$$\cos \theta + i \sin \theta$
\(\cl {S}\) $\quad:\quad$\cl {S} $\qquad$Closure (Topology)
\(\closedint {a} {b}\) $\quad:\quad$\closedint {a} {b} $\qquad$Closed Interval
\(\cmod {z^2}\) $\quad:\quad$\cmod {z^2} $\qquad$Complex Modulus
\(\condprob {A} {B}\) $\quad:\quad$\condprob {A} {B} $\qquad$Conditional Probability
\(\conjclass {x}\) $\quad:\quad$\conjclass {x} $\qquad$Conjugacy Class
\(\cont {f}\) $\quad:\quad$\cont {f} $\qquad$Content of Polynomial
\(\ContinuousUniform {a} {b}\) $\quad:\quad$\ContinuousUniform {a} {b} $\qquad$Continuous Uniform Distribution
\(\cosec\) $\quad:\quad$\cosec $\qquad$Cosecant (alternative form)
\(\Cosh\) $\quad:\quad$\Cosh $\qquad$Hyperbolic Cosine
\(\Coth\) $\quad:\quad$\Coth $\qquad$Hyperbolic Cotangent
\(\cov {X, Y}\) $\quad:\quad$\cov {X, Y} $\qquad$Covariance
\(\csch\) $\quad:\quad$\csch $\qquad$Hyperbolic Cosecant
\(\Csch\) $\quad:\quad$\Csch $\qquad$Hyperbolic Cosecant
\(\curl\) $\quad:\quad$\curl $\qquad$Curl Operator
\(\DD\) $\quad:\quad$\DD $\qquad$that is: \mathcal D
\(\dfrac {\d x} {\d y}\) $\quad:\quad$\dfrac {\d x} {\d y} $\qquad$Roman $\d$ for Derivatives
\(30 \degrees\) $\quad:\quad$30 \degrees $\qquad$Degrees of Arc
\(\diam\) $\quad:\quad$\diam $\qquad$Diameter
\(\Dic n\) $\quad:\quad$\Dic n $\qquad$Dicyclic Group
\(\DiscreteUniform {n}\) $\quad:\quad$\DiscreteUniform {n} $\qquad$Discrete Uniform Distribution
\(a \divides b\) $\quad:\quad$a \divides b $\qquad$Divisibility
\(\Dom {f}\) $\quad:\quad$\Dom {f} $\qquad$Domain of Mapping
\(\dr {a}\) $\quad:\quad$\dr {a} $\qquad$Digital Root
\(\E\) $\quad:\quad$\E $\qquad$Elementary Charge
\(\EE\) $\quad:\quad$\EE $\qquad$that is: \mathcal E
\(\Ei\) $\quad:\quad$\Ei $\qquad$Exponential Integral Function
\(\empty\) $\quad:\quad$\empty $\qquad$Empty Set
\(\eqclass {x} {\RR}\) $\quad:\quad$\eqclass {x} {\RR} $\qquad$Equivalence Class
\(\erf\) $\quad:\quad$\erf $\qquad$Error Function
\(\erfc\) $\quad:\quad$\erfc $\qquad$Complementary Error Function
\(\expect {X}\) $\quad:\quad$\expect {X} $\qquad$Expectation
\(\Exponential {\beta}\) $\quad:\quad$\Exponential {\beta} $\qquad$Exponential Distribution
\(\Ext {\gamma}\) $\quad:\quad$\Ext {\gamma} $\qquad$Exterior
\(\F\) $\quad:\quad$\F $\qquad$False
\(30 \fahr\) $\quad:\quad$30 \fahr $\qquad$Degrees Fahrenheit
\(\family {S_i}\) $\quad:\quad$\family {S_i} $\qquad$Indexed Family
\(\FF\) $\quad:\quad$\FF $\qquad$that is: \mathcal F
\(\Fix {\pi}\) $\quad:\quad$\Fix {\pi} $\qquad$Set of Fixed Elements
\(\floor {11.98}\) $\quad:\quad$\floor {11.98} $\qquad$Floor Function
\(\fractpart {x}\) $\quad:\quad$\fractpart {x} $\qquad$Fractional Part
\(\Frob {R}\) $\quad:\quad$\Frob {R} $\qquad$Frobenius Endomorphism
\(\Gal {S}\) $\quad:\quad$\Gal {S} $\qquad$Galois Group
\(\Gaussian {\mu} {\sigma^2}\) $\quad:\quad$\Gaussian {\mu} {\sigma^2} $\qquad$Gaussian Distribution
\(\gen {S}\) $\quad:\quad$\gen {S} $\qquad$Generator
\(\Geometric {p}\) $\quad:\quad$\Geometric {p} $\qquad$Geometric Distribution
\(\GF\) $\quad:\quad$\GF $\qquad$Galois Field
\(\GG\) $\quad:\quad$\GG $\qquad$that is: \mathcal G
\(\GL {n, \R}\) $\quad:\quad$\GL {n, \R} $\qquad$General Linear Group
\(\grad {p}\) $\quad:\quad$\grad {p} $\qquad$Gradient
\(\hav \theta\) $\quad:\quad$\hav \theta $\qquad$Haversine
\(\hcf\) $\quad:\quad$\hcf $\qquad$Highest Common Factor
\(\H\) $\quad:\quad$\H $\qquad$Set of Quaternions
\(\HH\) $\quad:\quad$\HH $\qquad$Hilbert Space
\(\hointl {a} {b}\) $\quad:\quad$\hointl {a} {b} $\qquad$Left Half-Open Interval
\(\hointr {a} {b}\) $\quad:\quad$\hointr {a} {b} $\qquad$Right Half-Open Interval
\(\horectl a b\) $\quad:\quad$\horectl a b $\qquad$Half-Open Rectangle (on the left)
\(\horectr c d\) $\quad:\quad$\horectr c d $\qquad$Half-Open Rectangle (on the right)
\(\ideal {a}\) $\quad:\quad$\ideal {a} $\qquad$Ideal of Ring
\(\II\) $\quad:\quad$\II $\qquad$that is: \mathcal I
\(\map \Im z\) $\quad:\quad$\map \Im z $\qquad$Imaginary Part
\(\Img {f}\) $\quad:\quad$\Img {f} $\qquad$Image of Mapping
\(\index {G} {H}\) $\quad:\quad$\index {G} {H} $\qquad$Index of Subgroup
\(\inj\) $\quad:\quad$\inj $\qquad$Canonical Injection
\(\Inn {S}\) $\quad:\quad$\Inn {S} $\qquad$Group of Inner Automorphisms
\(\innerprod {x} {y}\) $\quad:\quad$\innerprod {x} {y} $\qquad$Inner Product
\(\Int {\gamma}\) $\quad:\quad$\Int {\gamma} $\qquad$Interior
\(\intlimits {\dfrac {\map f s} s} {s \mathop = 1} {s \mathop = a}\) $\quad:\quad$\intlimits {\dfrac {\map f s} s} {s \mathop = 1} {s \mathop = a} $\qquad$Limits of Integration
\(\invlaptrans {F}\) $\quad:\quad$\invlaptrans {F} $\qquad$Inverse Laplace Transform
\(\JJ\) $\quad:\quad$\JJ $\qquad$that is: \mathcal J
\(\KK\) $\quad:\quad$\KK $\qquad$that is: \mathcal K
\(\laptrans {f}\) $\quad:\quad$\laptrans {f} $\qquad$Laplace Transform
\(\lcm \set {x, y, z}\) $\quad:\quad$\lcm \set {x, y, z} $\qquad$Lowest Common Multiple
\(\leadstoandfrom\) $\quad:\quad$\leadstoandfrom
\(\leftset {a, b, c}\) $\quad:\quad$\leftset {a, b, c} $\qquad$Conventional set notation (left only)
\(\leftparen {a + b + c}\) $\quad:\quad$\leftparen {a + b + c} $\qquad$Parenthesis (left only)
\(\len {AB}\) $\quad:\quad$\len {AB} $\qquad$Length Function: various
\(\LL\) $\quad:\quad$\LL $\qquad$that is: \mathcal L
\(\Ln\) $\quad:\quad$\Ln $\qquad$Principal Branch of Complex Natural Logarithm
\(\Log\) $\quad:\quad$\Log $\qquad$Principal Branch of Complex Natural Logarithm
\(\map {f} {x}\) $\quad:\quad$\map {f} {x} $\qquad$Mapping or Function
\(\MM\) $\quad:\quad$\MM $\qquad$that is: \mathcal M
\(\Mult\) $\quad:\quad$\Mult $\qquad$Multiplication as a Primitive Recursive Function‎
\(\NegativeBinomial {n} {p}\) $\quad:\quad$\NegativeBinomial {n} {p} $\qquad$Negative Binomial Distribution
\(\Nil {R}\) $\quad:\quad$\Nil {R} $\qquad$Nilradical of Ring
\(\nint {11.98}\) $\quad:\quad$\nint {11.98} $\qquad$Nearest Integer Function
\(\NN\) $\quad:\quad$\NN $\qquad$that is: \mathcal N
\(\norm {z^2}\) $\quad:\quad$\norm {z^2} $\qquad$Norm
\(\O\) $\quad:\quad$\O $\qquad$Empty Set
\(\OO\) $\quad:\quad$\OO $\qquad$that is: \mathcal O
\(\On\) $\quad:\quad$\On $\qquad$Ordinal Class
\(\openint {a} {b}\) $\quad:\quad$\openint {a} {b} $\qquad$Open Interval
\(\Orb S\) $\quad:\quad$\Orb S $\qquad$Orbit
\(\Ord {S}\) $\quad:\quad$\Ord {S} $\qquad$$S$ is an Ordinal
\(\order {G}\) $\quad:\quad$\order {G} $\qquad$Order of Structure, and so on
\(\Out {G}\) $\quad:\quad$\Out {G} $\qquad$Group of Outer Automorphisms
\(\paren {a + b + c}\) $\quad:\quad$\paren {a + b + c} $\qquad$Parenthesis
\(\Poisson {\lambda}\) $\quad:\quad$\Poisson {\lambda} $\qquad$Poisson Distribution
\(\polar {r, \theta}\) $\quad:\quad$\polar {r, \theta} $\qquad$Polar Form of Complex Number
\(\pounds\) $\quad:\quad$\pounds $\qquad$Pound Sterling
\(\powerset {S}\) $\quad:\quad$\powerset {S} $\qquad$Power Set
\(\PP\) $\quad:\quad$\PP $\qquad$that is: \mathcal P
\(\Preimg {f}\) $\quad:\quad$\Preimg {f} $\qquad$Preimage of Mapping
\(\map {\pr_j} {F}\) $\quad:\quad$\map {\pr_j} {F} $\qquad$Projection
\(\PV\) $\quad:\quad$\PV $\qquad$Cauchy Principal Value
\(\QQ\) $\quad:\quad$\QQ $\qquad$that is: \mathcal Q
\(\radians\) $\quad:\quad$\radians $\qquad$Radian
\(\Rad\) $\quad:\quad$\Rad $\qquad$Radical of Ideal of Ring
\(\ds \int \map f x \rd x\) $\quad:\quad$\ds \int \map f x \rd x $\qquad$Roman $\d$ for use in Integrals
\(\rD\) $\quad:\quad$\rD $\qquad$Differential Operator
\(y \rdelta x\) $\quad:\quad$y \rdelta x $\qquad$$\delta$ operator for use in sums
\(\map \Re z\) $\quad:\quad$\map \Re z $\qquad$Real Part
\(\relcomp {S} {A}\) $\quad:\quad$\relcomp {S} {A} $\qquad$Relative Complement
\(\rem\) $\quad:\quad$\rem $\qquad$Remainder
\(\Res {f} {z_0}\) $\quad:\quad$\Res {f} {z_0} $\qquad$Residue
\(\rightparen {a + b + c}\) $\quad:\quad$\rightparen {a + b + c} $\qquad$Parenthesis (right only)
\(\rightset {a, b, c}\) $\quad:\quad$\rightset {a, b, c} $\qquad$Conventional set notation (right only)
\(\Rng {f}\) $\quad:\quad$\Rng {f} $\qquad$Range of Mapping
\(\RR\) $\quad:\quad$\RR $\qquad$that is: \mathcal R
\(\sech\) $\quad:\quad$\sech $\qquad$Hyperbolic Secant
\(\Sech\) $\quad:\quad$\Sech $\qquad$Hyperbolic Secant
\(\sequence {a_n}\) $\quad:\quad$\sequence {a_n} $\qquad$Sequence
\(\set {a, b, c}\) $\quad:\quad$\set {a, b, c} $\qquad$Conventional set notation
\(\ShiftedGeometric {p}\) $\quad:\quad$\ShiftedGeometric {p} $\qquad$Shifted Geometric Distribution
\(\Si\) $\quad:\quad$\Si $\qquad$Sine Integral Function
\(\Sinh\) $\quad:\quad$\Sinh $\qquad$Hyperbolic Sine
\(\size {x}\) $\quad:\quad$\size {x} $\qquad$Absolute Value, and so on
\(\SL {n, \R}\) $\quad:\quad$\SL {n, \R} $\qquad$Special Linear Group
\(\Spec {R}\) $\quad:\quad$\Spec {R} $\qquad$Spectrum of Ring
\(\sqbrk {a} \) $\quad:\quad$\sqbrk {a}
\(\SS\) $\quad:\quad$\SS $\qquad$that is: \mathcal S
\(\Stab x\) $\quad:\quad$\Stab x $\qquad$Stabilizer
\(\stratgame {N} {A_i} {\succsim_i}\) $\quad:\quad$\stratgame {N} {A_i} {\succsim_i} $\qquad$Strategic Game
\(\struct {G, \circ}\) $\quad:\quad$\struct {G, \circ} $\qquad$Algebraic Structure
\(\StudentT {k}\) $\quad:\quad$\StudentT {k} $\qquad$Student's t-Distribution
\(\SU {n}\) $\quad:\quad$\SU {n} $\qquad$Unimodular Unitary Group
\(\Succ\) $\quad:\quad$\Succ $\qquad$Successor Function
\(\Syl {p} {N}\) $\quad:\quad$\Syl {p} {N} $\qquad$Sylow $p$-Subgroup
\(\T\) $\quad:\quad$\T $\qquad$True
\(\Tanh\) $\quad:\quad$\Tanh $\qquad$Hyperbolic Tangent
\(\tr\) $\quad:\quad$\tr $\qquad$Trace
\(\TT\) $\quad:\quad$\TT $\qquad$that is: \mathcal T
\(\tuple {a, b, c}\) $\quad:\quad$\tuple {a, b, c} $\qquad$Ordered Tuple
\(\UU\) $\quad:\quad$\UU $\qquad$that is: \mathcal U
\(\valueat {\dfrac {\delta y} {\delta x} } {x \mathop = \xi} \) $\quad:\quad$\valueat {\dfrac {\delta y} {\delta x} } {x \mathop = \xi}
\(\var {X}\) $\quad:\quad$\var {X} $\qquad$Variance
\(\vers \theta\) $\quad:\quad$\vers \theta $\qquad$Versed Sine
\(\VV\) $\quad:\quad$\VV $\qquad$that is: \mathcal V
\(\WW\) $\quad:\quad$\WW $\qquad$that is: \mathcal W
\(\XX\) $\quad:\quad$\XX $\qquad$that is: \mathcal X
\(\YY\) $\quad:\quad$\YY $\qquad$that is: \mathcal Y
\(\ZZ\) $\quad:\quad$\ZZ $\qquad$that is: \mathcal Z

Others may happen as and when I think of them. --prime mover (talk) 03:48, 25 August 2018 (EDT)

This is awesome! Thanks!! — Timwi (talk) 19:27, 27 August 2018 (EDT)

Public outreach

I have found on this site that a certain user was motivated to set up a blog about this site. I know how the story ended, and that setting up a blog was denied. I wonder, to what extent a no-go for the blog was given due to special circumstances? I understand that this additional task requires extra time, while a decentralized option would slow down the process due to opinion incompatibility. I myself would rather work on maths material rather than encourage discussions on a social platform. However, to what extent can one's contribution here be advertised elsewhere, barring appropriate disclaimers? --Julius (talk) 18:59, 9 May 2020 (EDT)

Which user was that? --prime mover (talk) 01:21, 10 May 2020 (EDT)
Thinking further on this, discussions on a social platform should not be a bad thing. If there's something wrong with the site, that's how we'd find out. We have a poor reputation everywhere (which is obviously understandable), and it would give would-be contributors the chance to rant about how bad we are.
Though I seem to recall you taking some issue with StackExchange, $\mathsf{Pr} \infty \mathsf{fWiki}$ is frequently mentioned there and got quite a positive review when users were asked about its reliability. Not to mention the fact that it is usually quite high up in google searches. I think this website is much better rated than you realise - though very few of these viewers go on to regularly contribute. It's expected that the majority of viewers will just find what they're looking for, and leave, (as is the case with Wikipedia) but it'd be useful to find out if there's any specific reasons people pass on contributing. Caliburn (talk) 09:07, 10 May 2020 (EDT)
Ouch. Yes, I've been looking at [1], and it's seriously embarrassing. If only the people who have found all these mistakes had told us about them. This is appalling. --prime mover (talk) 09:28, 10 May 2020 (EDT)
Here's an example:
Wow I do not like the way those statements are worded at all. I also think it is a grave mistake to package the statement that ∅,S∈τ with empty unions and intersections. – Cameron Williams May 5 at 12:23
@CameronWilliams: I agree it's not pretty (in fact, the whole concept of ProofWiki is not very pretty at all). But logically it's correct. – Lee Mosher May 5 at 12:32
@LeeMosher 100% agreed for sure. I've had my issues with ProofWiki in the past but this one blows those out of the water for me. Pedagogically this drives me up the wall haha. – Cameron Williams May 5 at 12:40
which says it all, really. Basically, then, $\mathsf{Pr} \infty \mathsf{fWiki}$ is rubbish. --prime mover (talk) 09:51, 10 May 2020 (EDT)
There are only a few hundred results down that link. Let's say that each of them involves 10 distinct people (which is very generous). Assuming all of them have problems with this site, this would sum up to a few thousand negative comments over several years. Now based on Alexa ranking we have roughly 6k-10k visitors per day. So, we are drawing conclusions from a severely misrepresented sample. Instead, we can turn this into a constructive thing. Once in a while scan the field, look for a misunderstanding, if possible, fix it, and report it there. This way the question is addressed, and people notice that feedback works. As for others who do not like our style - this is not a theorem beauty contest, and they are welcome to look elsewhere. 6k per day is a good achievement, especially for such dry material.--Julius (talk) 11:19, 10 May 2020 (EDT)
I tried to get involved with StackExchange once. You can't actually contribute to a thread unless you have earned so-much reputation. To do this you have to ask questions. So I tried that. I posed up a question, had no replies, no messages, nothing. When I went to take a look at it a week or two later, I found someone had deleted it. At that point I decided life was too short to waste time on it. If it were only a little more accessible, then maybe it would be worth doing, but I'm obviously not of a high enough mathematical level for it. So I can fix stuff, but it will be up to someone else to post up a reply to SpackExchange. --prime mover (talk) 11:40, 10 May 2020 (EDT)
Note we already have a facebook group, as well as a twitter account. Nobody really seems to use them much. --prime mover (talk) 04:19, 10 May 2020 (EDT)
If someone (admin or someone who could be made an admin) is more social media savvy than me, they're welcome to post on our social media accounts. --Joe (talk) 11:44, 11 May 2020 (EDT)
I had this user in mind.
He had a lot of "good ideas" including incorporating this site into another, affiliating us with a university, selling us to a company, completely changing our presentational style and philosophy, and so on. We eventually had to disallow his continued contribution, as (among other things) he would not stop taking on colossal restructuring tasks and not following through, leaving the site in an inconsistent state, requiring a large amount of work of other people to put it right.
As for the comment about the blog, as I say, I started writing a blog but was told I was not allowed to, so I stopped. Don't know what the problem is myself, but I like my internet access and I didn't want it to stop just because of the whim of some fascist. --prime mover (talk) 05:52, 10 May 2020 (EDT)
Who was this down to? Sounds like an extremely counterintuitive move. This is a public wiki, we're not exactly sworn to secrecy. Caliburn (talk) 09:16, 10 May 2020 (EDT)
Someone on Quora, I believe. Something about copyright and attribution and so on, and the fines that can be imposed upon violators. --prime mover (talk) 09:28, 10 May 2020 (EDT)
It sounds weird that someone had a problem with a blog and not with the site itself. I mean, this site generates small income to keep the server running. Maybe low traffic actually helps us to avoid big fish. Either way, what can one man do?--Julius (talk) 11:19, 10 May 2020 (EDT)
I don't follow the issue with the blog. Who's not allowing who to have a blog? From ProofWiki's prospective a blog is fine so long as our license is not violated. I'm also not against starting/hosing our own blog, but we'd need to have people actually want to contribute to it. --Joe (talk) 11:44, 11 May 2020 (EDT)
As I say, I did start a blog at one point as a subpage of my user page but got told to take it down, so I did. That would have been back in, I dunno, 2012 or 2013 or something. It might have been because it was substandard or something. I'll see if I can reinstate it if you like. Don't know how it would increase site visibility though. --prime mover (talk) 12:04, 11 May 2020 (EDT)
I found your old blog and tried to pick though past discussions. I think this was around the time we were trying to figure out our format. Also maybe not all your blog posts were purely mathematical in nature :). Also, to be honest, that was a long time ago. Feel free to blog about whatever (within reason obviously) you want on your blog subpage. With respect to the above mentioned user. I suspect the primary issue (though I don't remember) was that we often get new people who don't stay around who want to totally rearrange everything. At this point in time I'd be happy to start of official blog assuming: primve mover and Lord_Farin agree, and we have someone(s) willing to write. --Joe (talk) 12:44, 11 May 2020 (EDT)
If anyone wants to start a blog, let them feel free, if they have something clever and interesting to write on a regular basis. I've looked back at my own effort and I can't see anything there particularly worth enshrining or even preserving, but if someone feels like rattling off a regular essay I'm not stopping them. --prime mover (talk) 17:59, 11 May 2020 (EDT)
I'm a bit confused too - ProofWiki's license is incredibly flexible (basically, do whatever you want as long as you attribute it and release it under the same license) so I can't see how a problem with licensing or the like would arise. I'd be happy to contribute. Caliburn (talk) 11:47, 11 May 2020 (EDT)
I believe that at the moment people simply cannot distinguish us from the noise. Those at higher echelon, like PhD students simply cannot find their stuff here, while undergrads often are not aware of our existence, or they consider us to be yet another personal wiki hobby. I am a PhD student in theoretical physics, and none of my colleagues have heard of this site. I even had to stress that we are not a branch of Wikipedia.
Considering how linear maths is (everything you learn builds upon what you've learnt before), to start adding in substantial amounts of research material you'd need a good amount of graduate material, for which you'd need a good amount of undergraduate material. Due to our lack of contributors, sometimes these foundations just don't exist and indeed users with the knowledge to add such content are scarce. You mention theoretical physics, but even our coverages of basic classical mechanics and electromagnetism are microscopic, so it'd take a lot of time and many dedicated contributors to build it up enough to have PhD-level content on there. Most of our problems boil down to a lack of contributors, for which I agree outreach can only be a good thing. Caliburn (talk) 09:07, 10 May 2020 (EDT)
I've started on both E-M and QM but the work is slow because that's what I'm like. I get to a concept that I think: that's too much like hard work I'm going to do something easier, and I go and do something else. Takes a while to get back to it. --prime mover (talk) 09:10, 10 May 2020 (EDT)
Yeah that's fair enough, these things take time and with a lot to do you can easily find yourself skipping between things. It's not really anything we're doing wrong (that I know of) - it's just a lack of active contributors. Caliburn (talk) 09:16, 10 May 2020 (EDT)
Then I also had a short conversation on Reddit. There were few responses, most of them telling "good job", and one with more basic comments about the website (e.g. what does $\leadsto$ mean, and why we don't have a link to a dictionary of such symbols on the main page). I think that regularly throwing out something on FB or TW, should it be more serious or just a shared meme, or referring to us in YouTube comment section in a reasonable way would show the world that we are alive (20000 theorems don't matter if nobody knows, that there are 20000 theorems).
I can't comprehend the mindset that claims (in the context it is seen) that they don't know what $\leadsto$ means. I mean, we make a pretty good job of declaring our definitions as we use them (this being one of the main bones of contention), but it becomes a bit much when our usefulness is seen to be limited because there are people who not only don't know, but can't even work out, what this most basic bit of mathematical punctuation means.
The reason why we don't have a link to a dictionary of such symbols on the main page is because we honestly never dreamed that mathematicians would need it. Although we say we include links to definitions of all terms used on every page, we never went to the detail of defining every single mathematical symbol used, on the grounds that some stuff we think everybody knows. But if it is indeed the case that mathematicians do need such an aid to understanding, then I expect it will fall to someone to have to take on this reponsibility. --prime mover (talk) 06:01, 10 May 2020 (EDT)
Also, there are more statistics-based tools to gauge this, like alexa ranking. Even on I can see which websites we are giving up to, which keywords are missing here, and what traffic comes from various countries. Working on these numbers would improve popularity in an indirect way. --Julius (talk) 05:18, 10 May 2020 (EDT)
I'll leave that up to someone else, because, seriously, I don't care in the tiniest slightest. It is acknowledged that this site is of limited worth, and the only thing that will improve it is a complete redesign from the ground up (or even, as many commentators say, deleting the thing and completely removing it from the web), but for those of us with limited opportunity to interact with the outside world, it gives us something to do to fill our twilight years. --prime mover (talk) 06:01, 10 May 2020 (EDT)

Sorry I didn't respond earlier to this discussion, I completely missed it. If someone has ideas with what we should doing better for community outreach and wants to help, please let me know. --Joe (talk) 11:46, 11 May 2020 (EDT)

I made a Reddit community. If any of you use it, I can make you a moderator. It will take some time before it starts looking solid. In the nearest future I am planning to design it according to some simplified version of more established math communities. As for Twitter, I saw that Wikipedia simply puts fun facts on theirs. Not sure how to make this work for math. Since messages there are supposed to be brief, I guess a more humorous approach would work. Otherwise, I believe that we simply have to visit various forums and YouTube comment sections and refer to this site whenever there is a genuine relevance. I believe that since we would start this from scratch, we should simply look for channels used by more authoritative sites.--Julius (talk) 18:21, 11 May 2020 (EDT)
Good idea! Will be lurking on there. (supposed I should reduce my footprint so I'll be commenting under /u/PWCaliburn) Caliburn (talk) 18:34, 11 May 2020 (EDT)
I lurk on Reddit as /u/joejoebob —Joe (talk) 20:14, 12 May 2020 (EDT)

A bit late to the party, but please know I've caught up with all the above and I'm totally fine with any blog/Reddit/YT/FB presence as long as it is made in good faith. — Lord_Farin (talk) 13:47, 24 May 2020 (EDT)


I've now been through the list of issues raised at Stackexchange. (Or at least, most of them, there was a lot.) I've fixed the obvious mistakes, but I'm not sure how to handle all of them. But issues fixed or not, there's no denying that we are very much considered substandard, to such an extent that it is believed we should not exist.

Is this the point where we decide to wrap it up and admit there's not much point trying to keep this site going? --prime mover (talk) 01:11, 11 May 2020 (EDT)

No, it isn't. For each successful fix the complaint is resolved and the old negative conclusion becomes irrelevant. I also find any constructive comment (or the link thereof) from elsewhere copied on the respective discussion page useful. Then everybody can see what is there to be done. --Julius (talk) 02:26, 11 May 2020 (EDT)
I think we can address issues that make sense to us. I'm sure we'll never be able to make everyone happy. --Joe (talk) 11:47, 11 May 2020 (EDT)
SE is also a place where everyone can disagree with whatever they want because their own style is supposedly superior. But without the responsibility of actually making something worthwhile that could be argued about. In that sense high-level criticisms are often not much more than a matter of taste. — Lord_Farin (talk) 13:47, 24 May 2020 (EDT)

Terminology: Real Number Line or Real Number Space?

For reasons of clarity of understanding, I am trying to emphasise the difference in concept between:

the real number line, which is the set of real numbers under the usual ordering


Real Number Line is Metric Space, where $\R$ has the Euclidean metric imposed on it (which I never got round to defining as a definition page)


the real number space, which is the topological space induced by the Euclidean metric $\map {d_2} {x, y} := \sqrt {x^2 + y^2}$ on the real number line.

I'm at a loss as to what to call these things. I have found that at one point I started to use real number space without any authoritative backup, and it can of course be confused with for example $\struct {\R^n, \d_2}$.

There's a good reason for separating them out: because for example:

you can define a metric space with the real number line with different metrics on than just the Euclidean one


you can define a topological space with the real number line without reference to a metric at all (for example, the real number line under the discrete metric, as is done for example in Double Pointed Discrete Real Number Space is not Lindelöf‎.

I want to refactor this whole area so as to be consistent, and merge a number of pages which are the same, for example Definition:Real Number Space and Definition:Euclidean Space/Euclidean Topology/Real Number Line but I need advice as to what to name these things for maximum clarity and minimum unwieldiness.

Advice? --prime mover (talk) 06:05, 31 May 2020 (EDT)

Further thoughts: Definition:Real Number Line, Definition:Real Number Line (Metric Space), Definition:Real Number Line (Topological Space) and similar for the plane and $3$-space? --prime mover (talk) 07:25, 31 May 2020 (EDT)
Actually I'm not sure about Definition:Real Number Line (Topological Space) because that doesn't leave it open for different topologies to be applied.
Could also go with Definition:Real Number Line (Euclidean Space) but that doesn't distinguish between that and the RNL as a Metric Space.
Yes I know they are the same thing, but as I say, I want to leave it open for different metrics and different topologies, and lumping the real number line, the RNL as a metric space under the Euclidean metric and the RNL under the topology induced by the Euclidean metric leaves us in danger of not being able to establish the specific chain of proofs which demonstrates rigorously that they *are* all the same thing. We also want to make sure we can provide the framework to equally rigorously prove that an "open set" in the context of a topological space is an "open set" in the context of a metric space is a union of "open intervals" in the real number line. Yes I know we've already got that chain of proofs in place, the point is the framework into which it is included is unstructured and duplicated. Similar applies to compactness. --prime mover (talk) 08:08, 31 May 2020 (EDT)
My suggestions would be Definition:Real Number Line, Definition:Real Number Line (Euclidean Metric) or Definition:Real Number Line (Euclidean Metric Space), Definition:Real Number Line (Euclidean Topology) or Definition:Real Number Line (Euclidean Topological Space) --Leigh.Samphier (talk) 10:04, 31 May 2020 (EDT)
Another thought: Definition:Real Number Line, Definition:Real Euclidean Line, Definition:Real Euclidean Topological Line --Leigh.Samphier (talk) 10:17, 31 May 2020 (EDT)
Or Definition:Real Number Line under Euclidean Metric, Definition:Real Number Line under Euclidean Topology -- but I wonder what the correct preposition or conjunction ought to be: "under", "with", "endowed with", "bearing", something along those lines, maybe. The "main" page perhaps ought to be Definition:Euclidean Space/Euclidean Topology/Real Number Line with a redirect, and similarly for the metric space. Then the 2d and 3d versions can be implemented similarly. --prime mover (talk) 15:28, 31 May 2020 (EDT)
In differential geometry, one usually endows or equips a manifold with a metric. In colloquialisms "with" is used very often, i.e. "A manifold together with a Riemannian metric is called a Riemannian manifold". I cannot remember anyone use "under" or "bearing".--Julius (talk) 17:42, 31 May 2020 (EDT)
"with" works for me then. When I'm less tired I'll go with that. --prime mover (talk) 18:22, 31 May 2020 (EDT)
I think "with" is standard. Its typically "real numbers with usual topology". --Leigh.Samphier (talk) 20:07, 31 May 2020 (EDT)
Another concern I have is with the term "Euclidean Space" which currently refers to the "Metric Space". The term "Euclidean space" refers to the fact that it satisfies the axioms of "Euclidean Geometry" which to me suggests that is should at least refer to the "Inner Product space". Subtly different things. We should think about how to distinguish the "metric space", the "normed vector space", the "inner product space" and the "Hilbert space" --Leigh.Samphier (talk) 20:07, 31 May 2020 (EDT)
Okay scratch "Euclidean Space", replace it whenever used with "Euclidean Metric" and "Euclidean Topology" or "Euclidean Norm" etc. unless used to encompass all concepts. OTOH there's already a refactor request for Definition:Euclidean Space, which should be either a (better crafted) top-level parent page for a complicated system of transclusion (hard work) or a disambiguation page (less optimal). --prime mover (talk) 01:25, 1 June 2020 (EDT)

So far so good. We now have Category:Real Number Line with Euclidean Metric and Category:Real Number Line with Euclidean Topology, and all references to "Real Number Space" in the context of the real number line have been removed.

I suppose the next exercise would be to do the same for "real number plane", although I can see that Definition:Rational Number Space is also crying out for the same treatment.

"Real number plane" has the added complication that there is more than one way to structure such a plane, standard Cartesian coordinates, oblique Cartesian coordinates, polar coordinates ... so I will also have to take into account Definition:Cartesian Plane and all subsequent entities. Not today, I need a break. --prime mover (talk) 09:08, 1 June 2020 (EDT)

Linking books to pages

Is it allowed to endow chapters in the book section with a link to a page, say, corresponding to the first entry from the given chapter? This would make the navigation easier.--Julius (talk) 15:45, 25 June 2020 (EDT)

The trouble with giving a page number is that a different printing may result in the citation referring to the wrong page. It should not matter. A reader who is following a book by means of the previous and next links will already know what page he is on. And if the user is not able to follow the book, then it will not matter anyway what page the result is on. In most texts, the chapter, section and item number (if given) should be enough to pinpoint the page anyway, to a pretty good extent. A book which does not have section numbers, and no means of identifying the location of the citation than a chapter number, would probably be quite rare.
In the interests of consistency, if we started giving page numbers for one work, we would need to do it for them all in order to regain consistency, and I just don't have the steam. --prime mover (talk) 15:57, 25 June 2020 (EDT)
I should have put this differently. Here is an example (compare with this):



1. Normed and Banach spaces

1.1 Vector spaces
1.2 Normed spaces
1.3 Topology of normed spaces
1.4 Sequences in a normed space; Banach spaces


Here every section is linked to the first item I decided to extract from the given section. No page numbers are involved. This would be a one-way trip (book $\to$ page on ProofWiki) unless we develop a template to go back and forth between different printings. Table of contents format visually would not be affected very much, but it would be more interactive. --Julius (talk) 06:26, 26 June 2020 (UTC)
Oh yes I see what you mean. Yes, we've done that for some books. It's just tedious to do, and you can only really do it after you have processed the book. --prime mover (talk) 08:04, 26 June 2020 (UTC)

Problem with Chessboard

I've noticed that the file File:Chessboard480.svg is not being rendered properly at the moment. It comes onto the page as a black square:


But if you click on its image in the actual image itself (e.g. in the "Original file" link) it appears as it should:

You can see an example of a black chessboard on page Definition:Chess/Chessboard.

Has something been changed in the rendering software?

--prime mover (talk) 13:08, 3 July 2020 (UTC)

I've fixed this for now by replacing File:Chessboard480.svg with File:Chessboard-480.png which seems to work as well, except for in the doc file for Module:Chessboard, which seems to have rendering problems. --prime mover (talk) 21:32, 3 July 2020 (UTC)
There are still a couple of chess pieces whose svgs are not being rendered properly: Chess qdt45.svg and Chess rdt45.svg
... and those dodgy chess pieces have now been fixed. The svg source code was faulty. For some reason they worked well enough before this latest recent change. The rendering s/w must be more stringent. No worries. --prime mover (talk) 22:00, 3 July 2020 (UTC)
Probably related to a recent server upgrade I did. I'll look into it later this week. --Joe (talk) 00:50, 4 July 2020 (UTC)
This should be resolved now. You'll need to be sure to clear your browser cache. --Joe (talk) 16:12, 5 July 2020 (UTC)
And it is done. Thank you. --prime mover (talk) 19:19, 5 July 2020 (UTC)

Formulæ displication sans “client-side scripting?”

Presently, it seems to me that displication of formulæ from $\mathsf{Pr} \infty \mathsf{fWiki}$ requires “client-side scripting.“ A user might prefer (possibly æsthetically worse) formulæ displication sans “client-side scripting.” Indirigible (talk) 00:50, 29 July 2020 (UTC)

That would be nice to have, though I haven't looked into options for this yet. --Joe (talk) 15:17, 3 August 2020 (UTC)

Cartesian Coordinate Systems

I'm in the process of refactoring the Definition:Cartesian Coordinate System and related work. The original way it was done was by lots of transcluding, which made a lot of large unwieldy pages. I'm simplifying it down so as not to do so much transclusion, and instead using Also see to bring in the various cases (in particular, Cartesian Plane and Cartesian 3-Space).

This was made necessary by the fact that I am embarking on the work to bring 3-dimensional analytical geometry into play, as well as some of the basic physics of ordinary space. All of this needs a fairly solid underpinning of 3-d coordinate geometry. When we start to address curvilinear coordinates there will be another layer of complexity, so we need our ducks in a row here. --prime mover (talk) 22:36, 11 October 2020 (UTC)

It was all so clear in my mind this afternoon. Now I've lost it again. I'm going to abandon my mission to rationalise the work on vector spaces, there are too many short-sighted and oversimplified interpretations of what a vector is and I can't think my way through them all. It will have to wait till I've slept. --prime mover (talk) 16:20, 21 October 2020 (UTC)

Refactoring around Limits and Continuity on real number line

I have simplified the structure around Definition:Continuous Real Function at Point and Definition:Limit of Real Function. The 2 definitions for continuity that we had have been moved into 2 different definitions for limit points, and the definition of continuity is now defined solely in terms of limit points.

Hence the sources which did not start with the concept of limit point, but merely defined continuity directly in the language of the epsilon-delta of the limit definition, may now not be accurately reflected in the structure of the pages now here. Not sure how much this matters. Probably best to invoke the Limit Point definition 1 in the source citation flow somewhere, despite the fact that the actual concept of a limit may not actually be included in those source works. --prime mover (talk) 21:37, 15 November 2020 (UTC)

Refactoring Inverse Hyperbolic Functions

I have restructured and renamed as necessary the pages concerning inverse hyperbolic functions as follows:

a) I have been sternly schooled as to when it may or may not be appropriate to use, for example, $\cosh^{-1}$ and $\arcosh$. Current thinking is that $\cosh^{-1}$ is "not nice" because it does not adequately allow for the fact that (in the real case) it has two branches, and the same with $\sech^{-1}$. Hence for the usual case where the single branch is required, $\arcosh$ is proper.

b) There is no such thing as "hyperbolic arc-functions". They are properly "area hyperbolic functions". Many sources denote them as, for example $\operatorname {arccosh}$ and so on, but on $\mathsf{Pr} \infty \mathsf{fWiki}$ we are not going to do that.

I have written a number of explanatory "also known as" pages which lay all this out and present it on the appropriate pages.

It remains to amend the pages which reference these functions, which I will proceed to address in due course.

This was all brought on by my attempts to resolve the last few remaining incomplete proofs of primitives in this area. I confess I had to resort to asking questions on Math StackExchange over the last couple of weeks. --prime mover (talk) 13:28, 3 January 2021 (UTC)

Complete Frustration

I cannot figure out specifically where to enter a question.

I contributed an entry to Proofwiki which required an explanation. That entry did not appear on the edit page.

Below is the challenged statement:

"The Collatz sequence consists of instances of a single odd term interspersed by one or more even terms. The sequence grows if and only if there is only a single even term between two successive odd terms.

Consider the following sequences:

31→94→47 2051→6154→3077 The ratio between the last and first terms is 1.5

41→124→62→31 233→700→350→175 Here the ratio is 0.75

2429→7288→3644→1822→911 Now it is 0.3785

I For a sufficiently large set of 3 term sequences, approximately 50% will have one even term and 50% will have two or more even terms.

Question.png This article, or a section of it, needs explaining, namely: What is the reasoning behind that last statement? You can help Pr∞fWiki by explaining it. To discuss this point in more detail, feel free to use the talk page.

If you are able to explain it, then when you have done so you can remove this instance of

from the code.

I explain it thus. In a CS you divide the "3x+1 term by 2 until it becomes an odd number. 50% of the even terms are divisible only by 2. The other 50% are divisible by 4,8 16, ... . Everybody should know that? Senojesse (talk) 00:12, 23 January 2021 (UTC)

Nobody else seems to have problems navigating. What browser are you using? You should see a link at the top of every page you navigate to saying "Discussion". You will find that link at the top of the Collatz Conjecture page.
Half of all even numbers are divisible only by 2. The other 50% are divisible by 4,8 16. Yes, no arguments there.
But what you have not proved is that half of the even entries in a Collatz sequence are divisible only by 2, and that half of the even entries of a Collatz sequence are divisible by 4.
It is not true of all sequences. Take for example the sequence: $\sequence {s_n}_{n \mathop \in \N} := 2^n$. It goes: $1, 2, 4, 8, 16, \ldots$ and it is trivially noted that only the second term is divisible only by 2. The subsequent terms are all divisible by $4$.
So if it not true of all sequences, then it is not necessarily true of a Collatz sequence. It is not true, for example, of the Collatz sequence which starts from, for example, $2048$. Investigate that sequence and work out exactly how many are divisible by $4$. --prime mover (talk) 08:04, 23 January 2021 (UTC)