30 May 2024

• 11:29 11:29, 30 May 2024 diff hist +3‎ Counterexample ‎ →‎Rectangle example: Corrected poor choice of words: The argument presented wasn't enough to conclude that the conjunction of assumptions was necessary, only that each by themselves would be insufficient. The fact that they are necessary and sufficient would require more than these counter-examples.

18 March 2024

• 00:04 00:04, 18 March 2024 diff hist +3‎ m Affine group ‎No edit summary

10 February 2024

• 17:54 17:54, 10 February 2024 diff hist +250‎ Talk:Flix (programming language) ‎No edit summary current

4 January 2024

• 22:39 22:39, 4 January 2024 diff hist +565‎ Talk:Centralisation ‎ →‎Can we remove/edit the "Distribution" image?: new section Tags: Mobile edit Mobile app edit Android app edit

26 December 2023

• 03:02 03:02, 26 December 2023 diff hist +3‎ Liouville's theorem (differential algebra) ‎ fixed the short description which was missing "be"

8 December 2023

• 00:55 00:55, 8 December 2023 diff hist 0‎ Applicative universal grammar ‎ Fixed Ixfd64 mistaken mixing of expressions current

26 November 2023

• 02:33 02:33, 26 November 2023 diff hist +1‎ m Brouwer–Hilbert controversy ‎ →‎The problem of the law of excluded middle with respect to induction: Fixed typo

6 August 2023

• 20:36 20:36, 6 August 2023 diff hist +24‎ Curry's paradox ‎ →‎Naive set theory: Clarified precedence further

2 August 2023

• 21:37 21:37, 2 August 2023 diff hist +28‎ ROG Phone 7 ‎No edit summary

27 April 2023

• 18:24 18:24, 27 April 2023 diff hist −581‎ Zeugma and syllepsis ‎ That's just the definition of double entendre. Someone may have mislabeled it but there's a point where you're no longer documenting language and simply perpetuating needless mistakes and misconceptions.
• 18:21 18:21, 27 April 2023 diff hist +94‎ m Talk:Zeugma and syllepsis ‎ →‎Type 4 is double entendre. Delete it?
• 18:19 18:19, 27 April 2023 diff hist +331‎ Talk:Zeugma and syllepsis ‎ →‎Type 4 is double entendre. Delete it?: new section Tag: New topic

25 April 2023

• 23:08 23:08, 25 April 2023 diff hist +16‎ Standard error ‎ →‎Derivation: fixed terminology: A sample is a collection observations.

26 March 2023

• 14:13 14:13, 26 March 2023 diff hist 0‎ m Naming convention (programming) ‎No edit summary

31 December 2022

• 03:31 03:31, 31 December 2022 diff hist +1‎ m Monad (functional programming) ‎No edit summary

21 November 2022

• 21:55 21:55, 21 November 2022 diff hist +2‎ Parametric polymorphism ‎ →‎Rank-1 (predicative) polymorphism: And another one...
• 21:52 21:52, 21 November 2022 diff hist +6‎ Parametric polymorphism ‎ →‎Basic definition: I've added some brackets because it looked to me like a pair "(list,function)" rather than a function "pair -> list"

8 November 2022

• 11:46 11:46, 8 November 2022 diff hist +3‎ Talk:John Bingham, 7th Earl of Lucan ‎No edit summary
• 11:46 11:46, 8 November 2022 diff hist +309‎ Talk:John Bingham, 7th Earl of Lucan ‎ →‎Cluedo cards: new section Tag: New topic

30 October 2022

• 01:22 01:22, 30 October 2022 diff hist +1‎ Talk:Monad (functional programming) ‎ →‎Pseudo-code in the article: whoops. wrong indent
• 01:21 01:21, 30 October 2022 diff hist +492‎ Talk:Monad (functional programming) ‎ →‎Pseudo-code in the article: Added my thoughts to the discussion.

27 October 2022

• 16:48 16:48, 27 October 2022 diff hist −17‎ Monad (functional programming) ‎ →‎Operators: I don't know what language this was meant to be but I'm going to go out on a limb and assume it's a typo and that I'm ok to correct it to something consistent with Haskell Tag: Reverted

16 October 2022

• 23:07 23:07, 16 October 2022 diff hist −36‎ m Rice's theorem ‎ →‎Proof sketch: I found this part of the sentence confusing and unnecessary as the arbitrary nature of a and i in the argument is clear already.

8 September 2022

• 20:11 20:11, 8 September 2022 diff hist +5‎ m List of British royal consorts ‎ fixed broken file markup

31 July 2022

• 17:47 17:47, 31 July 2022 diff hist +1‎ m Hilbert's syzygy theorem ‎No edit summary
• 17:47 17:47, 31 July 2022 diff hist 0‎ m Linear relation ‎No edit summary

20 July 2022

• 12:19 12:19, 20 July 2022 diff hist −93‎ Span (category theory) ‎ →‎Examples: removed confusing notation. I get that the '=' was to be interpreted as a morphism but that wasn't at all obvious and the "formal" version is simple anyway.

19 July 2022

• 13:44 13:44, 19 July 2022 diff hist +2‎ m Talk:Knights and Knaves ‎ →‎Problem with the Noble/Hunter variant
• 13:43 13:43, 19 July 2022 diff hist +16‎ Talk:Knights and Knaves ‎ →‎Problem with the Noble/Hunter variant: I slightly mis-wrote that
• 13:42 13:42, 19 July 2022 diff hist +412‎ Talk:Knights and Knaves ‎ →‎Problem with the Noble/Hunter variant

18 July 2022

• 17:50 17:50, 18 July 2022 diff hist 0‎ Fundamental theorem on homomorphisms ‎ Made choice of subgroup name consistent with diagram

17 July 2022

• 16:01 16:01, 17 July 2022 diff hist 0‎ m Initial algebra ‎ →‎Examples: Gave functors consistent names in headings
• 15:51 15:51, 17 July 2022 diff hist +139‎ F-algebra ‎ →‎Groups
• 15:31 15:31, 17 July 2022 diff hist +1‎ F-algebra ‎ the footnote spoke of what is now the second diagram but was the third when it was written

14 July 2022

• 18:00 18:00, 14 July 2022 diff hist +27‎ Cayley's theorem ‎ →‎Proof of the theorem: added link

11 June 2022

• 23:00 23:00, 11 June 2022 diff hist −7‎ m Rational function ‎ →‎Complex rational functions
• 13:45 13:45, 11 June 2022 diff hist +4‎ m Temporal logic ‎ →‎Łoś' positional logic
• 13:42 13:42, 11 June 2022 diff hist +2‎ m Temporal logic ‎ →‎History
• 13:40 13:40, 11 June 2022 diff hist +8‎ m Temporal logic ‎ →‎History
• 13:34 13:34, 11 June 2022 diff hist −1‎ m Temporal logic ‎ →‎History
• 13:14 13:14, 11 June 2022 diff hist +47‎ Aptronym ‎ →‎Examples: Added Arthur Prior Tag: Reverted
• 13:13 13:13, 11 June 2022 diff hist +40‎ Aptronym ‎ →‎Examples: Added Larry Page Tag: Reverted
• 13:11 13:11, 11 June 2022 diff hist +190‎ Aptronym ‎ →‎Examples: Added Karl Schwarzschild Tag: Reverted

2 April 2022

• 01:09 01:09, 2 April 2022 diff hist −343‎ Converse relation ‎ Removed nonsensical comment. The set of all subsets of U is the power set of U, P(U). This means "The power set of all subsets of U" would be P(P(U)). If this is the domain of discourse for the converse of set membership and the RHS is a subset of this domain of discourse then the RHS would be an element of P(P(P(U))). This is clearly false. In truth, the domain of either sides just flips to the other in the converse.

13 February 2022

• 01:29 01:29, 13 February 2022 diff hist +2‎ m Rose tree ‎ →‎Relation to tree data structures: typo

9 September 2021

• 22:38 22:38, 9 September 2021 diff hist 0‎ Tautology (logic) ‎ →‎Tautological implication: Typo

19 August 2021

• 23:12 23:12, 19 August 2021 diff hist +2‎ m Talk:Identity (music) ‎No edit summary current
• 23:12 23:12, 19 August 2021 diff hist +253‎ Talk:Identity (music) ‎ →‎Incomprehensible
• 23:08 23:08, 19 August 2021 diff hist +1,151‎ Talk:Identity (music) ‎ →‎Incomprehensible

10 July 2021

• 00:18 00:18, 10 July 2021 diff hist −3‎ m Admissible heuristic ‎ →‎Optimality Proof