Related changes

10 April 2025

• diffhist m Union (set theory) 01:33 +50 Farkle Griffen talk contribs (→Formal derivation: added link) Tag: Visual edit
• diffhist Union (set theory) 01:32 +2,318 Farkle Griffen talk contribs (→Arbitrary union: Added subsection "Formal derivation", showing the derivation/existence of the arbitrary union operator in ZFC.) Tag: Visual edit
• diffhist Union (set theory) 00:07 +11 Farkle Griffen talk contribs (Re-organized sections) Tag: Visual edit

9 April 2025

• diffhist Logical disjunction 23:54 +1 Partofthemachine talk contribs (→Natural language: ce)
• diffhist Cambridge University Press 21:27 +37 SpeedoWarrior123 talk contribs
• diffhist Cambridge University Press 20:49 +4 SpeedoWarrior123 talk contribs
• diffhist m Group (mathematics) 18:27 −4 GommehGaming101 talk contribs (Reverted 1 edit by 64.88.9.51 (talk) to last revision by A mentally disabled mathematician) Tags: Twinkle Undo
• diffhist Group (mathematics) 18:27 +4 64.88.9.51 talk (cahnge someonething that was gone) Tags: Reverted Visual edit
• diffhist Second-order logic 17:30 −43 David Eppstein talk contribs (Undid revision 1284736451 by Chalst (talk) out-of-context phrasing: what classical variant? Do you expect readers to have any idea what that is supposed to mean?) Tag: Undo
• diffhist m Graduate Texts in Mathematics 13:15 −81 CherasMeow talk contribs (→List of books: merging two editions of counting Graph Theory, and changing 3 instances of "ed," to "ed.," to fit formatting)
• diffhist m Graduate Texts in Mathematics 13:05 +9 CherasMeow talk contribs (→List of books: adding edition number to book)
• diffhist m Graduate Texts in Mathematics 12:55 +180 CherasMeow talk contribs (→List of books: Added two newest books)
• diffhist Second-order logic 11:56 +43 Chalst talk contribs (Lead gives the impression that SOL only covers classical logic) Tags: Reverted Mobile edit Mobile app edit iOS app edit App section source
• diffhist m Hilbert's axioms 03:58 +1 NuclearDuckie talk contribs (→Hilbert's discarded axiom: spacing initials in citation as per a previous edit to the section)
• diffhist Cardinality 00:30 +1,068 Farkle Griffen talk contribs (→References: Added a few sources I plan on using in expanding the article) Tag: Visual edit

8 April 2025

• diffhist Euclidean geometry 17:59 −111 David Eppstein talk contribs (replace deadlink)
• diffhist Presburger arithmetic 12:32 +40 Dionyziz talk contribs (→Applications)
• diffhist Presburger arithmetic 12:18 −23 Dionyziz talk contribs (→Computational complexity)
• diffhist m Turing machine 09:35 −54 Remsense talk contribs (Reverted 1 edit by 185.91.165.122 (talk) to last revision by Remsense) Tags: Twinkle Undo
• diffhist Turing machine 09:29 +54 185.91.165.122 talk Tag: Reverted
• diffhist Set (mathematics) 07:31 +8 Jochen Burghardt talk contribs (Undid revision 1284532209 by 152.59.232.11 (talk)) Tag: Undo
• diffhist Uncountable set 06:49 +31 Sushidude21! talk contribs (Added {{One source}} tag) Tag: Twinkle
• diffhist Set (mathematics) 06:08 −8 152.59.232.11 talk (→Union) Tags: Reverted Visual edit
• diffhist Cardinality 01:51 +2,696 Farkle Griffen talk contribs (Added a section on Etymology) Tag: Visual edit

7 April 2025

• diffhist Cardinality 23:04 0 Willondon talk contribs (move 'Notation and terminology' section to after 'History' section)
• diffhist Cardinality 23:01 −80 Willondon talk contribs (→Ancient History: an improvement? reordered the two paragraphs in this section and deleted a statement)
• diffhist Cardinality 22:20 +1,558 Farkle Griffen talk contribs (→Pre-Cantorian Set theory: Copied over a paragraph from Set theory#History, I'll expand it later.) Tag: Visual edit
• diffhist m Propositional calculus 21:22 −99 Marc Schroeder talk contribs (→Frege's Begriffsschrift: uniform notation throughout the article)
• diffhist m Propositional calculus 20:53 +57 Marc Schroeder talk contribs
• diffhist Propositional calculus 19:30 +3,760 Marc Schroeder talk contribs (Put the references into a list. List will be alphabetically sorted at a some later moment.)
• diffhist m NP (complexity) 16:40 +21 P vs NP; headblown talk contribs (link to "complexity classes" added) Tag: Visual edit
• diffhist m First-order logic 16:28 −8 BardRapt talk contribs (→Algebraizations: mce)
• diffhist m Propositional calculus 12:35 +124 Marc Schroeder talk contribs (→External links: added link to article 'Propositional Logic' on Stanford Encyclopedia of Philosophy)

6 April 2025

• diffhist Material conditional 21:09 −1 2600:8804:4:9e00::ba9b:12aa talk (→Syntactical properties: fixed spelling mistake (addedd to added))
• diffhist Elsevier 14:15 −29 Schazjmd talk contribs (caps, spell out abbreviation)
• diffhist Term logic 08:52 −10 Remsense talk contribs (→Basics)
• diffhist m Rule of inference 08:50 0 Remsense talk contribs (forgive me but LQ means this here, right? #MiniEdit)
• diffhist m Algebra 08:43 +10 Phlsph7 talk contribs (manually add new lines for math blocks: for some reason, they were displayed inline with the other text)
• diffhist Algebra 08:21 −12 Remsense talk contribs (Restored revision 1283052640 by ZergTwo (talk): Correct before) Tags: Twinkle Undo
• diffhist m Algebra 08:18 0 Steena.Miller talk contribs Tag: Reverted
• diffhist m Algebra 08:17 +12 Steena.Miller talk contribs (Added Fundamental branch of mathematics, this will add more precision to the text) Tag: Reverted
• diffhist Minimal axioms for Boolean algebra 07:49 +47 Neiltonks talk contribs (Adding short description: "Mathematical assumptions") Tag: Shortdesc helper
• diffhist Rule of inference 07:46 +16 Phlsph7 talk contribs (fix link)
• diffhist Elsevier 03:21 +1,280 ChaetoLv talk contribs (→Criticism of academic practices: COI between climate research and fossil fuel industry)
• diffhist Equivalence relation 01:49 +1 184.166.97.71 talk (Symmetry and transitivity are not a duo.) Tags: Mobile edit Mobile web edit

5 April 2025

• diffhist Automata theory 20:38 +26 108.234.233.172 talk (added link) Tag: Visual edit

4 April 2025

• diffhist Function (mathematics) 14:35 +69 MrOllie talk contribs (Restored revision 1282915289 by Remsense (talk): A distinction without a difference) Tags: Twinkle Undo
• diffhist Function (mathematics) 14:31 −69 Jeese Bloom talk contribs (it is ridiculous.if the position of a planet is value x and the time is value t,then there exits a function f which satisfies the equation x=f(t).So it is obivious that the position of planet is not a function of time.it is functionally related to time instead.) Tags: Reverted Visual edit Mobile edit Mobile web edit
• diffhist m Theorem 00:49 −1 Steel1943 talk contribs (→Terminology: fix common MOS:REFSPACE spacing errors, replaced: {{efn → {{efn) Tag: AWB

3 April 2025

• diffhist Axiom of choice 23:23 −3 JRSpriggs talk contribs (Undid revision 1283789565 by 152.42.105.51 (talk) wrong. the point is that AxCh does not give a constructive way to choose.) Tag: Undo