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
30 May 2024
- diffhist Modal logic 22:22 +1 Autisticeditor 20 talk contribs (tweaked #article-section-source-editor) Tags: Mobile edit Mobile app edit iOS app edit
- diffhist m Calculus of constructions 21:04 −17 Egidio24 talk contribs (v2.05 - Fix errors for CW project (Link equal to linktext)) Tag: WPCleaner
- diffhist m Intuitionism 16:57 −26 Mathrick talk contribs (→Infinity: Style)
- diffhist m Negation 16:51 +719 Mathrick talk contribs (Fix up my previous edit)
- diffhist Negation 16:48 −715 Mathrick talk contribs (Revert to the revision prior to revision 1226430792 dated 2024-05-30 16:02:27 by Mathrick using popups) Tag: Manual revert
- diffhist Foundations of mathematics 16:34 +1,826 D.Lazard talk contribs (→Foundational crisis: It must be said that the crisis is essentially resolved)
- diffhist Negation 16:02 +715 Mathrick talk contribs (→Programming language and ordinary language: Add !!x C idiom) Tag: Reverted
- diffhist Constructive set theory 14:42 −1 88.117.193.86 talk (→Language)
- diffhist Constructive set theory 14:42 +129 88.117.193.86 talk (Define discreteness early)
- diffhist Intuitionistic logic 13:29 +14 Jean Abou Samra talk contribs (→Semantics: Needs sourcing) Tags: Mobile edit Mobile web edit
- diffhist Type theory 08:01 +1 2a02:6b60:0:fe::8a talk (→Homotopy type theory: missing space) Tag: Visual edit
- diffhist Bertrand Russell 04:22 +1,479 A. Randomdude0000 talk contribs (Restored revision 1225828989 by Prevenient (talk)) Tags: Twinkle Undo
- diffhist Bertrand Russell 04:15 −1,479 39.58.163.53 talk (→Between the wars) Tags: Reverted references removed
- diffhist Fuzzy logic 02:26 −402 Joyous! talk contribs (Reverted 1 edit by 64.75.214.119 (talk): Unsourced) Tags: Twinkle Undo
- diffhist Fuzzy logic 02:25 +402 64.75.214.119 talk (Added text on use of fuzzy controllers in critical care medicine) Tags: Reverted Visual edit
29 May 2024
- diffhist Constructive set theory 21:50 +143 91.141.73.235 talk (→Exponentiation)
- diffhist Constructive set theory 21:43 +154 91.141.73.235 talk (→Exponentiation: Models of ZFC minus Power)
- diffhist Integer 21:31 +14 Mathnerd314159 talk contribs (→History: italicize per MOS:WAW)
- diffhist Heyting arithmetic 21:26 −1 91.141.73.235 talk (→Least number principle)
- diffhist Wikipedia:Citing sources 18:16 −249 Schierbecker talk contribs (→When and why to cite sources: Alright, but this passage is in the completely wrong section)
- diffhist Wikipedia:Citing sources 17:35 +251 David Eppstein talk contribs (Undid revision 1226261696 by Schierbecker (talk) undiscussed changes. DYK exception is necessary to prevent us from having conflicting guidelines: this one saying repeat citations in a single passage are forbidden, and DYK rules saying they are required.) Tag: Undo
- diffhist m Foundations of mathematics 17:31 0 Tule-hog talk contribs (undid tag order change) Tag: Undo
- diffhist m Foundations of mathematics 17:29 0 Tule-hog talk contribs (switch tag order) Tag: Reverted
- diffhist Foundations of mathematics 17:28 +23 Tule-hog talk contribs ({{mcn}} " indicates that the article needs additional inline citations)
- diffhist Wikipedia:Citing sources 14:49 −251 Schierbecker talk contribs (→When and why to cite sources: move to relevant passage. DYK exception is overkill.) Tag: Reverted
- diffhist Heyting arithmetic 12:19 +15 91.112.18.90 talk (→Least number principle: Formatting)
- diffhist Heyting arithmetic 12:15 +48 91.112.18.90 talk (→Least number principle: Example)
- diffhist Heyting arithmetic 12:09 −17 91.112.18.90 talk (→Least number principle)
- diffhist Heyting arithmetic 12:07 +15 91.112.18.90 talk (→Least number principle)
- diffhist Heyting arithmetic 12:05 +208 91.112.18.90 talk (→Least number principle)
28 May 2024
- diffhist Dependent type 20:17 +1 Hellacioussatyr talk contribs Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Heyting arithmetic 17:21 −6 178.115.47.141 talk (→Least number principle)
- diffhist Heyting arithmetic 17:16 +332 178.115.47.141 talk (→Least number principle)
- diffhist Set (mathematics) 13:47 −40 D.Lazard talk contribs (Reverted 1 edit by ChessPage1 (talk)) Tags: Twinkle Undo
- diffhist Set (mathematics) 12:25 +40 ChessPage1 talk contribs (→Definition and notation: Added content.) Tags: Reverted Mobile edit Mobile web edit
- diffhist Mathematical proof 00:56 −98 David Eppstein talk contribs (→Proof by exhaustion: updates off-topic here; remove dated stmt)
27 May 2024
- diffhist Linear logic 22:54 +20 RaphaelQS talk contribs Tag: Visual edit
- diffhist Per Martin-Löf 22:18 +133 Comp.arch talk contribs (Merge redirects to EM and "EM method"/alg to one) Tag: 2017 wikitext editor
- diffhist Constructive set theory 16:57 +182 178.115.35.167 talk (→History and overview: Add reference to Crosilla Stanford Encyclopedia article on CZF & IZF)
- diffhist Constructive set theory 16:44 +238 178.115.35.167 talk (→Category and type theoretic notions: Add ref for Heyting pretopos)
- diffhist Constructive set theory 16:32 +77 178.115.35.167 talk (→Analysis: Add Bishop reference)
- diffhist Constructive set theory 16:27 +267 178.115.35.167 talk (→Imposed restrictions on a set theory: Add Feferman reference)
- diffhist Constructive set theory 16:21 0 178.115.35.167 talk (→Equality)
- diffhist Constructive set theory 16:13 +350 178.115.35.167 talk (Add classic reference)
- diffhist Hilbert system 06:00 +105 2a00:8a60:c010:1::1:118b talk (Fix statement about necessitation and substitution rules.)
26 May 2024
- diffhist m Wikipedia:Citing sources 23:59 +1 DrKay talk contribs (period)
- diffhist Bertrand Russell 23:55 +531 Prevenient talk contribs (→Final years, death and legacy)
- diffhist Wikipedia:Citing sources 22:23 −2 ZW1996 talk contribs
- diffhist m Russell's paradox 21:15 −6 IznoRepeat talk contribs (→External links: remove Template:Date per documentation; genfixes) Tag: AWB
- diffhist Constructive set theory 19:14 −7 91.141.78.210 talk (→The class of all subsets of a set)