User contributions for St.nerol
Jump to navigation
Jump to search
3 December 2023
- 11:0211:02, 3 December 2023 diff hist +305 Talk:Characteristics of Finite Tree No edit summary
- 11:0011:00, 3 December 2023 diff hist +163 Talk:Characteristics of Finite Tree No edit summary
- 10:0410:04, 3 December 2023 diff hist +264 Talk:Characteristics of Finite Tree No edit summary
- 10:0010:00, 3 December 2023 diff hist +366 Talk:Characteristics of Finite Tree No edit summary
- 09:5509:55, 3 December 2023 diff hist +1 Talk:Characteristics of Finite Tree No edit summary
- 09:5209:52, 3 December 2023 diff hist +149 Talk:Characteristics of Finite Tree No edit summary
- 09:3909:39, 3 December 2023 diff hist +171 Talk:Characteristics of Finite Tree No edit summary
- 09:3809:38, 3 December 2023 diff hist −8 m Characteristics of Finite Tree rm math mode to fix contents Tag: Reverted
1 December 2023
- 15:0815:08, 1 December 2023 diff hist +3 Talk:Characteristics of Finite Tree No edit summary
- 15:0715:07, 1 December 2023 diff hist +232 Talk:Characteristics of Finite Tree No edit summary
- 13:5013:50, 1 December 2023 diff hist 0 m Talk:Characteristics of Finite Tree No edit summary
- 13:4313:43, 1 December 2023 diff hist +236 Talk:Characteristics of Finite Tree No edit summary
- 13:3613:36, 1 December 2023 diff hist +334 Talk:Characteristics of Finite Tree No edit summary
- 10:5010:50, 1 December 2023 diff hist +54 Characteristics of Finite Tree Adding "see also" Tag: Reverted
- 10:4810:48, 1 December 2023 diff hist +3 Characteristics of Finite Tree We can't start by defining T to be a finite tree... Tag: Reverted
30 November 2023
- 19:5119:51, 30 November 2023 diff hist −1 m Characteristics of Finite Tree No edit summary Tag: Reverted
- 19:5019:50, 30 November 2023 diff hist +316 Characteristics of Finite Tree polishing of initial statement and "See also" Tag: Reverted
19 September 2023
- 08:0408:04, 19 September 2023 diff hist +182 Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum No edit summary
14 September 2023
- 09:0509:05, 14 September 2023 diff hist +9 m Definition:Disjunction/Also known as No edit summary Tag: Reverted
- 09:0509:05, 14 September 2023 diff hist +5 Definition:Disjunction/Also known as meaning of "vel" Tag: Reverted
11 September 2023
- 19:0719:07, 11 September 2023 diff hist −1 m Pi is Irrational/Historical Note No edit summary current
9 September 2023
- 20:0920:09, 9 September 2023 diff hist +322 Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum No edit summary
- 20:0320:03, 9 September 2023 diff hist +453 User talk:GFauxPas →Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum: new section current
7 September 2023
- 10:1810:18, 7 September 2023 diff hist +4 m Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum No edit summary
- 10:1210:12, 7 September 2023 diff hist +2 m Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum No edit summary
- 10:1110:11, 7 September 2023 diff hist +629 Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum →Two proofs: new section
- 09:4909:49, 7 September 2023 diff hist +221 N 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$. –~~~~"
- 09:4609:46, 7 September 2023 diff hist +71 Definition:Iverson's Convention adding See also to use in sums
- 09:4409:44, 7 September 2023 diff hist +183 Definition talk:Very Strong Zero No edit summary
- 09:4209:42, 7 September 2023 diff hist +21 Definition:Very Strong Zero No edit summary
- 09:4009:40, 7 September 2023 diff hist +199 Definition:Very Strong Zero Expanding example
- 09:3909:39, 7 September 2023 diff hist +171 Definition:Summation including the Iverson bracket
- 09:3909:39, 7 September 2023 diff hist −15 Definition:Summation/Propositional Function/Iverson's Convention rm Z; doesn't fit with the definition Tag: Reverted
6 September 2023
- 11:0911:09, 6 September 2023 diff hist +64 Definition:Very Strong Zero No edit summary
- 11:0311:03, 6 September 2023 diff hist +2 m Definition:Iverson's Convention No edit summary
- 11:0211:02, 6 September 2023 diff hist +65 Definition:Iverson's Convention clarifying "strong zero"
5 September 2023
- 11:0311:03, 5 September 2023 diff hist +102 Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum No edit summary
- 10:5510:55, 5 September 2023 diff hist +300 Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum No edit summary
4 September 2023
- 20:3720:37, 4 September 2023 diff hist +38 Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum No edit summary
- 20:3420:34, 4 September 2023 diff hist +386 N 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! ~~~~"
19 August 2023
- 18:2018:20, 19 August 2023 diff hist −1 m Category talk:Proven Results No edit summary
- 15:3015:30, 19 August 2023 diff hist +227 N 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? –~~~~"
- 15:1915:19, 19 August 2023 diff hist +5 m Category talk:Proven Results No edit summary
- 15:0815:08, 19 August 2023 diff hist +26 Definition:Disjunction/Semantics of Disjunction No edit summary current
- 15:0615:06, 19 August 2023 diff hist 0 Definition:Disjunction No edit summary
- 15:0615:06, 19 August 2023 diff hist +9 m Definition:Disjunction No edit summary
- 15:0515:05, 19 August 2023 diff hist −6 Definition:Disjunction No edit summary
- 15:0215:02, 19 August 2023 diff hist +142 Definition:Exclusive Or No edit summary
- 14:5914:59, 19 August 2023 diff hist +657 N 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:3914:39, 19 August 2023 diff hist +398 Category talk:Proven Results No edit summary