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
\(\arcsec\) $\quad:\quad$\arcsec $\qquad$Arcsecant
\(\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
\(\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$Euler's number
\(\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} {\mathcal R}\) $\quad:\quad$\eqclass {x} {\mathcal R} $\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
\(\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
\(\displaystyle \int \map f x \rd x\) $\quad:\quad$\displaystyle \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 https://www.alexa.com/siteinfo/proofwiki.org 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)

Stackexchange

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

and:

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)

and:

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

and

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 Coordinate 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):

...

Preface

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:

Chessboard480.svg

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

https://proofwiki.org/w/images/d/d7/Chessboard480.svg


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)