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
10 June 2024
- diffhist Well-formed formula 01:44 −604 David Eppstein talk contribs (rm vague and cleanup-tagged paragraph)
9 June 2024
- diffhist m Logicism 21:23 +45 Rgdboer talk contribs (→Overview: lk Calculus of relations)
- diffhist m NP (complexity) 17:15 +1 Dexxor talk contribs (Undid revision 1228057634 by 2601:40F:4400:1E30:8C2C:20D9:61BB:B3C3 (talk)) Tag: Undo
- diffhist Logicism 16:01 +4 D.Lazard talk contribs (→History: + link)
- diffhist Foundations of mathematics 11:56 −2,023 D.Lazard talk contribs (→Philosophical consequences of Gödel's completeness theorem: rm non-attributed opinions that are weakly related to the subject of the article)
- diffhist NP (complexity) 07:08 −1 2601:40f:4400:1e30:8c2c:20d9:61bb:b3c3 talk Tag: Reverted
- diffhist Naive set theory 04:23 +23 David Eppstein talk contribs (John D. P. Meldrum)
- diffhist Philosophy of mathematics 04:22 +35 David Eppstein talk contribs (John D. P. Meldrum)
- diffhist Finitary relation 04:18 +35 David Eppstein talk contribs (John D. P. Meldrum)
8 June 2024
- diffhist Syllogism 21:14 −45 81.28.197.89 talk (→Felapton (EAO-3): "all" is not correct, event though the comment says it is. The name is EAO, not EAE, and e.g. flowers={1}, animals={2}, plants={1,2} fufills the major and minor statements, but not the unedited result.) Tags: Mobile edit Mobile web edit
- diffhist Continuum hypothesis 19:52 +63 Tassedethe talk contribs (change hat)
- diffhist List of set identities and relations 15:51 −1 87.52.111.139 talk
- diffhist Foundations of mathematics 15:04 +614 D.Lazard talk contribs (→Philosophical views: focusing the section introduction on the article subject)
- diffhist Foundations of mathematics 13:11 −3 2a00:23cc:b5b1:2901:79de:4cd5:d117:13a9 talk (→Infinitesimal calculus)
- diffhist Foundations of mathematics 08:47 −5 D.Lazard talk contribs (→Foundational crisis: ditto)
- diffhist Foundations of mathematics 08:41 +15 D.Lazard talk contribs (→Foundational crisis: tweaks)
- diffhist Aleph number 08:08 0 Zach05YT talk contribs Tags: Mobile edit Mobile web edit
- diffhist Proof of impossibility 06:48 −92 David Eppstein talk contribs (→Complete and consistent axiomatic system: rm unsourced editorialization)
7 June 2024
- diffhist Mathematics 18:16 −6 Cyrobyte talk contribs (→Medieval and later)
- diffhist Lambda calculus 18:11 +17 Xland44 talk contribs (TM and LC are equivaent) Tag: Visual edit
- diffhist m Foundations of mathematics 17:25 0 Arjayay talk contribs (Duplicate word removed +)
- diffhist Foundations of mathematics 17:06 +743 D.Lazard talk contribs (→Infinitesimal calculus: more focusing on foundations)
- diffhist Foundations of mathematics 14:33 0 D.Lazard talk contribs (→Infinitisimal calculus: typo)
- diffhist Foundations of mathematics 14:31 +1 D.Lazard talk contribs (→Before infinitesimal calculus: typo)
- diffhist Foundations of mathematics 14:30 +2 D.Lazard talk contribs (→Before infinitesimal calculus: tweak)
- diffhist Foundations of mathematics 14:29 −9 D.Lazard talk contribs (→Before infinitesimal calculus: typo)
- diffhist Foundations of mathematics 14:28 +959 D.Lazard talk contribs (→Renaissance: rewording for emphasizing on foundations)
- diffhist Mathematical logic 11:57 +24 37.236.63.16 talk (→See also) Tag: Visual edit
- diffhist Ordinal analysis 10:51 −1 C7XWiki talk contribs (→Table of ordinal analyses)
- diffhist Mathematics 07:31 −24 David Eppstein talk contribs (avoid dated stmt for list made 124 years ago)
6 June 2024
- diffhist Fuzzy set 18:20 +86 93.156.204.81 talk (As far as I get, I don't find "uniqueness condition" of fuzzy numbers in the reference #20, nor in any other reference.)
- diffhist Inaccessible cardinal 18:19 0 C7XWiki talk contribs (→Two model-theoretic characterisations of inaccessibility)
- diffhist Fuzzy set 18:14 −395 93.156.204.81 talk (As far as I get, I don't find "uniqueness condition" of fuzzy numbers in the reference #20, nor in any other reference.)
- diffhist m Turing machine 17:05 −2 Hooman Mallahzadeh talk contribs (→Additional details required to visualise or implement Turing machines)
- diffhist Class (set theory) 14:29 +2 Georgydunaev talk contribs (NBG is a conservative extension of ZFC, not just ZF, as it was written. In NBG, the global choice follows from the limitation of size axiom.) Tag: Visual edit
- diffhist Church–Turing thesis 14:28 +58 Spida-tarbell talk contribs (Added ISBN, publisher, edition, and pages (per inline request) to Hofstadter reference)
- diffhist Church–Turing thesis 14:13 +157 Spida-tarbell talk contribs (Updated reference for "Gödel on Turing on Computability" to add flagged missing date, use the more specific cite book template)
- diffhist Type theory 09:09 −5 213.24.133.237 talk (Removed strange out of place word "See" (typo?)) Tags: Visual edit Mobile edit Mobile web edit
5 June 2024
- diffhist m List of set identities and relations 23:45 +18 Mgkrupa talk contribs (Clarification)
- diffhist List of set identities and relations 23:39 +381 Mgkrupa talk contribs (Mentioned distributivity)
- diffhist m List of set identities and relations 23:28 −2 Mgkrupa talk contribs (Fix)
- diffhist List of set identities and relations 23:27 +479 Mgkrupa talk contribs (Moved information into new section "Symmetric difference ∆ of finitely many sets")
- diffhist List of set identities and relations 23:26 −476 Mgkrupa talk contribs (→Distributivity and symmetric difference ∆: Moved information)
- diffhist List of set identities and relations 23:24 +44 Mgkrupa talk contribs (Moved information into new section "Symmetric difference ∆ of finitely many sets")
- diffhist List of set identities and relations 23:20 +476 Mgkrupa talk contribs (→Distributivity and symmetric difference ∆)
- diffhist List of set identities and relations 22:54 +84 Mgkrupa talk contribs (→Distributing arbitrary Π over arbitrary ⋃: Anchor)
- diffhist List of set identities and relations 22:52 −390 Mgkrupa talk contribs (Removed redundant text)
- diffhist List of set identities and relations 22:49 0 Mgkrupa talk contribs (Rearranged)
- diffhist List of set identities and relations 22:44 +1,692 Mgkrupa talk contribs (Mentioned distributivity)
- diffhist List of set identities and relations 22:20 +499 Mgkrupa talk contribs (→Other simplifications: Mentioned Symmetric Difference of multiple sets)