Related changes
Appearance
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
11 June 2025
- diffhist m Logic 20:06 −881 Favonian talk contribs (Reverted edit by 129.45.14.160 (talk) to last version by Maxeto0910) Tag: Rollback
- diffhist Logic 19:07 +881 129.45.14.160 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Church–Turing thesis 17:10 +285 Villaida talk contribs (→Statement in Church's and Turing's words: added a source) Tag: Visual edit
- diffhist Euclid's Elements 17:02 +12 D.Lazard talk contribs (→Contents: +anchor)
- diffhist m Cardinality 04:01 +2 Farkle Griffen talk contribs ("mathematical set" feels clunky) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist m Boolean function 02:18 −23 Nyq talk contribs (lc per MOS:EXPABBR and other common nouns) Tag: Visual edit
- diffhist m Boolean algebra 01:33 +1 Nyq talk contribs (lc common nouns, sentence case) Tag: Visual edit
- diffhist m Cardinality 01:33 +9 Farkle Griffen talk contribs (→Axiomatic set theory) Tag: Visual edit
- diffhist Cardinality 01:31 −42 Farkle Griffen talk contribs (→Axiomatic set theory) Tag: Visual edit
- diffhist m Cardinality 01:27 −2 Farkle Griffen talk contribs (→Axiomatic set theory) Tag: Visual edit
- diffhist Cardinality 01:26 +3,373 Farkle Griffen talk contribs (→Axiomatic set theory: added section) Tag: Visual edit
- diffhist Multiplication 00:04 −64 Driftingdrifting talk contribs (Reverted 1 edit by 64.30.79.157 (talk)) Tags: Twinkle Undo
- diffhist Multiplication 00:03 +64 64.30.79.157 talk (i did some multiplicaton) Tag: Reverted
10 June 2025
- diffhist Cardinality 23:49 +35 Farkle Griffen talk contribs (→Countable sets: Specificity) Tag: Visual edit
- diffhist Axiomatic system 23:44 +19 Yesterday, all my dreams... talk contribs (lnk)
- diffhist Axiomatic system 23:43 +4 Yesterday, all my dreams... talk contribs (lnk)
- diffhist Large cardinal 23:17 −28 24.130.134.205 talk (→Hierarchy of consistency strength: If ZFC is inconsistent, then the two extensions will obviously be both inconsistent, and the statement still holds true.)
- diffhist m Cardinality 23:01 0 Farkle Griffen talk contribs (Alphabetical) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Logical connective 19:28 −1 Maxeto0910 talk contribs (no sentence) Tag: Visual edit
- diffhist Formal system 19:18 0 Maxeto0910 talk contribs (→Deductive system) Tag: Visual edit: Switched
- diffhist Set theory 19:15 +7 Maxeto0910 talk contribs (→Naive set theory: per MOS:CIRCA) Tag: Visual edit
- diffhist Set theory 19:14 −2 Maxeto0910 talk contribs (no sentences) Tag: Visual edit
- diffhist History of logic 19:13 −2 Maxeto0910 talk contribs (no sentences) Tag: Visual edit
- diffhist Mathematical logic 19:12 −1 Maxeto0910 talk contribs (→Symbolic logic: no sentence) Tag: Visual edit
- diffhist Logic 19:10 +1 Maxeto0910 talk contribs (→Fallacies) Tag: Visual edit
- diffhist Primitive recursive function 19:08 −9 Jochen Burghardt talk contribs (Undid revision 1294830678 by 103.58.110.6 (talk): looks pretty much the same; *all* occurrences should have the same source code) Tag: Undo
- diffhist Material conditional 15:03 +299 Robertas.Vilkas talk contribs (→History: For Bourbaki notation replaced the incorrect notation \to with \Rightarrow and added a reliable source (some time ago Wiki had the correct version, but someone messed it up))
- diffhist Cardinality 14:08 +31 Nick19520 talk contribs (→See also)
- diffhist m Forcing (mathematics) 10:54 +1 SchwartzYosale talk contribs (→Internal definition: fixed typo)
- diffhist m Forcing (mathematics) 10:39 +5 SchwartzYosale talk contribs (→The countable chain condition: fixed grammar)
- diffhist Primitive recursive function 02:01 +9 103.58.110.6 talk (Correct spacing around binary operator →Predicate "Less or equal") Tags: Reverted Visual edit: Switched
9 June 2025
- diffhist Logic 21:43 +7 Trovatore talk contribs (→Formal logic: I suspect the other editor was confused by the language; the rule of inference isn't something that applies to the premises and also to the conclusion, but rather to the path from the former to the latter)
- diffhist Cardinality 21:35 0 Sheddow talk contribs (→Ancient history: Capitalize Jaina) Tags: Mobile edit Mobile web edit
- diffhist Strength (mathematical logic) 20:08 +46 742a talk contribs (Add short description) Tags: Mobile edit Mobile web edit
- diffhist Logic 19:40 +5 ERcheck talk contribs (→Formal logic: per Trovatore, not a compound subject, so adding word to avoid any ambiguity)
- diffhist Multiplication 19:12 +12 Ninjamin talk contribs (→top: the asterisk for multiplication is specific to programming languages, not as claimed generally on computers (many calculator apps use it to input multiplication, but even those don't use it to display multiplication)) Tag: 2017 wikitext editor
- diffhist Logic 17:53 +1 Trovatore talk contribs (Undid revision 1294502182 by ERcheck (talk) the subject of "follows" is "logical structure", which is singular) Tag: Undo
- diffhist m Reuben Goodstein 15:52 +14 Tobyhoward talk contribs (Changing short description from "English mathematician" to "English mathematician (1912–1985)") Tag: Shortdesc helper
- diffhist First-order logic 15:09 +192 BardRapt talk contribs (→Terms: G. Takeuti)
- diffhist Fuzzy set 13:25 +1 SchwartzYosale talk contribs (Undid revision 1293950139 by 93.38.201.218 (talk) "iff" is a common term, short for "if and only if". in this case it's more appropriate than just "if") Tag: Undo
- diffhist Forcing (mathematics) 12:57 +16 SchwartzYosale talk contribs (→The countable chain condition: reformulated in a more similar way to the proof in the reference. it was unclear before, in my opinion, why the "finite set" should in fact be finite. answer: it's a finite partial function itself!)
- diffhist Axiom of choice 11:02 +99 Goodphy talk contribs (Added a note explaining what is S_i for straightforward understanding of what is the axiom of choice.) Tag: Visual edit
- diffhist Forcing (mathematics) 10:27 +185 SchwartzYosale talk contribs (→The countable chain condition: clarified the construction (because I had to go to the reference to understand it myself)) Tag: Visual edit: Switched
- diffhist Rule of inference 08:42 +457 Phlsph7 talk contribs (mention term "deductive explosion" per DYK discussion)
- diffhist m Equality (mathematics) 02:08 0 Farkle Griffen talk contribs (They're just a bit too big) Tag: Visual edit: Switched
- diffhist m Cardinality 01:47 0 Farkle Griffen talk contribs (→Equivalence) Tag: Visual edit
- diffhist Cardinality 01:42 −163 Farkle Griffen talk contribs (→Uniqueness: This is a little easier to read, I think?) Tag: Visual edit
- diffhist Equality (mathematics) 01:34 +4 ZergTwo talk contribs (Upright is preferred, see MOS:UPRIGHT for more information. Undid revision 1294630629 by Farkle Griffen (talk)) Tag: Undo
- diffhist m Cardinality 01:15 +44 Farkle Griffen talk contribs (→Ancient history: via) Tag: Visual edit
- diffhist Cardinality 01:11 +332 Farkle Griffen talk contribs (→Ancient history: Added ref) Tag: Visual edit