Related changes

2 August 2025

• diffhist Minimal axioms for Boolean algebra 09:40 +227 Mateusz Pyzik talk contribs (Mention redundancy of the idempotence assumption, with citation.)
• diffhist Minimal axioms for Boolean algebra 09:19 +42 Mateusz Pyzik talk contribs (Idempotence assumption was missing. See p. 486, Example 4.5, in the cited Huntington's article where idempotence of logical OR is shown te be independent of the other axioms.)
• diffhist Gödel's incompleteness theorems 07:16 +48 IrisChronomia talk contribs (added invisible comment that's visible even with visual editor.) Tag: Visual edit
• diffhist Gödel's incompleteness theorems 06:57 0 Julietdeltalima talk contribs (Reverted 1 pending edit by 102.89.47.19 to revision 1301572525 by Jochen Burghardt: reverting conceptually incorrect edit apparently made without reading hidden text) Tags: Manual revert Mobile edit Mobile web edit Advanced mobile edit
• diffhist Georg Cantor 06:38 −16 The Space Enthusiast talk contribs (Undid revision 1302763556 by 154.208.44.74 (talk)) Tag: Undo
• diffhist Gödel's incompleteness theorems 03:48 0 102.89.47.19 talk (Fixed a typo) Tags: Reverted Mobile edit Mobile web edit
• diffhist Paul Bernays 01:16 +4 2806:2f0:a301:f60e:758b:d69b:a65a:313f talk (``was reproved''-> ``was proved again''. To reprove means to censure.)

1 August 2025

• diffhist m Cardinality 21:14 +74 Farkle Griffen talk contribs (→Uncountable sets: added color) Tag: Visual edit
• diffhist m Cardinality 20:03 0 Arjayay talk contribs (Duplicate word reworded)
• diffhist Enumeration 14:40 +32 1F616EMO talk contribs (Added {{One source}} tag) Tag: Twinkle
• diffhist Sequent calculus 13:35 +8 80.229.208.152 talk (→Sequent calculus systems: change "sequent" to "sequent formula", per the cited source. The source does not say that a cedent is also called a sequent, and neither should we; it would be confusing.)
• diffhist Integer 07:30 −6 Beland talk contribs (MOS:RADICAL) Tag: JWB
• diffhist m Russell's paradox 06:19 +2 Nubtom talk contribs (Fixed grammar) Tags: Mobile edit Mobile app edit iOS app edit App select source
• diffhist Cardinality 03:38 +401 Farkle Griffen talk contribs (→Uncountable sets: Added example, and MOS:WE) Tag: Visual edit

31 July 2025

• diffhist m Transfer principle 19:49 +2 DerSpezialist talk contribs (→Statement: Typo)
• diffhist Alphabet (formal languages) 18:51 −12 David Eppstein talk contribs (it is the notation not the strings that needs to be unambiguous)
• diffhist Alphabet (formal languages) 18:51 −7 David Eppstein talk contribs (→top: I guess infinite strings are a thing)
• diffhist Alphabet (formal languages) 18:49 −6,140 David Eppstein talk contribs (Undo. I think this whole section is a mistake and a misreading. The ambiguity occurs only when WRITING strings, not in their actual definition. Expand clarification in lead)
• diffhist Alphabet (formal languages) 18:17 +6,557 Jochen Burghardt talk contribs (suggest own section to elaborate on "indivisible symbols" (needs critical review, and most likely some improvement; also might be of undue weight here)) Tag: possible prose issues
• diffhist m Higher-order logic 14:21 +4 Notsam1 talk contribs (Just added a hyperlink to first order logic; feel free to reverse it if it sounds redundant) Tag: Visual edit
• diffhist Keith Devlin 13:04 −344 GhostInTheMachine talk contribs (→top: trim known_for, tidy lists)
• diffhist Keith Devlin 12:55 −162 GhostInTheMachine talk contribs (remove invalid infobox param /influences/)
• diffhist m P versus NP problem 07:17 −2 Banedon talk contribs (→Popular culture)
• diffhist m P versus NP problem 07:15 +4 Banedon talk contribs (→Results about difficulty of proof)
• diffhist m Cardinality 05:25 +102 Farkle Griffen talk contribs (added ref) Tag: Visual edit
• diffhist Cardinality 05:16 +1,574 Farkle Griffen talk contribs (→Countable sets: Added refs) Tag: Visual edit
• diffhist John von Neumann 04:05 +4 Geraldo Perez talk contribs (Undid revision 1303456269 by Srich32977 (talk) both) Tag: Undo
• diffhist John von Neumann 03:51 −4 Srich32977 talk contribs (enhance SD) Tag: Reverted

30 July 2025

• diffhist Filter (set theory) 20:51 −8 1980fast talk contribs (Repair overlinking per MOS:DATELINK or MOS:YEARLINK) Tag: Visual edit
• diffhist Inaccessible cardinal 18:59 +115 Beland talk contribs ({{MOS|article|date=July 2025| MOS:FORMULA - avoid mixing {{tag|math}} and {{tl|math}} in the same expression}})
• diffhist Constructible universe 18:58 +115 Beland talk contribs ({{MOS|article|date=July 2025| MOS:FORMULA - avoid mixing {{tag|math}} and {{tl|math}} in the same expression}})
• diffhist Real number 15:56 −155 Anita5192 talk contribs (Undid revision 1303334868 by 125.20.93.74 (talk)Reverted unexplained edit: not helpful.) Tag: Undo
• diffhist Real number 11:03 +155 125.20.93.74 talk (→Auxiliary order relations) Tags: Reverted Visual edit
• diffhist Universal set 10:39 +33 IrisChronomia talk contribs (linking) Tag: Visual edit
• diffhist Backslash 09:49 −329 JMF talk contribs (Undid revision 1303299983 by Djpmccann (talk) rv good faith but uncited edtorialising) Tag: Undo
• diffhist m Primitive recursive function 09:34 +36 Marc Schroeder talk contribs (Replaced LaTeX "\stackrel.-" by "\mathbin{\dot{-}}" for monus)
• diffhist m Negation 09:00 −4 EvanBaldonado talk contribs (Replace curly quotes with straight quotes (see MOS:CURLY).)
• diffhist m Validity (logic) 09:00 +2 EvanBaldonado talk contribs (Replace hyphen with en-dash.)
• diffhist Backslash 04:52 +329 Djpmccann talk contribs (Added small edits to encompass variety of uses to which this mark now put, and to describe its relationship with slash (punctuation)) Tags: Reverted Visual edit: Switched

29 July 2025

• diffhist Hereditarily finite set 21:31 +39 77.119.207.223 talk (→Discussion: Put countability statements together)
• diffhist LaTeX 21:14 +12 Harej talk contribs (Specifying "latex" in Stylized LaTeX template) Tag: 2017 wikitext editor
• diffhist Bertrand Russell 11:06 −1 Bruce leverett talk contribs (Undid revision 1303098984 by Chibits42 (talk) Section title was correct as is.) Tag: Undo
• diffhist m Euclid's Elements 11:00 0 Nyq talk contribs (lc common nouns (names of the mathematical theorems are not proper nouns)) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Turing machine 09:54 −15 A3nm talk contribs (→See also: link) Tag: 2017 wikitext editor
• diffhist Foundations of mathematics 09:16 −84 D.Lazard talk contribs (→Foundational crisis: providing clarification)
• diffhist Foundations of mathematics 04:28 +133 ArthurDent006.5 talk contribs (→Foundational crisis: Request link to actual discussion of the (contextually) non-proveable theorems.)
• diffhist Logicism 03:39 0 Jonesey95 talk contribs (fix non-existent templates per WP:REDNOT.)
• diffhist m Bertrand Russell 03:04 +1 Chibits42 talk contribs (→Marriages and issue) Tags: Reverted Visual edit

28 July 2025

• diffhist m Axiom of choice 23:43 −99 Tito Omburo talk contribs (Undid revision 1294714974 by Goodphy (talk)) Tag: Undo
• diffhist Logicism 23:21 +437 Hairy Dude talk contribs (→The unit class, impredicativity, and the vicious circle principle: again) Tags: Mobile edit Mobile web edit Advanced mobile edit