Related changes

7 May 2025

• diffhist Mathematics education 12:50 +30 41.168.8.36 talk (→Content and age levels)
• diffhist Algebra 12:19 −7 Quondum talk contribs (→Elementary algebra: typo)
• diffhist Algebra 12:17 +2 Quondum talk contribs (→Major branches: stacking of indices is a space-saving convention that can be confusing to the newcomer)
• diffhist Algebra 12:15 −70 Quondum talk contribs (fmt)
• diffhist Algebra 11:56 −9 Quondum talk contribs (→Theories of interrelations among structures: rm abuse of "advanced")
• diffhist First-order logic 10:56 −6 145.137.163.43 talk (→Logical symbols: Removed Polish notation of "V" and "O")
• diffhist First-order logic 10:51 −749 145.137.163.43 talk (Unnecessary mention of Polish notation in multiple parts of the entry.)
• diffhist Syllogism 07:19 −31 GhostInTheMachine talk contribs (→Table of all syllogisms: hide the table by default as it is too wide for most displays)
• diffhist m Lemma (mathematics) 06:07 −1 Gert7 talk contribs Tag: 2017 wikitext editor
• diffhist m Cardinality 03:22 −298 Rsjaffe talk contribs (clean up, typo(s) fixed: caled → called, suprising → surprising, arive → arrive, disticnt → distinct) Tag: AWB
• diffhist Algebra 00:07 −75 ZergTwo talk contribs (Reverted good faith edits by TheBartman2012 (talk): Added content is not mentioned outside the article's lead.) Tags: Twinkle Undo

6 May 2025

• diffhist m Mathematics and art 22:47 +16 Natg 19 talk contribs (Disambiguating links to Suzhou (link changed to Suzhou, Jiangsu) using DisamAssist.)
• diffhist m Cardinality 22:40 −27 Farkle Griffen talk contribs (→Countable sets) Tag: Visual edit
• diffhist Cardinality 22:38 +1,274 Farkle Griffen talk contribs (→Countable sets: Added a paragraph on algebraic numbers) Tag: Visual edit
• diffhist m Algebra 21:23 +75 TheBartman2012 talk contribs (Added more info about level algebra is taught) Tags: Reverted Visual edit
• diffhist Formal grammar 21:14 −8 Nyngwang talk contribs (fix: it's "rewrite rules" according to the wiki-page titled "rewriting". (but then the title is a bit misleading.))
• diffhist Aleph number 20:31 −3 Trovatore talk contribs (→{{anchor|Aleph-null}}Aleph-zero: s/assuming/using -- on reflection I think this is a better word choice. "Assuming" might lead the reader to think that there is something nontrivial being assumed here, rather than just the application of a convention)
• diffhist Combinatorics 20:02 −16 JayBeeEll talk contribs (Undid revision 1289087720 by 109.166.138.30 (talk) "from A and B to C and from D to E" no thanks) Tag: Undo
• diffhist m Combinatorics 20:01 +1 JayBeeEll talk contribs (→History)
• diffhist Ordinal analysis 19:33 0 C7XWiki talk contribs (To prevent misreading where someone thinks Delta^1_1-CA_0 is in Avigad and Sommer. It still needs a source →Table of ordinal analyses)
• diffhist NP (complexity) 18:11 +9 94.175.200.195 talk (Replaced {{citation needed}} in section title with {{More citations needed section}} as correct template to use)
• diffhist Real analysis 17:45 +12 Arslanhmdai talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Newcomer task Suggested: add links
• diffhist m Aleph number 12:49 −817 D.Lazard talk contribs (Reverted 1 edit by 2600:1700:7AA1:4640:B9BC:96FB:299C:43AE (talk) to last revision by 2600:1700:F420:42D0:88D3:10AD:D637:3272) Tags: Twinkle Undo
• diffhist Aleph number 12:08 +817 2600:1700:7aa1:4640:b9bc:96fb:299c:43ae talk Tag: Reverted
• diffhist Combinatorics 12:05 +16 109.166.138.30 talk Tag: Reverted
• diffhist Union (set theory) 08:46 −47 Tea2min talk contribs (Undid revision 1289064208 by 212.139.59.194 (talk)) Tag: Undo
• diffhist Union (set theory) 07:48 +47 212.139.59.194 talk (→Notation) Tag: Reverted

5 May 2025

• diffhist Cardinality 21:17 +1 213.124.166.212 talk (→Etymology: Add missing comma)
• diffhist Three-valued logic 21:12 +2 MrSwedishMeatballs talk contribs (→Kleene and Priest logics) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Number theory 19:21 −67 Paul2520 talk contribs (removed empty footnote & redlink)
• diffhist Mathematical and theoretical biology 18:06 −224 2601:85:c981:bf90:ed72:3c76:b97b:cb13 talk Tag: Visual edit
• diffhist Module:Wikitext Parsing 17:47 +26 Dinoguy1000 talk contribs (the Lua # operator recalculates the length every time it's accessed (including on every loop in a for), so cache its value in cheaptrim since the string isn't modified in-place)
• diffhist Mathematical object 17:40 +13 Psychastes talk contribs (Moving from Category:Platonism to Category:Mathematical Platonism diffuse to new cat using Cat-a-lot)
• diffhist m Number theory 17:01 +4 QuicksmartTortoise513 talk contribs (→Arithmetic in the Islamic golden age: Added link) Tag: Visual edit
• diffhist m Number theory 16:59 +4 QuicksmartTortoise513 talk contribs (→Ancient Mesopotamia: Changed wording) Tag: Visual edit
• diffhist m Number theory 16:59 −3 QuicksmartTortoise513 talk contribs (→History: Fixed grammar) Tag: Visual edit
• diffhist m First-order logic 15:33 −44 BardRapt talk contribs (tidying E. Mendelson)
• diffhist Geometry 15:30 +373 Endomorphins talk contribs (→Geometric group theory: clarification and new reference) Tag: Visual edit
• diffhist m Formal grammar 14:55 +5 Nyngwang talk contribs (replace all "rewrite rules" with "rewriting rules".)
• diffhist m Formal grammar 14:04 −58 Nyngwang talk contribs (remove the explanation of start symbol.)
• diffhist Arithmetic 13:27 +40 Jacobolus talk contribs (let's use an internet archive scan of the original instead of a google books scan of the reprint)
• diffhist First-order logic 13:09 −28 JRSpriggs talk contribs (→First-order theories, models, and elementary classes: use "(see below)" because internal link did not work)
• diffhist Theory (mathematical logic) 13:05 +72 128.237.82.207 talk (Explain that a formal language and deductive system together give rise to a formal system for reasoning.) Tag: Visual edit
• diffhist First-order logic 11:20 +68 2600:4041:4ac:6a00:3a1d:b362:8ad1:92f2 talk (Explain that proof requires an implicit deductive system) Tags: Visual edit Mobile edit Mobile web edit
• diffhist Formal grammar 10:53 −11 Nyngwang talk contribs (wiki-link the term "symbol" since it's different from the one of an alphabet.)
• diffhist Formal grammar 10:43 +58 Nyngwang talk contribs (people might not know that "a symbol" can be a string here.)
• diffhist Formal grammar 10:30 +36 Nyngwang talk contribs (update the first sentence.)
• diffhist Metalanguage 10:17 +37 Galzigler talk contribs (→See also)
• diffhist Binary operation 08:27 −13 D.Lazard talk contribs (→top: rm pedantry)
• diffhist Formal grammar 07:09 −45 Nyngwang talk contribs (Avoid using "syntax" as a formal grammar is the syntax of a formal language already.)