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
5 June 2024
- diffhist Foundations of mathematics 09:11 +6 D.Lazard talk contribs (→Ancient Greek mathematics: linking to an anchor + tweaks)
- diffhist Foundations of mathematics 09:03 +242 D.Lazard talk contribs (→Ancient Greek mathematics: more focus on foundations)
- diffhist Continuum hypothesis 05:53 +742 David Eppstein talk contribs (supply requested citation(s))
- diffhist Continuum hypothesis 05:48 +19 David Eppstein talk contribs (→Arguments for and against the continuum hypothesis: the actual quote from Freiling)
- diffhist Axiom of choice 00:36 −2 Bbbbbbbbba talk contribs (→Statements implying the negation of AC: Changed the section title again: These statements can *only* be true if ¬C is true (although some are equivalents), as they are negations of ZFC theorems.) Tags: Mobile edit Mobile web edit Advanced mobile edit
4 June 2024
- diffhist m Axiom of choice 20:45 0 AlsoWukai talk contribs (→Independence) Tag: Visual edit
- diffhist m Foundations of mathematics 19:28 +1 Arjayay talk contribs (Sp)
- diffhist Substitution (logic) 18:11 −12 Caleb Stanford talk contribs (→First-order logic: fix per talk page) Tag: 2017 wikitext editor
- diffhist Forcing (mathematics) 14:57 −6 47.236.83.15 talk (→Rigorous definitions)
- diffhist m Cantor's theorem 14:25 0 Oneequalsequalsone talk contribs (→Proof) Tag: Visual edit
- diffhist Foundations of mathematics 11:41 −1 Ancheta Wis talk contribs (→Ancient Greek mathematics: spelling)
- diffhist Forcing (mathematics) 07:43 −27 Bbbbbbbbba talk contribs (→The countable chain condition: This proof is in fact a slight rephrase of the proof in Cohen's 2008 book, although Cohen's original paper gives an explicit enumeration of any antichain, and also it seems to me that a measure-based proof could work for Cohen forcing too if we regard a condition as a finite union of open intervals.)
- diffhist Axiom of choice 06:41 −5 147.185.46.229 talk (→Statements consistent with the negation of AC) Tag: Visual edit
- diffhist Europe 06:22 −8 Vipz talk contribs (→top: I see Renaissance was linked instead of Italian Renaissance.) Tag: Manual revert
- diffhist Europe 06:20 −16 Vipz talk contribs (Perhaps there is a better way to link to the broader Renaissance after Italian Renaissance was linked, but doing it as an WP:EASTEREGG link is not good. It is also somewhat contributing to a WP:SEAOFBLUE.) Tags: Undo Reverted
- diffhist m Model theory 04:40 +134 Cedar101 talk contribs (→Categoricity: {{mvar}})
- diffhist m Model theory 04:34 −44 Cedar101 talk contribs (→ω-categoricity: {{mvar}} {{mathbb}})
- diffhist m Model theory 04:30 −6 Cedar101 talk contribs (→Ultraproducts: {{mvar}})
- diffhist m Model theory 04:28 +10 Cedar101 talk contribs (→Ultraproducts: {{mvar}}, {{mathcal}})
- diffhist m Finite model theory 02:27 +40 Cedar101 talk contribs (→Database theory: {{sxhl|2=sql|}})
- diffhist m Finite model theory 02:26 +26 Cedar101 talk contribs (→Database theory: <math>)
- diffhist m Finite model theory 02:23 +27 Cedar101 talk contribs (→Example: − {{math}}, <math>)
- diffhist m Finite model theory 02:18 −66 Cedar101 talk contribs (→Characterisation of a class of structures: {{olist}})
- diffhist Europe 01:53 +24 RickySarzus talk contribs (Previous accepted version) Tags: Reverted Mobile edit Mobile web edit Advanced mobile edit
- diffhist Church–Turing thesis 01:51 +9 Altenmann talk contribs
- diffhist Europe 01:30 −8 Remsense talk contribs (Reverting edit(s) by RickySarzus (talk) to rev. 1226407729 by Chipmunkdavis: Non-constructive edit (UV 0.1.5)) Tags: Ultraviolet Undo Reverted
- diffhist Finite-valued logic 00:57 −1 2601:603:5301:1710:fdde:f9ea:61a:46c talk (Removed single floating parenthesis) Tag: Visual edit
3 June 2024
- diffhist Europe 20:39 +8 RickySarzus talk contribs Tags: Reverted Mobile edit Mobile web edit Advanced mobile edit
- diffhist m Boolean algebra 18:46 +1,111 Sepitropova talk contribs (Edited 'Basic operations' introduction, added the source used, and removed the table 'Logical connectives' as Boolean variables A and B were not defined.) Tag: Visual edit
- diffhist Set (mathematics) 17:59 +330 Pichpich talk contribs (remove citation needed tag and add ref) Tag: ProveIt edit
- diffhist Foundations of mathematics 14:14 +325 D.Lazard talk contribs (→Ancient Greek mathematics: more focus on the foundations)
- diffhist Foundations of mathematics 13:31 −8 D.Lazard talk contribs (→Ancient Greek mathematics: direct link is convenient)
- diffhist New Foundations 07:20 +7 Bbbbbbbbba talk contribs (→Cantor's paradox and Cantorian sets: Now that the consistency of NF is established, it's probably time to change this statement.)
- diffhist Axiom of choice 07:07 +1,117 Bbbbbbbbba talk contribs (→Independence: Added the early results of Fraenkel and Mostowski to give a more intuitive picture of how the axiom of choice could fail at all.)
- diffhist Double negation 06:39 −237 David Eppstein talk contribs (copyedit to remove problematic parts (that this article is about a theorem rather than a logical operation, and whether equivalence of a stmt with its double negation is a theorem or an axiom))
- diffhist Axiom of choice 06:30 +220 Bbbbbbbbba talk contribs (→References: Realized (after some further searching) that I added the wrong reference for the technique (permutation model) I wanted to talk about.)
- diffhist De Morgan's laws 05:22 +241 David Eppstein talk contribs (→In computer engineering: supply requested citation)
- diffhist Philosophy of mathematics 05:06 −2 2a02:8428:61ed:9301:f13:2d16:8f5b:ca9d talk (→Relationship with physical reality)
- diffhist Axiom of choice 03:00 +322 Bbbbbbbbba talk contribs (→References: Added a reference to Mostowski's 1939 paper.)
2 June 2024
- diffhist m Mathematics 23:10 +138 Tpbradbury talk contribs (Filled in 2 bare reference(s) with reFill 2)
- diffhist Computable function 23:00 +270 David Eppstein talk contribs (→Relation to recursively defined functions: cite Ackermann non-prim-rec)
- diffhist Computable function 22:58 −634 David Eppstein talk contribs (→Relation to recursively defined functions: rewrite to avoid vague "some computable functions have no recursive definition" waffle, obviously false if one allows a recursive definition of the form "return the value obtained from running the Turing machine state obtained by applying this formula to make one more step in the current TM state")
- diffhist Fuzzy set 22:42 +8 Fgnievinski talk contribs (→top) Tags: Mobile edit Mobile app edit Android app edit
- diffhist m Mathematics 22:34 −1 Tpbradbury talk contribs (→Artistic expression: rm break)
- diffhist Mathematics 22:33 −50 Tpbradbury talk contribs (→Cultural impact: it talks about humans and other animals finding symmetry beautiful which isn't western, neither are butterflies or the sea, or popular maths)
- diffhist Mathematics 22:30 +106 Tpbradbury talk contribs (→Artistic expression: add requested citation)
- diffhist m Mathematics 22:12 +22 Tpbradbury talk contribs (→Medieval and later: add uprights)
- diffhist m Mathematics 22:11 +291 Tpbradbury talk contribs (Filled in 3 bare reference(s) with reFill 2)
- diffhist Mathematics 21:59 +630 Tpbradbury talk contribs (→Social sciences: add requested citations)
- diffhist Mathematics 21:35 −913 Tpbradbury talk contribs (→Social sciences: replace source per tag request)