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 New Foundations 20:12 +6,208 Mathnerd314159 talk contribs (deleting well-sourced sections is not an improvement. And making a subsection titled "NF" is illogical when the whole article is about NF. And the tagged consistency section is easily readable, I made a few minor edits but it was fine before.)
- diffhist Information theory 20:03 0 Availshrub talk contribs (→Miscellaneous applications: Increase sentence salience: when a list has three of one category and one of another category, moving the “odd one out” to the end increases salience.) Tags: Mobile edit Mobile web edit
- diffhist Computability theory 18:43 −68 BRLibertarian talk contribs (Notes using efn template.)
- diffhist m Computability theory 18:15 0 BRLibertarian talk contribs (→Notes)
- diffhist Foundations of mathematics 18:14 +2 50.38.92.43 talk (→Ancient Greece: Fixed typos) Tags: Mobile edit Mobile web edit
- diffhist New Foundations 16:59 −7,069 Thefringthing talk contribs (remove finite axiomatization section, rearrange definition section, general cleanup)
- diffhist m Geometry 16:33 +1 Reywas92 talk contribs (MOS:POSS (via WP:JWB))
- diffhist m Computability theory 16:21 +4 BRLibertarian talk contribs (→Notes)
- diffhist Natural deduction 15:49 +22 Thiagovscoelho talk contribs Tag: Visual edit
- diffhist Propositional calculus 15:04 +3,032 Thiagovscoelho talk contribs (Added alternative semantics notation) Tag: Visual edit
- diffhist m Computability theory 15:03 −11 BRLibertarian talk contribs (→Turing computability)
- diffhist m Computability theory 14:58 0 BRLibertarian talk contribs (→Introduction)
- diffhist Computability theory 14:51 +5 BRLibertarian talk contribs (Undid revision 1228309603 by BRLibertarian (talk)) Tag: Undo
- diffhist m Computability theory 14:50 −5 BRLibertarian talk contribs (→Notes) Tag: Reverted
- diffhist Computability theory 14:45 −1 BRLibertarian talk contribs (Recursive mathematics study moved to the intro.)
- diffhist Computability theory 14:35 −231 BRLibertarian talk contribs (Added notes.)
- diffhist Foundations of mathematics 14:34 −87 D.Lazard talk contribs (Less heading levels)
- diffhist Foundations of mathematics 14:27 +1,181 D.Lazard talk contribs (→top: improvements (IMHO))
- diffhist Set theory 13:47 −14 Dhrm77 talk contribs (Undid revision 1228294633 by 117.255.196.185 (talk) not needed) Tag: Undo
- diffhist Set theory 13:08 +14 117.255.196.185 talk (→Applications) Tag: Reverted
- diffhist Equation 12:24 +19 178.138.195.86 talk (wl)
- diffhist Peano axioms 10:37 +24 StarButterflyIsCute talk contribs (added Skolem arithmetic on the See also)
- diffhist Gödel's completeness theorem 09:36 +48 Koavf talk contribs (→top)
- diffhist Gödel's incompleteness theorems 09:36 +112 Koavf talk contribs (→top)
- diffhist Ordinal analysis 08:13 +222 C7XWiki talk contribs (Add source)
- diffhist Natural deduction 07:07 +18 Thiagovscoelho talk contribs (→Gentzen-style definition)
- diffhist Natural deduction 07:05 +584 Thiagovscoelho talk contribs (→Gentzen-style definition: Removed "prop" notation and "true" notation that has no reliable source supporting its use; changed "term" notation for consistency) Tag: Visual edit
- diffhist m Lambda calculus 05:36 +5 Aero13792468 talk contribs (→β-reduction: keep formula on one line)
- 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)