# 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).

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 08:33, 21 February 2020 Prime.mover talk contribs created page User talk:Algebruh (Welcome!)
- 08:33, 21 February 2020 Prime.mover talk contribs created page User:Algebruh (Creating user page for new user.)
- 08:33, 21 February 2020 User account Algebruh talk contribs was created by Prime.mover talk contribs and password was sent by email
- 05:30, 21 February 2020 Prime.mover talk contribs created page User talk:CivilNoise (Welcome!)
- 05:30, 21 February 2020 Prime.mover talk contribs created page User:CivilNoise (Creating user page for new user.)
- 05:30, 21 February 2020 User account CivilNoise talk contribs was created by Prime.mover talk contribs and password was sent by email
- 02:57, 21 February 2020 Prime.mover talk contribs created page User talk:SOLANKI PAYAL ISHWARBHAI (Welcome!)
- 02:57, 21 February 2020 Prime.mover talk contribs created page User:SOLANKI PAYAL ISHWARBHAI (Creating user page for new user.)
- 02:57, 21 February 2020 User account SOLANKI PAYAL ISHWARBHAI talk contribs was created by Prime.mover talk contribs and password was sent by email
- 18:43, 20 February 2020 Prime.mover talk contribs created page Category:Definitions/Named Definitions/Bolyai, J (Created page with "{{NameCategoryDef|János Bolyai}}")
- 18:41, 20 February 2020 Prime.mover talk contribs created page Category:Named Theorems/Bolyai, F (Created page with "{{NameCategory|Farkas Wolfgang Bolyai}}")
- 18:41, 20 February 2020 Prime.mover talk contribs created page Category:Named Theorems/Wallace (Created page with "{{NameCategory|William Wallace}}")
- 18:40, 20 February 2020 Prime.mover talk contribs created page Mathematician:William Wallace (Created page with "== Mathematician == <onlyinclude> Scottish mathematician and astronomer best known for the Wallace-Bolyai-Gerwien Theorem. </onlyinclude> == Nationality == Scottish ==...")
- 16:58, 20 February 2020 Prime.mover talk contribs created page Set of Natural Numbers Equals its Union (Created page with "== Theorem == Let $\omega$ denote the set of natural numbers as defined by the Definition:Von Neumann Construction of Natural Numbers|von Neu...")
- 16:53, 20 February 2020 Prime.mover talk contribs created page Natural Number is Union of its Successor (Created page with "== Theorem == Let $n \in \N$ be a natural number as defined by the Definition:Von Neumann Construction of Natural Numbers|von Neumann construc...")
- 16:39, 20 February 2020 Prime.mover talk contribs created page Natural Number is Superset of its Union (Created page with "== Theorem == Let $n \in \N$ be a natural number as defined by the Definition:Von Neumann Construction of Natural Numbers|von Neumann construc...")
- 15:20, 20 February 2020 Prime.mover talk contribs deleted page Mathematician:Writer/John Timothy Anderson (content was: "#REDIRECT Mathematician:John Timothy Anderson", and the only contributor was "Prime.mover" (talk))
- 15:13, 20 February 2020 Prime.mover talk contribs moved page Mathematician:Writer/John Timothy Anderson to Mathematician:John Timothy Anderson
- 15:06, 20 February 2020 Prime.mover talk contribs created page User talk:Batbunny69 (Welcome!)
- 15:06, 20 February 2020 Prime.mover talk contribs created page User:Batbunny69 (Creating user page for new user.)
- 15:06, 20 February 2020 User account Batbunny69 talk contribs was created by Prime.mover talk contribs and password was sent by email
- 15:06, 20 February 2020 Prime.mover talk contribs created page User talk:Dictat (Welcome!)
- 15:06, 20 February 2020 Prime.mover talk contribs created page User:Dictat (Creating user page for new user.)
- 15:06, 20 February 2020 User account Dictat talk contribs was created by Prime.mover talk contribs and password was sent by email
- 10:31, 20 February 2020 Prime.mover talk contribs deleted page Symbols:Abbreviations/Z/ZF (content was: "#REDIRECT Symbols:Z/Zermelo-Fraenkel", and the only contributor was "Prime.mover" (talk))
- 10:30, 20 February 2020 Prime.mover talk contribs deleted page Symbols:Abbreviations/Z/ZFC (content was: "#REDIRECT Symbols:Z/Zermelo-Fraenkel with Choice", and the only contributor was "Prime.mover" (talk))
- 10:17, 20 February 2020 Prime.mover talk contribs moved page Symbols:Abbreviations/Z/ZFC to Symbols:Z/Zermelo-Fraenkel with Choice
- 10:17, 20 February 2020 Prime.mover talk contribs moved page Symbols:Abbreviations/Z/ZF to Symbols:Z/Zermelo-Fraenkel
- 10:07, 20 February 2020 Prime.mover talk contribs created page Book:Journal/Transactions of the New York Academy of Sciences (Created page with "{{JournalDetail|name = Transactions of the New York Academy of Sciences|publisher = New York Academy of Sciences|start = 1881|end = 1983|link = https://nyaspubs.onlinelibrary....")
- 09:10, 20 February 2020 Prime.mover talk contribs created page Natural Number is not Subset of its Union (Created page with "== Theorem == Let $n \in \N$ be a natural number as defined by the Definition:Von Neumann Construction of Natural Numbers|von Neumann construc...")
- 08:53, 20 February 2020 Prime.mover talk contribs created page Definition:Roster Notation (Created page with "== Definition == '''Roster notation''' is the technique of specifying the elements in a set by listing them between a pair of Defi...")
- 08:45, 20 February 2020 Prime.mover talk contribs deleted page Definition:ZF (content was: "#REDIRECT Definition:Zermelo-Fraenkel Set Theory", and the only contributor was "Prime.mover" (talk))
- 07:50, 20 February 2020 Prime.mover talk contribs created page Element of Natural Number is Natural Number (Created page with "== Theorem == Let $n$ be a natural number. Let $m \in n$. Then $m$ is also a natural number. == Proof == The...")
- 07:07, 20 February 2020 Prime.mover talk contribs created page Inductive Construction of Natural Numbers fulfils Peano's Axiom of Injectivity (Created page with "== Theorem == Let $P$ denote the set of natural numbers by Definition:Inductive Set Definition for Natural Numbers|definit...")
- 06:32, 20 February 2020 Prime.mover talk contribs created page Natural Numbers cannot be Elements of Each Other (Created page with "== Theorem == Let $m$ and $n$ be natural numbers. Then it cannot be the case that both $m \in n$ and $n \in m$. == Proof == {{AimForCont}} b...")
- 04:44, 20 February 2020 Prime.mover talk contribs created page Sum of Expectations of Independent Trials/Proof 2 (Created page with "== Theorem == {{:Sum of Expectations of Independent Trials}} == Proof == <onlyinclude> The proof proceeds by induction on the number o...")
- 04:44, 20 February 2020 Prime.mover talk contribs created page Sum of Expectations of Independent Trials/Proof 1 (Created page with "== Theorem == {{:Sum of Expectations of Independent Trials}} == Proof == <onlyinclude> The proof proceeds by induction on the number o...")
- 04:22, 20 February 2020 Prime.mover talk contribs created page Category:Sum of Expectations of Independent Trials (Created page with "Category:Expectation")
- 18:09, 19 February 2020 Prime.mover talk contribs created page Category:Ordinary Sets (Created page with "{{SubjectCategory|Ordinary Set}} Category:Set Theory")
- 18:09, 19 February 2020 Prime.mover talk contribs created page Definition:Ordinary Set (Created page with "== Definition == <onlyinclude> Let $S$ be a set. Then $S$ is an '''ordinary set''' {{iff}} $S \notin S$. That is, {{iff}} $S$ is not an Definition:Eleme...")
- 17:59, 19 February 2020 Prime.mover talk contribs created page Natural Number is Ordinary Set (Created page with "== Theorem == Let $n$ be a natural number. Then $n$ is an ordinary set. == Proof == The proof proceeds by Prin...")
- 11:57, 19 February 2020 Prime.mover talk contribs created page Natural Number is Transitive Set (Created page with "== Theorem == Let $n$ be a natural number. Then $n$ is a transitive set. == Proof == The proof proceeds by P...")
- 09:46, 19 February 2020 Prime.mover talk contribs created page Inductive Construction of Natural Numbers fulfils Peano's Axioms (Created page with "== Theorem == Let $P$ denote the set of natural numbers by Definition:Inductive Set Definition for Natural Numbers|definit...")
- 07:38, 19 February 2020 Prime.mover talk contribs created page Category:Definitions/Inductive Sets (Created page with "{{DefinitionCategory|def = Inductive Set|Analysis|Set Theory|Class Theory}}")
- 07:37, 19 February 2020 Prime.mover talk contribs moved page Definition:Inductive Set as Subset of Real Numbers to Definition:Inductive Set/Subset of Real Numbers
- 07:36, 19 February 2020 Prime.mover talk contribs deleted page Intersection of Inductive Sets is Inductive Set (content was: "#REDIRECT Intersection of Inductive Set as Subset of Real Numbers is Inductive Set", and the only contributor was "Prime.mover" (talk))
- 07:26, 19 February 2020 Prime.mover talk contribs moved page Intersection of Inductive Sets is Inductive Set to Intersection of Inductive Set as Subset of Real Numbers is Inductive Set
- 07:15, 19 February 2020 Prime.mover talk contribs moved page Definition:Inductive Set to Definition:Inductive Set as Subset of Real Numbers
- 07:09, 19 February 2020 Prime.mover talk contribs created page Template:PeanoAxiom (Created page with "== Mathematical Content Template == Convenience template for: :<code><nowiki>Peano's Axiom $\text P n$: <description></nowiki></code> == Usa...")
- 06:52, 19 February 2020 Prime.mover talk contribs created page Definition:Distinguished Element (Created page with "== Definition == Let $S$ be a set. A '''distinguished element of $S$''' is an element which is Definition:Distinguish|distinguis...")