User contributions for Marc van Leeuwen
A user with 2,660 edits. Account created on 13 January 2008.
5 May 2024
- 13:5013:50, 5 May 2024 diff hist 0 m Referential transparency →History: typo: I'm pretty sure "a vehicle or truth or falsehood" is not what they said current
22 April 2024
- 11:1411:14, 22 April 2024 diff hist +1 m Proof of the Truthful →Criticism: spelling: "one at a time" implies a plural
19 February 2024
- 15:0015:00, 19 February 2024 diff hist 0 Seven Bridges of Königsberg →Euler's analysis: The _number_ of edges between vertices is important here, not just whether it is nonzero (existence of an edge).
20 October 2023
- 14:0714:07, 20 October 2023 diff hist +1 Abstract simplicial complex →Examples: Improved phrase describing flag complexes so that now I understand it current
2 October 2023
- 07:3107:31, 2 October 2023 diff hist 0 m History of the Jews in Alexandria →Roman period: fix redlink caused by spurious upper case
26 September 2023
- 20:3620:36, 26 September 2023 diff hist +5 Umberto II of Italy →Early life: year of date (1904) was missing in text
4 February 2023
- 13:5913:59, 4 February 2023 diff hist +164 Idempotence →Examples: added GCD and LCM
3 July 2022
- 07:5407:54, 3 July 2022 diff hist +235 Binomial coefficient provide basic multiplicative formula in lede; the factorial formula is just a condensation of it
2 April 2022
- 06:0906:09, 2 April 2022 diff hist 0 Mélo (play) Corrected obviously mistaken name Tags: Visual edit Mobile edit Mobile web edit
26 January 2022
- 18:1218:12, 26 January 2022 diff hist +42 Group action →Types of actions: precision: action on an empty set cannot be transitive , so exclude this case from given example
22 November 2021
- 14:3514:35, 22 November 2021 diff hist +1,332 Talk:Local field →Inconsistency in the lead: new section
18 October 2021
- 09:5609:56, 18 October 2021 diff hist +17 Extensionality →Example: make it a better example; previous formulation had no obvious sense
20 June 2021
- 05:0405:04, 20 June 2021 diff hist +6 Lattice (group) →Lattices in complex space: Add a comma, and reword to diminish suggestion that every free Abelian subgroup of rank $2n$ is a lattice
2 June 2021
- 10:0910:09, 2 June 2021 diff hist +27 Napier (surname) →People: mention "logarithm" on this page to more easily find its discoverer
25 May 2021
- 14:2414:24, 25 May 2021 diff hist −114 Intuitionism →Truth and proof: Remove "explanation" that refutable means existence of a counterexample. "There is an upper bound to the prime numbers" is refutable, but a counterexample is meaningless here.
11 May 2021
- 11:3211:32, 11 May 2021 diff hist +92 BioNTech →top: detailed what the 95% efficacy figure is about precisely
30 April 2021
- 10:0910:09, 30 April 2021 diff hist +27 N Miasmatism create redirection current Tag: New redirect
7 April 2021
- 13:3213:32, 7 April 2021 diff hist −3 Quicksort →top: replace 'efficient' by 'in-place' in lead: being efficient is not a defining characteristic (and discussed at length below), while being in-place is a defining characteristic
4 April 2021
- 08:4308:43, 4 April 2021 diff hist −1 m Quicksort →Hoare partition scheme: a(n)
- 08:2708:27, 4 April 2021 diff hist +674 Quicksort →Hoare partition scheme: More about Hoare's original partition method, and how the one presented here differs from it
- 05:1505:15, 4 April 2021 diff hist −2 m Quicksort →Hoare partition scheme: spurious semicolon
- 05:1005:10, 4 April 2021 diff hist +3,863 Quicksort →Algorithm: Rewrote parts, indicating considerable variability within the "quicksort" family, and even within the "Hoare partition scheme"
28 March 2021
- 08:4408:44, 28 March 2021 diff hist +34 Linear programming →Standard form: corrected: set-builder expression should always state which bound variable(s) is introduces; was not the case
- 08:3708:37, 28 March 2021 diff hist +132 Linear programming →top: reformulated for a bit more mathematical rigour/coherence
22 March 2021
- 08:1908:19, 22 March 2021 diff hist 0 m Cancel culture →Reactions: spelling: a censor is not a sensor
5 February 2021
- 02:5102:51, 5 February 2021 diff hist +48 Frobenius normal form →General case and theory: More notational simplifications, and correction/completion of the sketched proof
- 02:0202:02, 5 February 2021 diff hist +121 Frobenius normal form →General case and theory: Clarified and corrected formulation of the theorem: uniqueness is only obtained once the divisibility condition is imposed
2 December 2020
- 12:4512:45, 2 December 2020 diff hist −231 Sylow theorems Undid revision 991903768 by Marc van Leeuwen (talk) Retract; I misread Theorem 3 instead of 2 Tag: Undo
- 12:3112:31, 2 December 2020 diff hist +231 Sylow theorems →Consequences: Reformulated a phrase which made no mathematical sense; one does not need Theorem 2 to see the obvious. Tag: Reverted
3 August 2020
- 11:5811:58, 3 August 2020 diff hist +216 Soundness →Definition
- 11:5411:54, 3 August 2020 diff hist +81 Soundness →Definition: Corrected formulation; an argument is not true or false, though its premises are
30 July 2020
- 20:1020:10, 30 July 2020 diff hist +1,444 Talk:Peter Stuyvesant →Confusion about Peter Stuyvesant's birth date
29 July 2020
- 12:1212:12, 29 July 2020 diff hist +2,889 Talk:Peter Stuyvesant →Confusion about Peter Stuyvesant's birth date
- 10:5210:52, 29 July 2020 diff hist +561 Talk:Peter Stuyvesant →Confusion about Peter Stuyvesant's birth date
21 July 2020
- 09:1309:13, 21 July 2020 diff hist +79 The Bell Curve →Part III. The National Context: Improve phrase; "increase as a monotonic function of lower IQ" is badly formulated
1 June 2020
- 10:3210:32, 1 June 2020 diff hist −585 COVID-19 pandemic on Diamond Princess resolve (fusion) conflicting multiple references to the same article introduced in previous edit
- 10:1110:11, 1 June 2020 diff hist +917 COVID-19 pandemic on Diamond Princess →top: Expand section with some more summarising information, partially taken from the general "covid-19 on cruise ships" article
31 May 2020
- 10:3910:39, 31 May 2020 diff hist +1 m COVID-19 pandemic in Germany →8–14 March: corrected somewhat confusing missing comma
- 10:3710:37, 31 May 2020 diff hist +44 COVID-19 pandemic in Germany →8–14 March: Changed misleading claim about the date of Trump's 11 March travel ban announcement by indicating local time
30 May 2020
- 13:5213:52, 30 May 2020 diff hist −1 COVID-19 pandemic on Diamond Princess →Timeline: changed impossible date of 30 February into probably intended 3 February (though given citation did not state this explicitly)
15 May 2020
- 14:1314:13, 15 May 2020 diff hist −2 m COVID-19 pandemic on USS Theodore Roosevelt →March: replaced "the" by "a" to avoid confusion; even tough the source says "the", this is (apparently) not somebody mentioned before in this article
11 May 2020
- 11:0711:07, 11 May 2020 diff hist 0 m Glass battery →Construction and electrochemistry: dash should just be space, not radicallly-different
11 January 2020
- 10:1010:10, 11 January 2020 diff hist +89 Edmonds–Karp algorithm →top: Reduce confusion by indicating alternative transliteration of Dinitz's name
9 January 2020
- 08:0908:09, 9 January 2020 diff hist +47 Multiplication Products have factors, not terms. Also stressed that for an empty product the expression for the factor is irrelevant.
- 08:0408:04, 9 January 2020 diff hist 0 m Product of a sequence Match capitalisation with name of section, so that the redirect works as intended Tag: Redirect target changed
6 January 2020
- 10:2810:28, 6 January 2020 diff hist +778 User talk:Geke →Confusion about user (combination and permutations): new section
25 November 2019
- 15:5715:57, 25 November 2019 diff hist +455 Sylow theorems →Proof of the Sylow theorems: some small complements for theorem 1.
23 November 2019
- 20:3420:34, 23 November 2019 diff hist 0 m Sylow theorems →Proof of the Sylow theorems: spelling
- 20:3120:31, 23 November 2019 diff hist +366 Sylow theorems →Proof of the Sylow theorems: Reformulated proof of theorem 1 for more transparency
23 October 2019
- 15:2915:29, 23 October 2019 diff hist +26 Group action →{{visible anchor|Orbit-stabilizer theorem}} and Burnside's lemma: Improved presentation of orbit-stabilizer theorem, as requested
