User contributions for Ronald Monson
A user with 4 edits. Account created on 31 March 2024.
13 April 2024
- 08:1508:15, 13 April 2024 diff hist +2,084 User talk:David Eppstein →Combinatory logic - undecidability editing confusion: new section Tag: New topic
1 April 2024
- 00:1100:11, 1 April 2024 diff hist +2,415 Combinatory logic Justification doesn't point to a single mistaken deduction in the deleted proof (stated reason - that obviously decidable problems are not definable in this way is irrelevant to this proof because the predicate is so different and encoding is being ignored). Tag: Undo
- 00:0200:02, 1 April 2024 diff hist −2,415 Combinatory logic didn't add reason to reversion Tag: Undo
31 March 2024
- 23:5823:58, 31 March 2024 diff hist +2,415 Combinatory logic Undid revision 1198945212 by EmilJ (talk) Tags: Undo Reverted