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
19 May 2025
- diffhist Roger Penrose 18:49 +110 Countercheck talk contribs (light copyedit) Tag: Visual edit
- diffhist Elementary diagram 18:42 +46 Neiltonks talk contribs (Adding short description: "Concept in model theory") Tag: Shortdesc helper
- diffhist Philosophy of mathematics 16:31 +1 D.Lazard talk contribs (Reverted 1 edit by 79.117.72.61 (talk): ZFC is not a first-order logic) Tags: Twinkle Undo
- diffhist Philosophy of mathematics 16:19 −1 79.117.72.61 talk Tag: Reverted
- diffhist m Material conditional 12:24 +32 Marc Schroeder talk contribs (removed lint error by setting fg=#000000)
- diffhist Material conditional 12:14 +672 Marc Schroeder talk contribs (added a precision on MPC / IPC)
- diffhist m Decision problem 09:36 +13 Nyngwang talk contribs (→Notes: wording.)
- diffhist m Alan Turing 04:51 −1 BlankEclair talk contribs (→Government apology and pardon: Remove erroneous whitespace)
- diffhist Alphabet 02:47 +269 Jreiss17 talk contribs (→Alphabetical order: Adding reference) Tag: 2017 wikitext editor
- diffhist Algorithm 01:34 +112 David Eppstein talk contribs (→By design paradigm: improve sourcing for divide & conquer / prune & search)
- diffhist Algorithm 01:25 −35 David Eppstein talk contribs (→Ancient algorithms: the citation is right there in the next sentence)
- diffhist Algorithm 01:21 −177 David Eppstein talk contribs (more precisely locate the quotation from stone; page 8 (end of section), not page 4 (earlier version of similar def))
- diffhist Algorithm 01:12 +1,415 David Eppstein talk contribs (→Etymology: clean up attestations and sourcing)
- diffhist Algorithm 00:39 −28 David Eppstein talk contribs (I don't think this essay-like cleanup banner is valid)
18 May 2025
- Deletion log 21:30 SuperMarioMan talk contribs changed visibility of a revision on page File:Question book-new.svg: content hidden (RD2: Grossly insulting, degrading, or offensive material)
- diffhist File:Question book-new.svg 21:28 +27 SuperMarioMan talk contribs (Adding {{pp-vandalism}}) Tag: Twinkle
- Protection log 21:28 SuperMarioMan talk contribs changed protection settings for File:Question book-new.svg [Edit=Require autoconfirmed or confirmed access] (expires 21:28, 18 August 2025) [Move=Require administrator access] (indefinite) (Persistent vandalism) (hist) Tag: Twinkle
- diffhist m Set (mathematics) 19:56 −11 D.Lazard talk contribs (Reverted 1 edit by Jyoti Thakurr (talk) to last revision by D.Lazard) Tags: Twinkle Undo
- diffhist m File:Question book-new.svg 19:52 −7,472 Annh07 talk contribs (Reverted edit by 220.81.48.229 (talk) to last version by Aydoh8) Tags: Replaced Rollback
- diffhist File:Question book-new.svg 19:50 +7,472 220.81.48.229 talk Tags: Manual revert Reverted
- diffhist m Formal language 19:01 +1 Klauscougar talk contribs (edited for clarity. "words" now unambiguously refers to "strings") Tag: Visual edit
- diffhist m Set (mathematics) 18:43 +11 Jyoti Thakurr talk contribs (hyperlinked) Tags: Reverted Visual edit: Switched
- diffhist Roger Penrose 15:57 +22 Mr. D. E. Mophon talk contribs (→Awards and honours)
- diffhist Roger Penrose 15:49 −10 Mr. D. E. Mophon talk contribs
- diffhist Roger Penrose 15:46 +307 Mr. D. E. Mophon talk contribs (→Awards and honours)
- diffhist Roger Penrose 15:31 +19 Mr. D. E. Mophon talk contribs (→Awards and honours)
- diffhist Roger Penrose 15:29 +305 Mr. D. E. Mophon talk contribs (→Awards and honours)
- diffhist Roger Penrose 15:20 +692 Mr. D. E. Mophon talk contribs (→Awards and honours)
- diffhist Roger Penrose 14:56 +1,066 Mr. D. E. Mophon talk contribs (→Awards and honours)
- diffhist Material conditional 14:54 +1,091 Marc Schroeder talk contribs (added ND proof of Peirce's law)
- diffhist Roger Penrose 14:10 +203 Mr. D. E. Mophon talk contribs (→Awards and honours: honorary degree from University of Surrey)
- diffhist Roger Penrose 14:02 +275 Mr. D. E. Mophon talk contribs (→Awards and honours: Honorary Doctor of Science degree from the University of New Brunswick)
- diffhist m Transcendental number 13:34 +711 Vanadium-3065 talk contribs (supplied a notable missing type of real number proved to be transcendental, specified what does it mean to be "large" *v*) Tags: Visual edit Mobile edit Mobile web edit
- diffhist m Gödel's incompleteness theorems 10:15 +10 BriDash9000 talk contribs
- diffhist Euclid's Elements 09:06 +4 Vohlonse talk contribs
- diffhist m Gödel's incompleteness theorems 07:55 −10 BriDash9000 talk contribs (Moved page protection template per Wikipedia:Manual_of_Style/Layout#Order_of_article_elements)
- diffhist m Material conditional 04:16 −5 Marc Schroeder talk contribs (→Syntactical properties)
- diffhist m Material conditional 03:52 +4 Marc Schroeder talk contribs (→A selection of theorems (classical logic))
- diffhist Material conditional 03:19 +1,661 Marc Schroeder talk contribs (added two references and a ND proof)
- diffhist Programming language 01:42 +99 Headbomb talk contribs (→2000s to present: | Altered template type. Add: class, date, title, eprint, authors 1-4. Changed bare reference to CS1/2. Removed parameters. Some additions/deletions were parameter name changes. | Use this tool. Report bugs. | #UCB_Gadget)
17 May 2025
- diffhist Material conditional 21:09 +259 Marc Schroeder talk contribs (added alternative natural deduction rule to obtain classical logic)
- diffhist Wikipedia:Citing sources 19:26 +97 Beland talk contribs (→Citation style: add "Preserving the style of each individual source is not considered an acceptable consistent style." per Wikipedia talk:Citing sources#RFC on consistent styles and capitalization of titles)
- diffhist Bertrand Russell 19:24 +16 Omnipaedista talk contribs (already linked above)
- diffhist m Decision problem 18:39 +16 Nyngwang talk contribs (meta(symbol): In the only accompanying image, the two answers are "YES", "NO", not "yes", "no"; update all occurrences accordingly.)
- diffhist m Decision problem 18:34 +220 Nyngwang talk contribs (meta(notes): add a note for the part that confused me, so it may help other people as well.)
- diffhist m Computable set 18:15 −15 Nyngwang talk contribs (→Examples: fix(wording): rm "special cases", which may sound like "counter examples".)
- diffhist m Computable set 18:11 0 Nyngwang talk contribs (meta(wording): it's no harm moving "decidable" to the left of the historical term "recursive".)
- diffhist Binary operation 16:41 −250 Jochen Burghardt talk contribs (→Terminology: suggest to remove incomprehensible sentence)
- diffhist Binary operation 16:39 −16 Jochen Burghardt talk contribs (→Terminology: rm duplicate mention of real numbers)