All public logs
Jump to navigation
Jump to search
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).
- 19:57, 30 November 2023 St.nerol talk contribs created page Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum/Proof 1 (deletion discussion)
- 09:49, 7 September 2023 St.nerol talk contribs created page Definition talk:Summation/Propositional Function/Iverson's Convention (Created page with "==Summand section== The summand section is not a perfect fit here since the definition doesn't say anything about $ 1 \le j \le n$. –~~~~")
- 20:34, 4 September 2023 St.nerol talk contribs created page Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum (Created page with "==Disjoint family of sets== How does the statement "Thus the sets in $\family {F_i}$ are disjoint." follow from the lines above? For an arbitrary $\ds S \in \bigcup_{k \mathop \in \N} F_k$, there is some first $k$ such that $S \in F_k$. Okay... and thus, disjoint sets? It might follow, but I don't! ~~~~")
- 15:30, 19 August 2023 St.nerol talk contribs created page ProofWiki talk:About (Created page with "==Maintainers== It seems that the information about who is maintaining this site is out of date. Would any administrator care to update it? –~~~~")
- 14:59, 19 August 2023 St.nerol talk contribs created page Definition:Exclusive Or/Semantics of Exclusive Or (Created page with "== Semantics of Exclusive Or == Let $p \oplus q$ denote the exclusive disjunction of two statements $p$ and $q$. <onlyinclude> The '''exclusive disjunction''' is used to represent any statement in natural language such that exactly one of two substatements are held to be Definition:Tr...")
- 14:06, 19 August 2023 St.nerol talk contribs created page Category talk:Proven Results (Created page with "If a page is this category is not a proven result, or if the proof given is marked as incomplete, should the qed–symbol be deleted from that page so that the page is removed from this category? ––~~~~")
- 14:31, 18 April 2022 St.nerol talk contribs created page Talk:Convergent Series can be Added Term by Term (Created page with "I see that the name is a bit vague ("can be" is vague indeed). How about "Convergent Series added Term by Term Converges to their Sum"? Well, "their sum" is a bit ambiguous, since the value of a series is also a "sum". A very explicit title would be "Two Convergent Series added Term by Term is a Series Converging to the Sum of their Sums". Isn't that a mouthful? My first thought was to state the equality the other way around: "A Series Split Termwise into Two Convergent...")
- 10:24, 18 April 2022 St.nerol talk contribs created page Convergent Series can be Added Term by Term (Proof needed here)
- 22:05, 17 April 2022 St.nerol talk contribs created page Expectation of Geometric Distribution/Formulation 1/Proof 3 (I used Expectation of Geometric Distribution/Formulation 1/Proof 1 to get started. Feedback welcome.)