All public logs

Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 04:48, 4 April 2025 Fake Proof talk contribs created page Talk:Prime Numbers which Divide Sum of All Lesser Primes (Created page with "== 2 == The sums include the primes themselves. Otherwise $2$ would be excluded from the sequence. --~~~~")
• 10:37, 16 March 2025 Fake Proof talk contribs deleted page Definition talk:Formal Language/Primitive Symbol (Broken redirect: content was: "#REDIRECT User talk:Lord Farin/Backup/Definition:Formal Language/Primitive Symbol", and the only contributor was "Lord Farin" (talk))
• 10:37, 16 March 2025 Fake Proof talk contribs deleted page Definition talk:Formal Language/Vocabulary (Broken redirect: content was: "#REDIRECT User talk:Lord Farin/Backup/Definition:Formal Language/Vocabulary", and the only contributor was "Lord Farin" (talk))
• 10:37, 16 March 2025 Fake Proof talk contribs deleted page Definition talk:Limit Point of Set (Broken redirect: content was: "#REDIRECT Definition talk:Limit Point/Topology/Set", and the only contributor was "Abcxyz" (talk))
• 06:59, 11 June 2023 Fake Proof talk contribs moved page Birkhoff orthogonality to Definition:Birkhoff Orthogonality without leaving a redirect
• 07:47, 13 May 2023 Fake Proof talk contribs deleted page Definition talk:Primitive Root (content was: "#REDIRECT Definition talk:Primitive Root (Number Theory)", and the only contributor was "Fake Proof" (talk))
• 07:37, 13 May 2023 Fake Proof talk contribs moved page Definition:Primitive Root to Definition:Primitive Root (Number Theory) (disambiguation)
• 07:37, 13 May 2023 Fake Proof talk contribs moved page Definition talk:Primitive Root to Definition talk:Primitive Root (Number Theory) (disambiguation)
• 04:40, 30 April 2023 Fake Proof talk contribs deleted page Characteristic Function of Random is Well-Defined (renamed. content was: "#REDIRECT Characteristic Function of Random Variable is Well-Defined", and the only contributor was "Fake Proof" (talk))
• 04:39, 30 April 2023 Fake Proof talk contribs moved page Characteristic Function of Random is Well-Defined to Characteristic Function of Random Variable is Well-Defined
• 14:19, 28 April 2023 Fake Proof talk contribs deleted page Definition:Absorbing element (Help:Page Naming#Capitalizing. content was: "#REDIRECT Definition:Zero Element")
• 14:06, 15 April 2023 Fake Proof talk contribs deleted page Definition talk:Surface (Broken redirect: content was: "#REDIRECT Definition talk:Surface (Geometry)", and the only contributor was "Prime.mover" (talk))
• 10:50, 9 April 2023 Fake Proof talk contribs created page Talk:Element of Integral Domain Divides Zero (Created page with "== zero divisor == An integral domain has no proper zero divisors by definition. It seems that ''a divisor of zero'' and ''a zero divisor'' are different. --~~~~")
• 11:37, 15 March 2023 Fake Proof talk contribs created page Talk:Two-Step Vector Subspace Test (Created page with "== Submodule Test == I think Submodule Test can be used, either directly or using similar idea. --~~~~")
• 11:01, 15 March 2023 Fake Proof talk contribs deleted page Primitive of Cosine Function/Proof 3 (content was: "#REDIRECT Primitive of Cosine Function/Corollary 2", and the only contributor was "Prime.mover" (talk))
• 10:33, 15 March 2023 Fake Proof talk contribs created page Definition:Realization of Type (Redirected page to Definition:Type#Realization) Tag: New redirect
• 10:44, 18 October 2022 Fake Proof talk contribs moved page Complex Rationals are Everywhere Dense in Complex Numbers to Gaussian Rationals are Everywhere Dense in Complex Numbers
• 10:44, 18 October 2022 Fake Proof talk contribs moved page Talk:Complex Rationals are Everywhere Dense in Complex Numbers to Talk:Gaussian Rationals are Everywhere Dense in Complex Numbers
• 13:22, 14 September 2022 Fake Proof talk contribs created page Category:Limit of x to the x (Created page with "{{SubjectCategory|result = Limit of x to the x}} Category:Examples of Limits of Real Functions")
• 13:21, 14 September 2022 Fake Proof talk contribs moved page User:Fake Proof/Sandbox/Limit of x to the x to Limit of x to the x/Proof 2 without leaving a redirect
• 13:21, 14 September 2022 Fake Proof talk contribs created page Limit of x to the x/Proof 1 (Created page with "== Theorem == Let $f: \R_{>0} \to \R$ be defined as: :$\forall x \in \R_{>0}: \map f x = x^x$ Then: :$\ds \lim_{x \mathop \to 0^+} x^x = 1$ == Proof == <onlyinclude> {{begin-eqn}} {{eqn | l = \lim_{x \mathop \to 0^+} x^x | r = \lim_{x \mathop \to 0^+} \map \exp {x \ln x} | c = {{Defof|Power (Algebra)|subdef = Real Number|index = 1}} }} {{eqn | r = \map \exp {\lim_{x \mathop \to 0^+} x \ln x} | c = Exponential Function is Continuous/Real Numbers|E...")
• 13:04, 14 September 2022 Fake Proof talk contribs deleted page User:Fake Proof/Sandbox/Lyapunov Function (abandoned)
• 08:48, 13 September 2022 Fake Proof talk contribs deleted page 360 divides a^2 (a^2 - 1) (a^4 - 4) (content was: "#REDIRECT 360 divides a^2 (a^2 - 1) (a^2 - 4)", and the only contributor was "Fake Proof" (talk))
• 07:54, 13 September 2022 Fake Proof talk contribs moved page 360 divides a^2 (a^2 - 1) (a^4 - 4) to 360 divides a^2 (a^2 - 1) (a^2 - 4) (typo)
• 08:49, 25 August 2022 Fake Proof talk contribs deleted page Definition:Definition:Substitution (Formal Systems)/Well-Formed Part/Example (content was: "#REDIRECT Definition:Substitution (Formal Systems)/Well-Formed Part/Example", and the only contributor was "Lord Farin" (talk))
• 08:49, 25 August 2022 Fake Proof talk contribs deleted page Definition:Definition:Sealed-Bid Auction/Second Price (content was: "#REDIRECT Definition:Sealed-Bid Auction/Second Price", and the only contributor was "Prime.mover" (talk))
• 08:49, 25 August 2022 Fake Proof talk contribs deleted page Definition:Definition:Partial Derivative/Higher Derivative/Fourth Derivative (content was: "#REDIRECT Definition:Partial Derivative/Higher Derivative/Fourth Derivative", and the only contributor was "Prime.mover" (talk))
• 11:41, 23 August 2022 Fake Proof talk contribs created page Category:Nesbitt's Inequality (Created page with "{{SubjectCategory|result = Nesbitt's Inequality}} Category:Algebra Category:Inequalities")
• 11:40, 23 August 2022 Fake Proof talk contribs created page Nesbitt's Inequality/Proof 2 (Created page with "== Theorem == {{:Nesbitt's Inequality}} == Proof == <onlyinclude> Let: {{begin-eqn}} {{eqn | l = S | r = \frac a {b + c} + \frac b {c + a} + \frac c {a + b} }} {{eqn | l = M | r = \frac b {b + c} + \frac c {c + a} + \frac a {a + b} }} {{eqn | l = N | r = \frac c {b + c} + \frac a {c + a} + \frac b {a + b} }} {{end-eqn}} Then: {{begin-eqn}} {{eqn | n = 1 | l = M + N | r = \frac {b + c} {b + c} + \frac {c + a} {c + a} + \frac {a + b} {a + b...")
• 11:40, 23 August 2022 Fake Proof talk contribs created page Nesbitt's Inequality/Proof 1 (Created page with "== Theorem == {{:Nesbitt's Inequality}} == Proof == <onlyinclude> {{begin-eqn}} {{eqn | l = \frac a {b + c} + \frac b {a + c} + \frac c {a + b} | o = \ge | r = \dfrac 3 2 }} {{eqn | ll= \leadstoandfrom | l = \frac {a + b + c} {b + c} + \frac {a + b + c} {a + c} + \frac {a + b + c} {a + b} | o = \ge | r = \frac 9 2 | c = by adding $3$ }} {{eqn | ll= \leadstoandfrom | l = \frac {a + b + c} {b + c} + \frac {a + b + c} {a + c} + \fr...")
• 15:47, 7 April 2022 Fake Proof talk contribs created page Talk:Skewness of Hat-Check Distribution (Created page with "== suspicion == I calculated the skewness of $X$ with Excel™ [https://support.microsoft.com/en-us/office/skew-p-function-76530a5c-99b9-48a1-8392-26632d542fcb <code>SKEW.P</code>] function. The result is $0$ for $n = 2$, and $-1$ for $n = 3, 4, 5$. (The page says this function requires at least only one parameter above, but at least $3$ data below. BTW <code>SKEW.P(0, 0, 2, 2)</code> for $n = 2$.) When $n = 1$, $\var X = 0$ (See Talk:Variance of Hat-Check Distrib...")
• 09:54, 6 April 2022 Fake Proof talk contribs created page Talk:Variance of Hat-Check Distribution (Created page with "This theorem holds for $n \ge 2$. When $n = 1$, trivially $\var X = 0$. What's wrong? In fact, $\ds \sum_{k \mathop = 0}^{n - 1} \frac k {\paren {n - 1 - k}!} \sum_{s \mathop = 0}^k \dfrac {\paren {-1}^s} {s!} = n - 2$. --~~~~")
• 15:15, 2 April 2022 Fake Proof talk contribs created page Talk:Primes Expressible as x^2 + n y^2 for all n from 1 to 10 (Created page with "== OEIS == {{OEISLink|A139665}} This seems to be the same sequence. --~~~~")
• 13:18, 30 March 2022 Fake Proof talk contribs created page User:Fake Proof/Sandbox/Limit of x to the x (Created page with "== Theorem == $\ds \lim_{x \mathop \to 0^+} x^x = 1$ == Proof == <onlyinclude> {{begin-eqn}} {{eqn | l = \lim_{x \mathop \to 0^+} x^x | r = \lim_{x \mathop \to 0^+} \map \exp {x \ln x} | c = {{Defof|Power (Algebra)|subdef = Real Number|index = 1}} }} {{eqn | r = \map \exp {\lim_{x \mathop \to 0^+} x \ln x} | c = Exponential Function is Continuous }} {{eqn | r = \exp 0 | c = Limit of Power of...")
• 12:38, 30 March 2022 Fake Proof talk contribs created page Talk:Primitive of Power of x over Logarithm of x (Created page with "== question == What is $n$? And why does the summation expand to only $3$ terms? Also see Primitive of Reciprocal of Logarithm of x and Primitive of Exponential of a x over x. --~~~~")
• 01:24, 30 March 2022 Fake Proof talk contribs created page Open Subset of Locally Connected Space is Locally Connected/Lemma (Created page with "== Lemma == <onlyinclude> Let $T = \struct {S, \tau}$ be a topological space. Let $U$ be a connected set. Let $A$ be a subset of $T$ such that $U \subseteq A$. Let $\tau_A$ be the subspace topology on $A$ induced from $T$. Then $U$ is connected in the topological subspace $\struct {A,...")
• 12:20, 28 March 2022 Fake Proof talk contribs created page Universal Property of Abelianization of Group/Proof 2 (Created page with "== Theorem == {{:Universal Property of Abelianization of Group}} == Proof == <onlyinclude> Let $e_G$ be the identity element of $G$. Let $e_H$ be the identity element of $H$. Then: {{begin-eqn}} {{eqn | q = \forall x, y \in G | l = \map f {\sqbrk {x, y} } | r = \map f {x^{-1} y^{-1} x y} | c = {{Defof|Commutator|subdef = Group}} }} {{eqn | r = \map f {x^{-1} } \paren {\map f {y^{-1} }...")
• 12:20, 28 March 2022 Fake Proof talk contribs created page Universal Property of Abelianization of Group/Proof 1 (Created page with "== Theorem == {{:Universal Property of Abelianization of Group}} == Proof == <onlyinclude> Let $e_G$ be the identity element of $G$. Let $e_H$ be the identity element of $H$. Then: {{begin-eqn}} {{eqn | q = \forall x, y \in G | l = \map f {\sqbrk {x, y} } | r = \map f {x^{-1} y^{-1} x y} | c = {{Defof|Commutator|subdef = Group}} }} {{eqn | r = \map f {x^{-1} } \paren {\map f {y^{-1} }...")
• 07:12, 28 March 2022 Fake Proof talk contribs moved page Ring of Gaussian Integers is Principal Ideal Domain to Gaussian Integers form Principal Ideal Domain
• 12:11, 27 March 2022 Fake Proof talk contribs moved page Epimorphism preserves Modules to Epimorphism Preserves Modules
• 12:11, 27 March 2022 Fake Proof talk contribs moved page Epimorphism preserves Modules/Corollary to Epimorphism Preserves Modules/Corollary
• 05:11, 27 March 2022 Fake Proof talk contribs moved page Linear Second Order ODE/y'' + 4 y = tangent 2 x to Linear Second Order ODE/y'' + 4 y = tan 2 x
• 01:26, 27 March 2022 Fake Proof talk contribs created page User:Fake Proof/Sandbox/Uniform Limit Theorem (Created page with "== Theorem == Let $\struct {S, \tau}$ be a topological space. Let $\struct {M, d}$ be a metric space. Let $\sequence {f_n}_{n \mathop \in \N}$ be a sequence of mappings such that: :$(1): \quad \forall n \in \N: f_n$ is continuous at every point of $S$ :$(2): \quad \sequence {f_n}$ Definition:Uniform Conve...")
• 11:09, 21 March 2022 Fake Proof talk contribs deleted page User:Fake Proof/Sandbox/Sine of Sum/Proof 2 (abandoned)
• 22:57, 15 November 2021 Fake Proof talk contribs created page Talk:Gilmer-Parker Theorem. Polynomial ring over GCD domain is GCD domain. (Created page with "== rename == The current page name is too long. I suggest to rename this page to one of the following. * Gilmer-Parker Theorem: from current page name * Polynomial Ring over...")
• 00:02, 10 November 2021 Fake Proof talk contribs moved page Definiton:B*-Algebra to Definition:B*-Algebra without leaving a redirect (invalid namespace)
• 05:59, 29 October 2021 Fake Proof talk contribs deleted page Symbol:Brace (content was: "#REDIRECT Symbols:Brace", and the only contributor was "Prime.mover" (talk))
• 06:14, 20 October 2021 Fake Proof talk contribs moved page Completion Theorem (Measure Spaces) to Completion Theorem (Measure Space)
• 06:14, 20 October 2021 Fake Proof talk contribs moved page Completion Theorem (Measure Spaces)/Lemma to Completion Theorem (Measure Space)/Lemma
• 01:30, 8 October 2021 Fake Proof talk contribs created page Talk:Sine Integral Function of Zero (Created page with "== trivial == Sine integral function is already defined as $\map \Si 0 = 0$. --~~~~")