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:44 +486 D.Lazard talk contribs (→Ancient Greek mathematics: clarification that Aristotle logic is not the axiomatic method)
- 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 Augustus De Morgan 13:55 +4 Maidenhair talk contribs (Revert change "he played the flute ''diligently''". The source, see the first entry in section "Sources", states that playing the flute “was his recreation”.)
- diffhist Foundations of mathematics 11:41 −1 Ancheta Wis talk contribs (→Ancient Greek mathematics: spelling)
- diffhist Tractatus Logico-Philosophicus 11:34 +6 Reflecktor talk contribs (→Philosophical: cn)
- diffhist Tractatus Logico-Philosophicus 11:33 −206 Reflecktor talk contribs (→Philosophical: unclear relation of this image)
- 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 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 Augustus De Morgan 03:18 −9 PrincessMissyMoo talk contribs Tags: Visual edit Newcomer task Newcomer task: copyedit
- 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 Church–Turing thesis 01:51 +9 Altenmann talk contribs
- 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 m Augustus De Morgan 23:15 +1 Uglykidboe talk contribs (Reverted British spelling)
- 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 m Aristotle 17:54 −65 WikiLover01 talk contribs (→Revival) Tag: Visual edit
- diffhist m Aristotle 17:34 −8 WikiLover01 talk contribs (Potentially controversial - discussion thread! Removed “*western*” philosopher in the Islamic world section - it seems anachronistic to lay claim to aristotle as western here, I don’t think islamic scholars thought of him that way. #article-section-source-editor) Tags: Mobile edit Mobile app edit iOS app edit
- diffhist Ludwig Wittgenstein 17:02 −50 BennyOnTheLoose talk contribs (amended a ref)
- diffhist Ludwig Wittgenstein 16:53 −1 BennyOnTheLoose talk contribs (typo)
- diffhist Ludwig Wittgenstein 16:52 +7 BennyOnTheLoose talk contribs (ref fix)
- diffhist Ludwig Wittgenstein 16:41 +13 BennyOnTheLoose talk contribs (added refs)
- diffhist Gottlob Frege 14:22 −109 BennyOnTheLoose talk contribs (→1924 diary: removed uncited claim; not in either IEP or Stanford EP, so probably not too significant)
- 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 Bertrand Russell 12:21 0 47.150.161.181 talk (→Education)
- diffhist Bertrand Russell 12:21 0 47.150.161.181 talk (→Education)
- 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 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 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")