Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
3 June 2024
- diffhist Axiom of choice 07:07 +1,117 Bbbbbbbbba talk contribs (→Independence: Added the early results of Fraenkel and Mostowski to give a more intuitive picture of how the axiom of choice could fail at all.)
- diffhist Axiom of choice 06:30 +220 Bbbbbbbbba talk contribs (→References: Realized (after some further searching) that I added the wrong reference for the technique (permutation model) I wanted to talk about.)
- diffhist Axiom of choice 03:00 +322 Bbbbbbbbba talk contribs (→References: Added a reference to Mostowski's 1939 paper.)
- diffhist m Model of computation 01:44 +214 Tayste talk contribs (Undid revision 1226969972 by 176.219.105.115 (talk)) Tag: Undo
- diffhist Counterexample 01:21 −343 David Eppstein talk contribs (dubious and unsourced; remove)
2 June 2024
- diffhist Computable function 23:00 +270 David Eppstein talk contribs (→Relation to recursively defined functions: cite Ackermann non-prim-rec)
- diffhist Computable function 22:58 −634 David Eppstein talk contribs (→Relation to recursively defined functions: rewrite to avoid vague "some computable functions have no recursive definition" waffle, obviously false if one allows a recursive definition of the form "return the value obtained from running the Turing machine state obtained by applying this formula to make one more step in the current TM state")
- diffhist Model of computation 21:29 −214 176.219.105.115 talk Tags: Reverted references removed Visual edit Mobile edit Mobile web edit
- diffhist m GitHub 10:45 +67 Bkonrad talk contribs (Reverted edit by 2600:1006:B157:BF3E:FCAF:DAA2:B932:D593 (talk) to last version by AnomieBOT) Tag: Rollback
- diffhist GitHub 09:34 −67 2600:1006:b157:bf3e:fcaf:daa2:b932:d593 talk (Fixed typo) Tags: Reverted possibly inaccurate edit summary Mobile edit Mobile web edit
- diffhist Paul Erdős 05:15 −51 Nikkimaria talk contribs (rm per WP:ELPEREN)
- diffhist m Paul Erdős 00:29 +2 LMotola talk contribs (→External links)
- diffhist m Paul Erdős 00:28 +27 LMotola talk contribs (→External links)
1 June 2024
- diffhist Conway's Game of Life 16:21 +2 Qwerfjkl talk contribs (Move the interactive gadget to the bottom of the lede section, which I think makes more sense [Factotum])
31 May 2024
- diffhist Halting problem 22:25 +453 Mathnerd314159 talk contribs (→Approximations: add plain English explanations)
- diffhist Halting problem 21:57 +192 Mathnerd314159 talk contribs (revise again - it is really the problem that is significant, the proof is incidental. and the proof was unclear)
- diffhist Conway's Game of Life 21:26 −32 GhostInTheMachine talk contribs (Shorten short description — WP:SDSHORT) Tag: Shortdesc helper
- diffhist m Conway's Game of Life 20:57 −44 Egidio24 talk contribs (v2.05 - Fix errors for CW project (Link equal to linktext)) Tag: WPCleaner
- diffhist m Computer program 20:45 −8 Egidio24 talk contribs (v2.05 - Fix errors for CW project (Link equal to linktext)) Tag: WPCleaner
- diffhist Busy beaver 19:59 +14 NadVolum talk contribs (→Exact values and lower bounds: number of steps will be bigger)
- diffhist Busy beaver 19:41 +201 NadVolum talk contribs (→Exact values and lower bounds: Enormous 3 state 4 symbol busy beaver contender)
- diffhist m Turing machine 16:11 +4 Hooman Mallahzadeh talk contribs (→Description)
- diffhist Halting problem 15:54 +25 ClassA42 talk contribs (Corrected the incorrect claim about the impact of the proof on "practical computing". Please see the "Talk" page at " Misleading sentence?!".)
- diffhist Conway's Game of Life 15:54 +33 28bytes talk contribs (→Origins: add interactive gadget)
30 May 2024
- diffhist Counterexample 22:05 +199 Rgdboer talk contribs (→Other mathematical examples: area preservation beyond isometry)
- diffhist m Busy beaver 20:56 −13 Egidio24 talk contribs (v2.05 - Fix errors for CW project (Link equal to linktext)) Tag: WPCleaner
- diffhist Counterexample 11:29 +3 Nbrader talk contribs (→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.)
29 May 2024
- diffhist GitHub 17:17 −283 131.251.10.94 talk (removed off topic text; moved statement of the blindingly obvious to a more useful place) Tag: references removed
- diffhist GitHub 17:13 −1,276 131.251.10.94 talk (→GitHub Marketplace service: cut a lot of spammy promo text)
- diffhist m Computer program 17:07 +36 Timhowardriley talk contribs (→C++: Added link)
- diffhist Halting problem 15:08 −3 Jochen Burghardt talk contribs (Undid revision 1226229093 by 218.248.13.196 (talk)) Tag: Undo
- diffhist GitHub 14:56 −15 131.251.10.94 talk (→GitHub Pages: rewrote grotesquely misused "as of")
- diffhist GitHub 14:37 −140 131.251.10.94 talk (→Structure of the organization: removed inaccurate and unhelpful repetitions)
- diffhist m Computer program 13:15 +18 Alokhnathps talk contribs (Made Some Grammatical corrections, and added some links.) Tag: Visual edit
- diffhist Halting problem 09:54 +3 218.248.13.196 talk Tag: Reverted
28 May 2024
- diffhist m Scientific American 17:15 +1 GünniX talk contribs (Template closed)
- diffhist Mathematical proof 00:56 −98 David Eppstein talk contribs (→Proof by exhaustion: updates off-topic here; remove dated stmt)
27 May 2024
- diffhist m GitHub 19:35 −717 Pickersgill-Cunliffe talk contribs (Reverted 1 edit by Shandigimarket (talk) to last revision by Primium) Tags: Twinkle Undo
- diffhist m GitHub 19:33 +717 Shandigimarket talk contribs (→Developed projects: as I have added the information of Dashwave IO that uses the GitHub for the Android App Development that makes the development fast, safe and secure.) Tags: Reverted Visual edit
- diffhist m GitHub 17:00 −2 Primium talk contribs (v2.05 - Fix errors for CW project (Spelling and typography)) Tag: WPCleaner
- diffhist Kolmogorov complexity 16:51 −134 Sligocki talk contribs (→Halting problem: Clarify which BB function.)