User contributions for Tromp
Appearance
Results for Tromp talk block log uploads logs global block log global account filter log
A user with 357 edits. Account created on 21 September 2004.
27 September 2024
- 15:0615:06, 27 September 2024 diff hist +4 Busy beaver →Related functions
- 15:0415:04, 27 September 2024 diff hist +38 m Busy beaver add alternative model for busy beaver
18 July 2024
- 08:1308:13, 18 July 2024 diff hist +4 SKI combinator calculus →Informal description
- 08:1208:12, 18 July 2024 diff hist +12 SKI combinator calculus →Informal description
- 08:1108:11, 18 July 2024 diff hist +2 m SKI combinator calculus →Informal description
- 08:1008:10, 18 July 2024 diff hist +180 SKI combinator calculus add minimal basis
9 May 2024
- 18:5318:53, 9 May 2024 diff hist +31 Sherpa people →Notable people
- 18:5118:51, 9 May 2024 diff hist 0 m Sherpa people →Notable people
- 10:3910:39, 9 May 2024 diff hist +4 m Sherpa people →Notable people
- 09:3509:35, 9 May 2024 diff hist +325 Sherpa people add news delivery sherpa
24 April 2024
- 12:2012:20, 24 April 2024 diff hist −15 m Chaitin's constant more precise formulation
- 09:5509:55, 24 April 2024 diff hist +42 m Chaitin's constant it's possible to compute a few dozen bits in less expressive languages
- 09:0109:01, 24 April 2024 diff hist −94 m Randomness paper's omega is not random as admitted at end of introduction.
22 April 2024
- 09:5109:51, 22 April 2024 diff hist −317 Chaitin's constant The referenced paper is crucially wrong, being based on a non-universal machine. See Talk page.
- 09:3309:33, 22 April 2024 diff hist +23 Chaitin's constant halting probabilities of non-universal languages do not have claimed properties like normal-ness.
8 January 2024
- 07:4607:46, 8 January 2024 diff hist +21 Orders of magnitude (numbers) →Larger than 1010100
- 07:4307:43, 8 January 2024 diff hist +106 Orders of magnitude (numbers) →Larger than 1010100
26 November 2023
- 07:5307:53, 26 November 2023 diff hist −429 Chaitin's constant remove article using wrong notion of universality (charging 1 databit for 7 bits of program length)
16 June 2023
- 20:2720:27, 16 June 2023 diff hist +271 Talk:Of Mice and Men →Family Guy adaptation: new section Tag: New topic
24 May 2023
- 09:1609:16, 24 May 2023 diff hist 0 Esoteric programming language →Binary Lambda Calculus
- 09:1509:15, 24 May 2023 diff hist 0 Esoteric programming language →Binary Lambda Calculus
7 April 2023
4 January 2023
- 21:5021:50, 4 January 2023 diff hist +12 The Gideons International →Cultural references
- 21:5021:50, 4 January 2023 diff hist +20 The Gideons International →Cultural references
- 21:4821:48, 4 January 2023 diff hist +98 m The Gideons International →Cultural references Tag: Disambiguation links added
19 November 2022
- 08:5308:53, 19 November 2022 diff hist +83 m Scrypt →Cryptocurrency uses
6 September 2022
- 20:0120:01, 6 September 2022 diff hist +22 Talk:Continuous-time Markov chain →Rate instead of holding time.
2 April 2022
14 February 2022
- 16:3616:36, 14 February 2022 diff hist −153 Shannon number use CPR upper bound
- 16:3316:33, 14 February 2022 diff hist +18 m Shannon number add ref name
12 February 2022
- 13:0813:08, 12 February 2022 diff hist +451 Go variants add No Contact Go
11 February 2022
- 14:4414:44, 11 February 2022 diff hist 0 m Talk:Go variants →Avoid Contact
- 13:2613:26, 11 February 2022 diff hist +541 Talk:Go variants →Avoid Contact: new section
12 January 2022
- 17:4017:40, 12 January 2022 diff hist −1 Binary combinatory logic →S-K Basis: Fix typo/bug.
23 October 2021
- 14:1514:15, 23 October 2021 diff hist +4 Talk:Church encoding →Church numeral division
- 14:1414:14, 23 October 2021 diff hist +2 Talk:Church encoding →Church numeral division
- 14:1414:14, 23 October 2021 diff hist +413 Talk:Church encoding →Too many list representations: new section
- 13:5313:53, 23 October 2021 diff hist +3 Talk:Church encoding →Church numeral division
- 13:5313:53, 23 October 2021 diff hist 0 Talk:Church encoding →Church numeral division
- 13:5213:52, 23 October 2021 diff hist +31 Talk:Church encoding →Church encoded boolean logic operators not_1 and not_2
- 13:5113:51, 23 October 2021 diff hist +196 Talk:Church encoding No edit summary
5 October 2021
10 August 2021
- 14:4714:47, 10 August 2021 diff hist +200 Solving chess →The complexity of chess: fix typo, add accurate estimate
- 14:3814:38, 10 August 2021 diff hist −318 Chess add accurate estimate
21 July 2020
- 11:4011:40, 21 July 2020 diff hist +260 Equihash add paper evaluating Equihash' security claims
19 February 2020
- 19:1219:12, 19 February 2020 diff hist −35 Goodstein's theorem replace link by a more relevant one
20 April 2019
- 18:5918:59, 20 April 2019 diff hist +335 Go and mathematics add improved lower bound
13 February 2019
- 17:3617:36, 13 February 2019 diff hist +22 m Proof of work add newssite to ref
- 17:3417:34, 13 February 2019 diff hist +132 m Proof of work add Linzhi announcement
12 January 2019
- 19:1119:11, 12 January 2019 diff hist +233 Proof of work No edit summary