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
12 May 2024
- diffhist Computer 15:33 −108 Beefman talk contribs (→Stored programs: Removed one-sentence paragraph misplaced in a discussion of early computing hardware.) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Philosophy of mathematics 13:11 0 D.Lazard talk contribs (→Logic and rigor: typo)
- diffhist Philosophy of mathematics 13:10 +62 D.Lazard talk contribs (→Logic and rigor: New section, still to be expanded)
- diffhist Sequent calculus 06:02 +49 2601:646:9b81:9c90::799a talk (Fixed the presentation of LK/LJ to use additive rather than multiplicative rules (as seen in both the original Gentzen paper and in the source cited at the beginning of the section on LK), as well as some other edits this necessitated.)
- diffhist Foundations of geometry 01:42 −5 David Eppstein talk contribs (this has much more cs2 than cs1; standardize on that)
- diffhist Foundations of geometry 01:41 +266 David Eppstein talk contribs (→Incompleteness: supply requested citation)
11 May 2024
- diffhist Syllogism 23:32 −6 Toughpigs talk contribs (→Aristotle)
- diffhist Partition of a set 20:45 0 Russ Woodroofe talk contribs (Restored revision 1218853303 by David Eppstein (talk): ????) Tags: Twinkle Undo
- diffhist Function (mathematics) 17:58 −132 D.Lazard talk contribs (Undid revision 1223370671 by 97.126.118.27 (talk) unsourced) Tag: Undo
- diffhist Function (mathematics) 17:57 −33 D.Lazard talk contribs (Undid revision 1223369778 by 97.126.118.27 (talk) Range is ambiguous and therefore must not be mentioned without care) Tag: Undo
- diffhist Function (mathematics) 17:44 +132 97.126.118.27 talk (Indicate most usual denotations for domain, codomain, and range.) Tag: Reverted
- diffhist Function (mathematics) 17:35 +33 97.126.118.27 talk (Indicate usual usage of "range" of a function.) Tag: Reverted
- diffhist m Euclid's Elements 16:39 0 Beland talk contribs (mu not micro in Greek words (via WP:JWB))
- diffhist Venn diagram 15:51 −186 The Banner talk contribs (Undid revision 1223356247 by LuxembourgLover (talk) irrelevant, not English) Tag: Undo
- diffhist Venn diagram 15:44 +186 LuxembourgLover talk contribs (Undid revision 1223325621 by The Banner (talk) added venn diogram, please provide a better summery next time.) Tags: Reverted Visual edit
- diffhist m Wayback Machine 13:17 +28 REDACTED403 talk contribs (Reverted edits by 2A0B:6204:94B5:D600:412C:DD4F:A6DA:DF3 (talk) (HG) (3.4.12)) Tags: Huggle Rollback
- diffhist Wayback Machine 13:16 −28 2a0b:6204:94b5:d600:412c:dd4f:a6da:df3 talk Tag: Reverted
- diffhist Venn diagram 10:46 −184 The Banner talk contribs (Undid revision 1223223026 by LuxembourgLover (talk) irrelevant) Tag: Undo
- diffhist Partition of a set 10:42 0 124.148.69.202 talk (→Refinement of partitions) Tag: Reverted
- diffhist Partition of a set 10:41 0 124.148.69.202 talk (→Refinement of partitions) Tag: Reverted
10 May 2024
- diffhist Soundness 23:18 0 Rhosnes talk contribs Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
- diffhist Formal system 21:31 −8 Rhosnes talk contribs Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
- diffhist Information theory 17:50 −16 Deor talk contribs (Undid revision 1223088430 by Robert7277 (talk) - overlink) Tag: Undo
- diffhist Information theory 17:49 −4 Deor talk contribs (Undid revision 1223088134 by Robert7277 (talk) - link to dab) Tag: Undo
- diffhist Venn diagram 17:36 +184 LuxembourgLover talk contribs (→History: mordern example) Tags: Reverted Visual edit
- diffhist Constructive set theory 17:25 −18 213.162.73.71 talk (→No universal set) Tags: Mobile edit Mobile web edit
- diffhist m Function (mathematics) 15:59 −9 Leonidlednev talk contribs (Reverted edits by 74.199.135.22 (talk) to last revision by D.Lazard: nonconstructive edits) Tags: Rollback SWViewer [1.6]
- diffhist Function (mathematics) 15:58 +9 74.199.135.22 talk Tag: Reverted
- diffhist New Foundations 15:27 +82 Bbbbbbbbba talk contribs (→History: Edited the first few sentences to clarify the logical thread.)
- diffhist Constructive set theory 12:56 +1 212.186.132.66 talk (→No universal set: Missing dot)
- diffhist Constructive set theory 12:56 +32 212.186.132.66 talk (→No universal set)
- diffhist Constructive set theory 12:41 +4 212.186.132.66 talk (→No universal set: Link to cumulative hierarchy)
- diffhist Constructive set theory 12:36 +882 Nagol0929 talk contribs (Reverting edit(s) by Nagol0929 (talk) to rev. 1223183340 by 212.186.132.66: Self revert (RW 16.1)) Tags: RW Undo
- diffhist Constructive set theory 12:35 −882 Nagol0929 talk contribs (Reverting edit(s) by 212.186.132.66 (talk) to rev. 1223047540 by 88.116.31.14: Vandalism (RW 16.1)) Tags: RW Undo Reverted
- diffhist Constructive set theory 12:34 +6 212.186.132.66 talk (→Separation) Tag: Reverted
- diffhist Constructive set theory 12:28 +556 212.186.132.66 talk (→No universal set) Tag: Reverted
- diffhist Constructive set theory 12:18 +249 212.186.132.66 talk (→Separation) Tag: Reverted
- diffhist Constructive set theory 12:04 +71 212.186.132.66 talk (→Classes) Tag: Reverted
- diffhist Fuzzy set 06:41 +39 Beland talk contribs (MOS:BBB)
- diffhist True arithmetic 05:32 −4 Maxeto0910 talk contribs (per WP:HOWTOSD) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Turing machine 04:31 −9 Jochen Burghardt talk contribs (Undid revision 1223102554 by 79.87.167.154 (talk)) Tag: Undo
- diffhist Logical disjunction 02:05 +12 Anerdw talk contribs (Add a wikilink)
9 May 2024
- diffhist Three-valued logic 23:14 +694 HeyElliott talk contribs (Added archives, added info to refs, ce) Tag: 2017 wikitext editor
- diffhist Class (set theory) 22:46 −94 108.172.186.57 talk
- diffhist Turing machine 22:19 +9 79.87.167.154 talk (→The "state") Tags: Reverted Visual edit
- diffhist Syllogism 22:04 −4 8.47.102.128 talk Tags: Mobile edit Mobile web edit
- diffhist m Information theory 20:29 +16 Robert7277 talk contribs (Citation) Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist m Information theory 20:27 +4 Robert7277 talk contribs (Grammar fix) Tags: Reverted Visual edit Mobile edit Mobile web edit Disambiguation links added
- diffhist Propositional calculus 19:42 −25 Thiagovscoelho talk contribs (Undid revision 1222042446 by JackTheSecond (talk) That sidebar was already in this article, at a more topically relevant place) Tag: Undo
- diffhist Philosophy of mathematics 17:19 +4 D.Lazard talk contribs (→Reality: omitted link)