Related changes

7 July 2025

• diffhist Symbol (formal) 10:50 −8 Yelps talk contribs (→words modeled as formal symbols: Fixed MOS violation) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist Set (mathematics) 10:17 +8 Jochen Burghardt talk contribs (Undid revision 1299255997 by D.Lazard (talk): agree with Ifoundamistake75475: A \Delta A = (A \ A) \cup (A \ A) = {} \cup {} = {}, i.e. the additive inverse, while A \Delta A' = (A \ A') \cup (A' \ A) = A \cup A' = U, when A' denotes the absolute complement) Tag: Undo
• diffhist Set (mathematics) 09:28 −8 D.Lazard talk contribs (Reverted 1 edit by Ifoundamistake75475 (talk): Was corect) Tags: Twinkle Undo Reverted
• diffhist Set (mathematics) 06:39 +8 Ifoundamistake75475 talk contribs (→Algebra of subsets: I believe I found a mistake. In the boolean ring that is the powerset of a given set, when you are using the additive operation (symmetric difference), the additive inverse (a number x such that a+x=0 for all a) is not its complement, as by applying symmetric difference (any elements contained in two sets but not both), you can see that the complement (all elements not a part of A is the complement of A) when added to a set results in simply the union (all elements a p...) Tags: Reverted Mobile edit Mobile web edit
• diffhist m Cardinality 05:57 0 Farkle Griffen talk contribs (→Cardinal arithmetic: typos) Tag: Visual edit: Switched
• diffhist Cardinality 05:40 +54 Farkle Griffen talk contribs (→Cardinal arithmetic) Tag: Visual edit
• diffhist Cardinality 05:38 +35 Farkle Griffen talk contribs (→Cardinal arithmetic: Fix typos/grammar) Tag: Visual edit
• diffhist Cardinality 05:32 +2,536 Farkle Griffen talk contribs (→Cardinal numbers: Added section on cardinal arithmetic) Tag: Visual edit
• diffhist Kolmogorov complexity 05:27 −3,782 David Eppstein talk contribs (Undo WP:REFSPAM) Tag: Undo
• diffhist Element (mathematics) 03:49 +4 Lottamiata talk contribs (→Sets)
• diffhist Element (mathematics) 03:49 −8 Lottamiata talk contribs (→Sets)
• diffhist Element (mathematics) 03:48 +63 Lottamiata talk contribs (→Sets)
• diffhist Kolmogorov complexity 03:17 +2,352 NoahClavelius talk contribs (→Kolmogorov randomness: Adding a comprehensive section on applications citing highly quoted and prestigious material relevant to the subject.) Tag: Reverted
• diffhist Kolmogorov complexity 03:15 +1,430 NoahClavelius talk contribs (→Implications in biology: Adding richness to the section with highly cited sources on the subject) Tag: Reverted
• diffhist m Lambda calculus 02:49 +2 Himaldrmann talk contribs (→Lambda calculus and programming languages: copyedit)
• diffhist Formal system 02:09 +146 Yesterday, all my dreams... talk contribs (→Concepts: deduction + induction)
• diffhist Formal system 02:05 +25 Yesterday, all my dreams... talk contribs (→Concepts: minimal req)
• diffhist John Russell, 1st Earl Russell 00:39 +291 VictorTheVictorious talk contribs Tag: Visual edit

6 July 2025

• diffhist Primitive recursive function 23:28 +34 2601:147:4900:db80:72f5:ff22:99b8:2576 talk (→Variants: Citation needed added for claim, it's unclear how the 0-ary function would be composed with the projection function to create a n-ary function since the 0-ary function has no inputs.) Tag: Visual edit
• diffhist Non-Euclidean geometry 20:49 0 Tamfang talk contribs (→Axiomatic basis of non-Euclidean geometry: structure)
• diffhist m Euclidean geometry 19:45 +12 Balsam Cottonwood talk contribs (separating links)
• diffhist Non-Euclidean geometry 16:05 −12 Սահակ talk contribs (→References)
• diffhist Cardinality 14:16 −174 Farkle Griffen talk contribs (Simpler) Tag: Visual edit
• diffhist Cardinality 14:01 −3 Farkle Griffen talk contribs (element -> object) Tag: Visual edit
• diffhist m Information theory 13:25 +337 KibalchishTheCoder talk contribs (Added citation) Tag: Visual edit
• diffhist John Russell, 1st Earl Russell 09:44 −286 VictorTheVictorious talk contribs (→Economy) Tag: Visual edit
• diffhist m Information theory 09:39 +282 KibalchishTheCoder talk contribs (Minor syntactical and aesthetic fixes) Tag: Visual edit
• diffhist m Ludwig Wittgenstein 09:28 +186 Cl3phact0 talk contribs (Replaced VE ref names using RefRenamer)
• diffhist Information theory 09:13 +4,429 KibalchishTheCoder talk contribs (Massively reworked the "Entropy of an information source" section by reformulating passages, improving citations and other minor changes (take 2)) Tag: Visual edit
• diffhist Euclid's Elements 06:47 +1 178.130.185.252 talk (→Background: Fixed typo (missing closing bracket)) Tags: Mobile edit Mobile web edit
• diffhist John Russell, 1st Earl Russell 05:30 +1,350 VictorTheVictorious talk contribs (→Economy) Tag: Visual edit
• diffhist Ludwig Wittgenstein 05:27 0 Maurice Magnus talk contribs (→Family temperament and the brothers' suicides: "may have also been" raised the question, "in addition to what?")
• diffhist John Russell, 1st Earl Russell 05:09 −8 VictorTheVictorious talk contribs (→Economy) Tag: Visual edit
• diffhist John Russell, 1st Earl Russell 05:08 +2,199 VictorTheVictorious talk contribs (→Prime Minister: 1846–1852 linked from redirects [[First premiership of John Russell]], [[First prime ministership of John Russell]], [[Premiership of Lord John Russell]], [[Prime ministership of Lord John Russell]]) Tags: nowiki added Visual edit

5 July 2025

• diffhist Empty set 23:28 −24 Remsense talk contribs (Reverted 2 edits by 98.243.254.38 (talk): Far better before imo. what are we doing, nesting quotes and emphasis?) Tags: Twinkle Undo
• diffhist Empty set 23:27 +1 98.243.254.38 talk (→Properties) Tag: Reverted
• diffhist Empty set 23:26 +23 98.243.254.38 talk (→Properties) Tag: Reverted
• diffhist Category theory 19:56 +35 David Eppstein talk contribs (M. Cristina Pedicchio)
• diffhist Proof theory 19:20 +31 184.178.159.252 talk (“More broadly, it belongs to what Prawitz called general proof theory (see section 1.1).” https://plato.stanford.edu/entries/proof-theoretic-semantics/) Tags: Mobile edit Mobile web edit
• diffhist New Foundations 17:45 −3 2a00:23c5:fe1c:3701:5d6:19d8:a6c5:35cb talk (grammar)
• diffhist John Russell, 1st Earl Russell 15:08 +40 Coldupnorth talk contribs (→Melbourne's Second Ministry: clarify)
• diffhist Ordinal number 14:57 −210 Mattjazar talk contribs (Removed citation of the 8 page children's picture book 'Ordinal Numbers' by elementary school teacher Kristin Sterling. The inclusion of this citation in the first place appears to be some sort of prank.) Tag: Visual edit
• diffhist m Set (mathematics) 14:28 −1 Kreyp talk contribs (→Infinite cardinalities)
• diffhist Module:Footnotes/whitelist 13:58 +104 Redrose64 talk contribs (add entries for CITEREFLindsay1968 and CITEREFPopplewell1989)
• diffhist John Russell, 1st Earl Russell 13:56 +27 Coldupnorth talk contribs (→Melbourne's Second Ministry: add reference)
• diffhist John Russell, 1st Earl Russell 13:55 +214 Coldupnorth talk contribs (→Sources: add source)
• diffhist John Russell, 1st Earl Russell 13:54 +684 Coldupnorth talk contribs (→Melbourne's Second Ministry: expand, add references)
• diffhist Non-Euclidean geometry 13:54 +64 Quondum talk contribs (tweaks)
• diffhist John Russell, 1st Earl Russell 13:42 +376 Coldupnorth talk contribs (→Melbourne's Second Ministry: expand, add references)
• diffhist John Russell, 1st Earl Russell 13:37 +472 Coldupnorth talk contribs (→Minister under Grey and Melbourne: 1830–1841: copyedit, add structure, add references, add date)