User contributions for Wikimorphism

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

02:4802:48, 10 August 2023 diff hist −121 Jacob Tsimerman Removing categories assuming that the subject is Jewish, for which there is no cited evidence. These categories may have been added by speculation from the surname, which is arguably an instance of prejudice.
02:4302:43, 10 August 2023 diff hist −49 List of Jewish mathematicians →T–U: Name removed for lack of publicly verifiable evidence. This name may have been added based on speculation from the surname, which is arguably an instance of prejudice. Other names on this list should also be checked for potential removal for similar reasons.
02:3902:39, 10 August 2023 diff hist −3 User:Wikimorphism No edit summary current

18:4118:41, 19 December 2022 diff hist +282 Löb's theorem →Proof of Löb's theorem: Much of the proof does not use the main hypothesis (\Box P \to P). For clarity, it helps to run that part of the proof at the beginning, so the reader is not continually checking on how \Box p \to p is being used. This reorganization also renders the first part of the proof into a reusable lemma that does not depend on \Box p \to p.

03:0103:01, 12 June 2021 diff hist +81 m Internet Engineering Task Force corrected nuance in ISOC's relationship to IETF, per RFC1602
02:5002:50, 12 June 2021 diff hist +123 m Internet Engineering Task Force →Early leadership and administrative history: added link to relevant Quarterman pages
02:4702:47, 12 June 2021 diff hist +2 m Internet Engineering Task Force →Early leadership and administrative history: fixed Quarterman citation
02:4202:42, 12 June 2021 diff hist +5,569 Internet Engineering Task Force Added "Early Leadership and Administrative History" section.

08:4308:43, 2 April 2021 diff hist +11 m Good regulator No edit summary
08:4308:43, 2 April 2021 diff hist +11 m Good regulator No edit summary
08:4208:42, 2 April 2021 diff hist +109 Good regulator The proof of the theorem in the original paper does not construct an isomorphism, only a homomorphism. In particular the map is neither one to one nor onto; they only use the word 'isomorphism' in prose discussions leading up to the theorem.

06:0706:07, 18 September 2020 diff hist −50 List of Canadian Jews Name removed for lack of publicly verifiable evidence. This name may have been added based on speculation from the surname, which is arguably an instance of prejudice. Other names on this list should also be checked for potential removal for similar reasons.

00:5100:51, 16 January 2020 diff hist +315 Template:Vegetable oils comparison added avocado oil citation
00:5000:50, 16 January 2020 diff hist +5 m Template:Vegetable oils comparison testing table edit (citation to follow)

18:2718:27, 25 September 2018 diff hist +31 Von Neumann–Morgenstern utility theorem →The axioms: I and others should have noticed this sooner: transitivity of both \prec and \sim are both needed for the algebra below, but transitivity of \prec does not in general follow from transitivity of \preceq. Proof: consider the relation \prec={(A,B),(B,C)}. Define \sim to mean 'incomparable' (so A\sim C, A \sim A, B \sim B, and C \sim C), and \preceq to mean "\prec or \sim". Here \preceq and \sim are transitive, but \prec is not, because we don't have (A,C) in the relation.
17:5917:59, 25 September 2018 diff hist +43 m Von Neumann–Morgenstern utility theorem →Set-up: \preceq should be defined after \prec and \sim.
17:3217:32, 25 September 2018 diff hist 0 Von Neumann–Morgenstern utility theorem →The axioms: The assumption p ≠ 0 is no longer needed with the \preceq version of independence, and in fact the p=0 case is needed for the proof sketch below.
17:2817:28, 25 September 2018 diff hist +4 Von Neumann–Morgenstern utility theorem →The axioms: The independence axiom (with \prec) does not straightforwardly imply the reduction axiom (with \sim), and the source cited for the implication (EconPort) neither gives nor cites a proof. In fact I worry that the \prec version of independence may have been a typo and is not enough for the main theorem. For self-contained clarity, I've replaced it with the \preceq version, which directly implies the replacement axiom used in the proof sketch in the following section.
17:2117:21, 25 September 2018 diff hist +21 m Von Neumann–Morgenstern utility theorem →The axioms: formatted relations stacked above each other vertically for easier reading
17:1617:16, 25 September 2018 diff hist +48 m Von Neumann–Morgenstern utility theorem →The axioms: The reduction axiom (4') was written in using different variables from the other axioms, making it unnecessarily difficult for students of the subject to see its connection to the other axioms. I rewrote it using variables L, M, and N for better consistency and checkability with the other axioms, and using only two probabilities variables (now p and q) instead of three (p, q, and r).

20:5820:58, 19 November 2015 diff hist 0 Diagonal lemma wasn't logged in for last edit ("gamma" notation); also changed lowercase gamma to uppercase as this is a more common notation for representing graphs

00:0500:05, 17 October 2015 diff hist −12 Diagonal lemma also made changes to non-unicode characters needed for previous edit.

23:4523:45, 16 October 2015 diff hist −8 Diagonal lemma Changed variable names to be consistent with the proof of Lob's theorem, which links here. In the previous revision, F in the Lob article corresponded to the Psi here, and the Psi in the Lob article corresponded to the Phi here, which was confusing.

18:3618:36, 21 November 2013 diff hist 0 Cortisol →Main functions in the body: what anti-stress pathways, exactly?

19:2519:25, 24 December 2010 diff hist +13 m Mental time travel usage of "time travel" not consistent with Time travel; content overly vague, speculative, and mystical-sounding