Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
21 May 2024
- diffhist Square root of 2 20:15 +13 ComplexRational talk contribs (→Application of the rational root theorem: tweak)
- diffhist Square root of 2 20:13 +338 ComplexRational talk contribs (→Proofs of irrationality: rewrite explanation invoking the rational root theorem, which is more so an application than a proof)
- diffhist Square root of 2 20:10 +86 174.99.11.152 talk
- diffhist Square root of 2 20:04 −41 David Eppstein talk contribs (ok but we don't need to point to the same resource three different ways; omit url)
- diffhist m Module:Pagetype 17:35 +216 MSGJ talk contribs (fix for files and interface messages which do exist but are not stored locally)
- diffhist m Axiom of choice 15:42 −6 The big parsley talk contribs (Changed "algebraic topology" to "graph theory", because I feel connected graphs and spanning trees are much more connected to graph theory)
- diffhist Logic 14:50 −4 750h+ talk contribs (→Computational logic: duplicate link)
- diffhist Logic 14:47 −1 750h+ talk contribs (Undid revision 1224784729 by 2A02:1810:363D:6700:79E0:A9DC:210B:5B19 (talk) unhelpful sorry) Tag: Undo
- diffhist m Square root of 2 10:13 −21 ClueBot NG talk contribs (Reverting possible vandalism by 108.35.222.166 to version by Sinclairian. Report False Positive? Thanks, ClueBot NG. (4325117) (Bot)) Tag: Rollback
- diffhist Square root of 2 10:13 +21 108.35.222.166 talk Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist m Free variables and bound variables 09:42 +18 Oneequalsequalsone talk contribs Tag: Visual edit
- diffhist Free variables and bound variables 09:37 +87 Oneequalsequalsone talk contribs (add source) Tag: Visual edit
- diffhist Zermelo–Fraenkel set theory 09:06 0 132.231.141.109 talk (→Formal language)
- diffhist Zermelo–Fraenkel set theory 09:06 +10 132.231.141.109 talk (→Formal language)
- diffhist Truth table 06:50 −83 David Eppstein talk contribs (→top: rm unsourced claim contradicted by some sources e.g. https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-33/issue-2/On-interpreting-truth-tables-and-relevant-truth-table-logic/10.1305/ndjfl/1093636097.pdf)
- diffhist Universal set 06:43 +298 David Eppstein talk contribs (fix incomplete cite)
- diffhist Universal set 06:40 −244 David Eppstein talk contribs (→Universal objects that are not sets: rm dubiously-unqualified and unsourced aside)
- diffhist Universal set 06:38 −238 David Eppstein talk contribs (→References: replace deadlink)
- diffhist Universe (mathematics) 06:36 −231 David Eppstein talk contribs (→In category theory: rm unsourced and vague editorialization)
- diffhist Computable function 04:44 +21 Jochen Burghardt talk contribs (Undid revision 1224829018 by Nuretok (talk): the simpler form might be misread as "any currently known algorithms") Tag: Undo
20 May 2024
- diffhist m Countable set 23:54 0 Spida-tarbell talk contribs (c/e: comma splice)
- diffhist Peano axioms 20:36 +2 JBW talk contribs (Reverting an unexplained change. The text ot this section of the article is about a historical formulation, i.e., one from the past: see wording such as "When Peano formulated his axioms, the language of mathematical logic was in its infancy", "Peano's original formulation", etc. This original second-order formulation is contrasted with the later first-order formulation; hence it is a historical formulation. Some may also regard it as historic, but nothing in the text of this section says so.)
- diffhist Computable function 18:25 −21 Nuretok talk contribs (Simplification) Tags: Reverted Visual edit
- diffhist Peano axioms 17:10 +124 Jochen Burghardt talk contribs (→Multiplication: suggest to link own proof sheet (feel free to revert due to self-promotion))
- diffhist m Turing machine 17:00 −1 Hooman Mallahzadeh talk contribs (→Physical description)
- diffhist Peano axioms 17:00 −105 Jochen Burghardt talk contribs (→Multiplication: fix {{clarify}})
- diffhist Peano axioms 16:58 +220 Jochen Burghardt talk contribs (→Addition: indicate + commutativity proof)
- diffhist Module:Pagetype/rfd 13:04 +27 MSGJ talk contribs (+Rfd-NPF/core)
- diffhist Module:Pagetype/rfd 13:03 +22 MSGJ talk contribs (+Rfd-NPF, seen on West Ardougne)
- diffhist Logic 12:53 +1 2a02:1810:363d:6700:79e0:a9dc:210b:5b19 talk Tag: Reverted
- diffhist Peano axioms 09:06 +177 D.Lazard talk contribs (definition of "Peano arithmetic")
- diffhist Peano arithmetic 08:50 −39 D.Lazard talk contribs (the common use of "Peano arithmetic" does not refers to first order logic) Tag: Redirect target changed
- diffhist Gödel's completeness theorem 06:10 +9 Jochen Burghardt talk contribs (Undid revision 1224669949 by A bag of many boiled potatoes (talk)) Tag: Undo
- diffhist m Material conditional 01:42 +9 Mikhail Ryazanov talk contribs (→History: fmt., punct.)
- diffhist m Material conditional 01:42 +41 Mikhail Ryazanov talk contribs (→History: punct., fmt.)
19 May 2024
- diffhist Mathematics 22:57 +1,286 Villaida talk contribs (sourced statements) Tag: Visual edit
- diffhist Countable set 21:42 +1 Mathnerd314159 talk contribs (Undid revision 1224663212 by 75.149.90.253 (talk) - no, this article uses a different definition from that implied by "at most countable") Tag: Undo
- diffhist Constructive set theory 19:08 +18 178.189.55.225 talk (→ECST)
- diffhist m Gödel's completeness theorem 19:07 −9 A bag of many boiled potatoes talk contribs (→Statement) Tags: Reverted Mobile edit Mobile app edit Android app edit
- diffhist Countable set 18:14 −1 75.149.90.253 talk (Bijection from a set to the natural numbers implies that it's countably infinite, not just an injection (i.e., you also need the function to be surjective. I think otherwise you would have just shown that the set in question is at most countable)) Tag: Reverted
- diffhist Philosophy of mathematics 12:51 +44 D.Lazard talk contribs (→Relationship with physical reality: New section, still to be filled)
- diffhist Philosophy of mathematics 12:48 0 D.Lazard talk contribs (→top: ordering items like corresponding sections)
- diffhist Metalanguage 05:33 +286 Quercus solaris talk contribs
- diffhist Philosophy of mathematics 03:49 0 50.37.221.56 talk (Typo) Tags: Mobile edit Mobile web edit
18 May 2024
- diffhist Mathematics 19:17 −29 D.Lazard talk contribs (→See also: self linking)
- diffhist Propositional formula 14:02 −32 Addemf talk contribs (On second thought, since the next sentence describes truth values, we should just rely on that sentence to describe this.)
- diffhist Propositional formula 13:55 +10 Addemf talk contribs (Formulas do not have truth values in themselves. Rather, for any assignment of truth values to the variables, it determines a truth value for the formula. But it is wrong to say that a formula itself has a truth value.)
- diffhist m Tautology (logic) 13:29 +50 Oneequalsequalsone talk contribs (→History: linking to specific section) Tag: Visual edit
- diffhist Logic 07:26 +8 Remsense talk contribs (Reverting edit(s) by Healpa12 (talk) to rev. 1223594779 by Citation bot: Unexplained content removal (UV 0.1.5)) Tags: Ultraviolet Undo
- diffhist Logic 07:25 −8 Healpa12 talk contribs Tags: Reverted Visual edit Mobile edit Mobile web edit