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
2 August 2025
- diffhist Minimal axioms for Boolean algebra 09:40 +227 Mateusz Pyzik talk contribs (Mention redundancy of the idempotence assumption, with citation.)
- diffhist Minimal axioms for Boolean algebra 09:19 +42 Mateusz Pyzik talk contribs (Idempotence assumption was missing. See p. 486, Example 4.5, in the cited Huntington's article where idempotence of logical OR is shown te be independent of the other axioms.)
- diffhist Gödel's incompleteness theorems 07:16 +48 IrisChronomia talk contribs (added invisible comment that's visible even with visual editor.) Tag: Visual edit
- diffhist Gödel's incompleteness theorems 06:57 0 Julietdeltalima talk contribs (Reverted 1 pending edit by 102.89.47.19 to revision 1301572525 by Jochen Burghardt: reverting conceptually incorrect edit apparently made without reading hidden text) Tags: Manual revert Mobile edit Mobile web edit Advanced mobile edit
- diffhist Gödel's incompleteness theorems 03:48 0 102.89.47.19 talk (Fixed a typo) Tags: Reverted Mobile edit Mobile web edit
- diffhist Ancient history 01:02 +31 Sunnyediting99 talk contribs (→Neighbours of China)
- diffhist m Ancient history 00:13 −2 Remsense talk contribs (Reverted 1 edit by 223.26.72.72 (talk) to last revision by Remsense) Tags: Twinkle Undo
- diffhist Ancient history 00:11 +2 223.26.72.72 talk Tags: Reverted Mobile edit Mobile web edit
1 August 2025
- diffhist m Cardinality 21:14 +74 Farkle Griffen talk contribs (→Uncountable sets: added color) Tag: Visual edit
- diffhist m Cardinality 20:03 0 Arjayay talk contribs (Duplicate word reworded)
- diffhist Enumeration 14:40 +32 1F616EMO talk contribs (Added {{One source}} tag) Tag: Twinkle
- diffhist Sequent calculus 13:35 +8 80.229.208.152 talk (→Sequent calculus systems: change "sequent" to "sequent formula", per the cited source. The source does not say that a cedent is also called a sequent, and neither should we; it would be confusing.)
- diffhist m Inductive reasoning 11:48 +12 Dominic Mayers talk contribs (→Inductive generalization: ce) Tag: Visual edit
- diffhist Inductive reasoning 09:45 +241 Dominic Mayers talk contribs (→Inductive generalization) Tag: Visual edit
- diffhist Inductive reasoning 08:58 +8 Dominic Mayers talk contribs (Consistent with what the remainder says, which is correct, because of the "at best" and is most likely verifiable in many reliable sources.) Tag: Visual edit
- diffhist Inductive reasoning 08:56 −205 Dominic Mayers talk contribs (→top: Russell 1948 is a primary source in that context. It could be used to give Russell's view, but not as a general reference.)
- diffhist Inductive reasoning 08:50 −199 Dominic Mayers talk contribs (Removed a reference to Bayesian logic to verify a general statement regarding any inductive logic. Inductive Bayesian logic is a very special kind of inductive logic. Besides, the unverified statement itself is dubious: an inductive logic is characterized by its use of assumptions, that is, by its reliance on background knowledge, not by probabilistic conclusions.)
- diffhist m Russell's paradox 06:19 +2 Nubtom talk contribs (Fixed grammar) Tags: Mobile edit Mobile app edit iOS app edit App select source
- diffhist Cardinality 03:38 +401 Farkle Griffen talk contribs (→Uncountable sets: Added example, and MOS:WE) Tag: Visual edit
- diffhist Ancient history 02:14 −102 Remsense talk contribs (Undid revision 1300610272 by Polish.Pav (talk): no idea what this adds) Tag: Undo
31 July 2025
- diffhist Aristotle 20:26 +4 Mksword talk contribs (Added link) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist m Transfer principle 19:49 +2 DerSpezialist talk contribs (→Statement: Typo)
- diffhist Alphabet (formal languages) 18:51 −12 David Eppstein talk contribs (it is the notation not the strings that needs to be unambiguous)
- diffhist Alphabet (formal languages) 18:51 −7 David Eppstein talk contribs (→top: I guess infinite strings are a thing)
- diffhist Alphabet (formal languages) 18:49 −6,140 David Eppstein talk contribs (Undo. I think this whole section is a mistake and a misreading. The ambiguity occurs only when WRITING strings, not in their actual definition. Expand clarification in lead)
- diffhist Alphabet (formal languages) 18:17 +6,557 Jochen Burghardt talk contribs (suggest own section to elaborate on "indivisible symbols" (needs critical review, and most likely some improvement; also might be of undue weight here)) Tag: possible prose issues
- diffhist m Higher-order logic 14:21 +4 Notsam1 talk contribs (Just added a hyperlink to first order logic; feel free to reverse it if it sounds redundant) Tag: Visual edit
- diffhist m Truth 12:49 −19 Frost talk contribs (Reverted edits by 115.98.251.138 (talk) (HG) (3.4.12)) Tags: Huggle Rollback
- diffhist Truth 12:48 +19 115.98.251.138 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Truth 12:46 −17 Frost talk contribs (Reverted edits by 115.98.251.138 (talk) (HG) (3.4.12)) Tags: Huggle Rollback
- diffhist Truth 12:46 +17 115.98.251.138 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Cognitive psychology 08:22 +394 C12H23 talk contribs Tag: Visual edit
- diffhist m P versus NP problem 07:17 −2 Banedon talk contribs (→Popular culture)
- diffhist m P versus NP problem 07:15 +4 Banedon talk contribs (→Results about difficulty of proof)
- diffhist m Medieval philosophy 05:57 −1 Nehz XZX talk contribs
- diffhist m Cardinality 05:25 +102 Farkle Griffen talk contribs (added ref) Tag: Visual edit
- diffhist Cardinality 05:16 +1,574 Farkle Griffen talk contribs (→Countable sets: Added refs) Tag: Visual edit
30 July 2025
- diffhist Gottlob Frege 19:23 +129 Smerdis talk contribs
- diffhist Inaccessible cardinal 18:59 +115 Beland talk contribs ({{MOS|article|date=July 2025| MOS:FORMULA - avoid mixing {{tag|math}} and {{tl|math}} in the same expression}})
- diffhist Constructible universe 18:58 +115 Beland talk contribs ({{MOS|article|date=July 2025| MOS:FORMULA - avoid mixing {{tag|math}} and {{tl|math}} in the same expression}})
- diffhist Universal set 10:39 +33 IrisChronomia talk contribs (linking) Tag: Visual edit
- diffhist m Primitive recursive function 09:34 +36 Marc Schroeder talk contribs (Replaced LaTeX "\stackrel.-" by "\mathbin{\dot{-}}" for monus)
- diffhist m Negation 09:00 −4 EvanBaldonado talk contribs (Replace curly quotes with straight quotes (see MOS:CURLY).)
- diffhist m Validity (logic) 09:00 +2 EvanBaldonado talk contribs (Replace hyphen with en-dash.)
- diffhist m Abductive reasoning 08:58 +2 EvanBaldonado talk contribs (Replace hyphen with en-dash.)
- diffhist m Abductive reasoning 08:58 +2 EvanBaldonado talk contribs (Replace hyphen with en-dash.)
29 July 2025
- diffhist Propositional logic 17:27 −20 Thiagovscoelho talk contribs (No confusion with predicate calculus is likely now that the page name is changed)
- diffhist m Euclid's Elements 11:00 0 Nyq talk contribs (lc common nouns (names of the mathematical theorems are not proper nouns)) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
- diffhist m Turing machine 09:54 −15 A3nm talk contribs (→See also: link) Tag: 2017 wikitext editor
- diffhist Foundations of mathematics 09:16 −84 D.Lazard talk contribs (→Foundational crisis: providing clarification)