Related changes

8 April 2025

• 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
• diffhist Vector space 01:08 −21 Averytiredturkey3 talk contribs (Reverting edit(s) by 2607:FEA8:525:FB00:603F:2198:6651:5327 (talk) to rev. 1277523828 by Jgaehring: (RW 16.1)) Tags: RW Undo
• diffhist Vector space 01:07 +21 2607:fea8:525:fb00:603f:2198:6651:5327 talk (677666566666544355434677788767i877667666674747355445466345678786677866777977iyiy88867755tyu775655556466t568r90000976432123563778the. 00988758665435 into 》》) Tags: Reverted Mobile edit Mobile web 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)
• diffhist Real number 08:33 +2,345 Annh07 talk contribs (Restored revision 1284235227 by Annh07 (talk): Rvv) Tags: Twinkle Undo
• diffhist Real number 08:31 −38 2601:1c0:4d7c:cb00:c826:42f8:f682:d7ae talk (→Israel Cone Diaz is a Homosexual) Tag: Reverted
• diffhist Real number 08:30 −2,307 2601:1c1:837d:e940:1573:55c0:ff1d:968e talk (sx) Tags: Reverted references removed Visual edit
• diffhist Ultrafilter on a set 01:56 0 David Eppstein talk contribs (typo in ref?)
• diffhist Georg Cantor 01:54 −6 Remsense talk contribs (Restored revision 1282790393 by Turtlens (talk): Rv wholly artificial imposition, as English is not Latin—even among the most formalist of English speakers, nearly all have given up the "shouldn't end a sentence with a preposition" thing.) Tags: Twinkle Undo
• diffhist Georg Cantor 01:50 +6 BandoTook talk contribs Tags: Reverted Mobile edit Mobile web edit

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 m Real number 10:59 −20 Annh07 talk contribs (Reverted edits by 39.37.159.117 (talk) to last version by Remsense) Tag: Rollback
• diffhist Real number 10:58 +2 39.37.159.117 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist Real number 10:57 +18 39.37.159.117 talk (→Arithmetic this all is a lie) Tags: Reverted Mobile edit Mobile web edit
• diffhist Rational number 09:07 −199 Remsense talk contribs (Restored revision 1282733558 by Gra2000 (talk): Wikis (including us) are self-published sources, and ergo aren't reliable) Tags: Twinkle Undo
• diffhist m Rational number 09:03 −43 BrianTheNERD talk contribs (Removed need for citation banner) Tags: Reverted Visual edit Newcomer task Newcomer task: references
• diffhist m Rational number 09:03 +242 BrianTheNERD talk contribs (Added citation from proofwiki) Tags: Reverted Visual edit Newcomer task Newcomer task: references
• 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 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 De Morgan's laws 04:12 +550 Gamma Delphini talk contribs (Undid revision 1284016770 by 201.175.219.109 (talk) Revert unnecessary deletion) Tags: Undo Mobile edit Mobile app edit Android app edit App undo
• 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
• diffhist m Axiom of extensionality 09:39 +4 Backflipping duck talk contribs (Added -6 as an example even number) Tag: Visual edit
• diffhist De Morgan's laws 02:41 −550 201.175.219.109 talk (→Text searching) Tags: Reverted Mobile edit Mobile web 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 Abraham Fraenkel 11:46 +251 NebY talk contribs (→Biography: name change - source not ideal, but the name change is worthy of mention, esp. as early publications and mentions use the old name) Tag: 2017 wikitext editor
• 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
• diffhist m Gödel's incompleteness theorems 20:27 +24 DKMell talk contribs (added a space to make the ' legible) Tag: Visual edit
• diffhist Cantor's diagonal argument 18:48 +26 Trovatore talk contribs (→See also: I think it's reasonable to add CH here)
• diffhist Cantor's diagonal argument 18:30 −487 Trovatore talk contribs (→Open questions: that said, this section doesn't really relate to the diagonal argument)
• diffhist Cantor's diagonal argument 18:29 −10 Trovatore talk contribs (Undid revision 1283793707 by Sheddow (talk) it is in fact an open question) Tag: Undo
• diffhist Cantor's diagonal argument 18:13 +10 Sheddow talk contribs (→Open questions: The continuum hypothesis is not really an open question, I think this header makes more sense) Tag: Reverted
• diffhist Axiom of choice 17:46 +3 152.42.105.51 talk (→Criticism and acceptance) Tag: Reverted