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
21 May 2025
- diffhist Kolmogorov complexity 04:43 +37 DouglasAHOrr talk contribs (Correct a detail in the first figure caption.) Tags: Mobile edit Mobile web edit
- diffhist m Formal language 01:36 +58 TonySt talk contribs (Reverted 1 edit by 2600:1014:B08C:9C:DD8D:C537:D95F:4C2A (talk) to last revision by Klauscougar) Tags: Twinkle Undo
- diffhist Formal language 01:36 −58 2600:1014:b08c:9c:dd8d:c537:d95f:4c2a talk (Improve the information necessary to be inclusive and not bias) Tags: Reverted Mobile edit Mobile web edit
- diffhist Function (mathematics) 01:25 +1 David Eppstein talk contribs (Undid revision 1291402350 by Goodphy (talk) sdrawkcab) Tag: Undo
- diffhist Function (mathematics) 00:50 −1 Goodphy talk contribs (→Definition: Corrected function definition descriptions.) Tags: Reverted Visual edit
20 May 2025
- diffhist Tilde 22:52 −96 JMF talk contribs (→top: just lose the 'related' from the infobox, it just introduces needless complications)
- diffhist Tilde 22:39 −55 JMF talk contribs (see also in symbol infobox is just for related diacritics, not to duplicate the general see also)
- diffhist Necessity and sufficiency 22:22 −14 ArguedOyster talk contribs (It's not necessary to be a circle to be round.)
- diffhist Tilde 20:53 −18 78.81.123.235 talk (Link edited) Tags: Mobile edit Mobile web edit Disambiguation links added
- diffhist Inaccessible cardinal 18:01 +352 2600:1700:6e32:8200:7436:2346:27ae:b9af talk (clarification)
- diffhist Inaccessible cardinal 07:40 +24 2600:1700:6e32:8200:c95b:9204:b55d:d787 talk (relaxation of strong to weak requirements in some points.)
- diffhist Inaccessible cardinal 05:47 +1,230 2600:1700:6e32:8200:c95b:9204:b55d:d787 talk (Introductory material)
- diffhist Set (mathematics) 05:26 +1 199.247.239.193 talk (→Zorn's lemma)
- diffhist Inaccessible cardinal 03:07 −448 2600:1700:6e32:8200:c95b:9204:b55d:d787 talk (Readability of introductory matter.)
19 May 2025
- diffhist Reverse mathematics 23:58 +1 Partofthemachine talk contribs (→Arithmetical comprehension ACA0: ce)
- diffhist m Free variables and bound variables 23:24 +17 Rgdboer talk contribs (isbn templates)
- 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 Description 13:47 −1 Anita5192 talk contribs (Reverted edit by 2402:AD80:140:C663:88AC:90FF:FE7B:8744 (talk) to last version by InedibleHulk) Tag: Rollback
- 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 Description 10:25 +1 2402:ad80:140:c663:88ac:90ff:fe7b:8744 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Decision problem 09:36 +13 Nyngwang talk contribs (→Notes: wording.)
18 May 2025
- diffhist Halting problem 22:58 −11 Kvng talk contribs (rv unnec) Tag: Manual revert
- diffhist m Nonsense 20:10 +27 Drmies talk contribs (Reverted edit by Nonsensekind1993 (talk) to last version by Rodw) Tag: Rollback
- diffhist Nonsense 20:10 −27 Nonsensekind1993 talk contribs (Updated short description) Tags: Reverted Mobile edit Mobile app edit Android app edit App description change
- 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 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 Material conditional 14:54 +1,091 Marc Schroeder talk contribs (added ND proof of Peirce's law)
- 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 List of logic symbols 07:14 +46 Guozy2001 talk contribs (→Basic logic symbols) Tag: Visual edit
- 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 A. J. Ayer 00:06 −10 Omnipaedista talk contribs (redundant)
- diffhist A. J. Ayer 00:06 −1 Omnipaedista talk contribs (standardized punct.)
17 May 2025
- diffhist Material conditional 21:09 +259 Marc Schroeder talk contribs (added alternative natural deduction rule to obtain classical logic)
- 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 Module:Side box/styles.css 17:06 +84 Andrybak talk contribs (Override font-size for embedded side boxes. Non-embedded Template:Side box gets `font-size: 88%;` from Module:Side box/styles.css#L-6; an embedded Template:Side box (usually through the module) gets the same 88% plus another 88% from class .infobox at MediaWiki:Common.css (to be migrated to Module:Infobox/styles.css). 0.88*0.88=0.7744, which is less than 85% from the guideline MOS:FONTSIZE. See also Special:Diff/1290232777)
- 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)
- diffhist m Premise 16:31 +3 FaviFake talk contribs (Smal formatting fix) Tag: 2017 wikitext editor