Related changes
← Axiom
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
22 May 2024
- diffhist Well-formed formula 16:26 +36 D.Lazard talk contribs (Undid revision 1225134153 by Oneequalsequalsone (talk) do not remove anchors that are targets of redirect. and keep bf for these targets) Tag: Undo
- diffhist List of set identities and relations 16:10 +129 Mgkrupa talk contribs (→Empty set)
- diffhist Well-formed formula 15:56 +14 Oneequalsequalsone talk contribs (→Closed formulas: change 'closure' to 'universal closure') Tag: Visual edit
- diffhist List of set identities and relations 15:53 +920 Mgkrupa talk contribs (→One subset involved: Defined Absorbing element)
- diffhist Uniqueness quantification 15:49 −35 Augmented Seventh talk contribs (Undid revision 1225134328 by 112.198.70.187 (talk)) Tags: Undo Mobile edit Mobile web edit Advanced mobile edit
- diffhist Uniqueness quantification 15:49 −13 Augmented Seventh talk contribs (Undid revision 1225134475 by 112.198.70.187 (talk)) Tags: Undo Mobile edit Mobile web edit Advanced mobile edit
- diffhist Uniqueness quantification 15:49 −84 Augmented Seventh talk contribs (Undid revision 1225135145 by 112.198.70.187 (talk)) Tags: Undo Mobile edit Mobile web edit Advanced mobile edit
- diffhist Uniqueness quantification 15:47 +84 112.198.70.187 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Uniqueness quantification 15:43 +13 112.198.70.187 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Uniqueness quantification 15:42 +35 112.198.70.187 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Well-formed formula 15:41 −36 Oneequalsequalsone talk contribs (→Predicate logic: change bold to italic) Tags: Reverted Visual edit
- diffhist m Atomic formula 15:37 −4 Oneequalsequalsone talk contribs (remove duplicate link to wff, already exists before this) Tag: Visual edit
- diffhist Philosophy of mathematics 15:15 +24 D.Lazard talk contribs (→top: Another theme that deserves its own section)
- diffhist Philosophy of mathematics 15:13 +230 D.Lazard talk contribs (→Relationship with physical reality: expanding the section)
- diffhist List of set identities and relations 14:57 +24 Mgkrupa talk contribs (→One subset involved: Zero element into Absorbing element)
- diffhist Philosophy of mathematics 10:39 +4,401 D.Lazard talk contribs (→Relationship with physical reality: filling the section)
- diffhist First-order logic 09:50 −10 Jochen Burghardt talk contribs (Undid revision 1225092232 by 195.133.151.210: better keep the more general example (formulas needn't be closed)) Tag: Undo
- diffhist First-order logic 09:38 +10 195.133.151.210 talk (→Formulas) Tag: Reverted
- diffhist Probability 08:27 −4 122.176.122.147 talk (→Etymology)
- diffhist m Euclid 08:24 0 EuclidIncarnated talk contribs (Improved wording) Tag: Visual edit
- diffhist Lambda calculus 08:12 +2 Jochen Burghardt talk contribs (Undid revision 1225072799 by Abatishchev (talk)) Tag: Undo
- diffhist Lambda calculus 06:02 −2 Abatishchev talk contribs Tags: Reverted Mobile edit Mobile web edit Advanced mobile edit
- diffhist Ancient Greece 01:14 +3 Liu1126 talk contribs (→Hellenistic Greece: +era; edit request)
21 May 2024
- 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 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 Definition 08:18 −3,553 D.Lazard talk contribs (Reverted 1 edit by Robert Kowalski (talk)) Tags: Twinkle Undo
- diffhist Boethius 07:15 +33 LlywelynII talk contribs (alt name in lead; formatting)
- 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 Definition 06:44 +3,553 Robert Kowalski talk contribs (The notion of logic programs viewed as definitions in mentioned 13 times in the logic programming article.) Tags: Undo Reverted
- 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 m Werner Heisenberg 20:33 −8 Arjayay talk contribs (Duplicate word removed)
- 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 m David Hilbert 13:58 −14 Belbury talk contribs (Reverted 1 edit by 72.48.95.135 (talk) to last revision by Jevansen) Tags: Twinkle Undo
- diffhist David Hilbert 13:56 +14 72.48.95.135 talk Tag: Reverted
- diffhist m Module:Language/data/iana suppressed scripts 13:46 0 Trappist the monk talk contribs (update to 2024-05-16 data;) Tag: AWB
- diffhist m Module:Language/data/iana variants 13:46 0 Trappist the monk talk contribs (update to 2024-05-16 data;) Tag: AWB
- diffhist m Module:Language/data/iana regions 13:46 0 Trappist the monk talk contribs (update to 2024-05-16 data;) Tag: AWB
- diffhist m Module:Language/data/iana scripts 13:46 0 Trappist the monk talk contribs (update to 2024-05-16 data;) Tag: AWB
- diffhist m Module:Language/data/iana languages 13:46 +38 Trappist the monk talk contribs (update to 2024-05-16 data;) Tag: AWB
- 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 m Kurt Gödel 12:46 +8 Myasuda talk contribs (→Princeton, Einstein, U.S. citizenship: citation template)
- diffhist Kurt Gödel 11:47 +286 Zbisem talk contribs (Added reference on details of the escape of Gödel from Europe in 1940.)
- 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 Definition 08:11 −3,553 D.Lazard talk contribs (→Logic programs: rm section: if this would be relevant here, this notion of a "definition'' should appear in the linked article (Logic programming).) Tag: Reverted
- diffhist Definition 08:00 −81 D.Lazard talk contribs (→top: unsourced and not supported by the linked article)
- diffhist Definition 07:10 −100 Nuretok talk contribs (Some cleanup) Tag: Visual edit
- 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 Albert Einstein 23:41 +31 Magicpotato123 talk contribs
- 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 Werner Heisenberg 11:12 +183 Reflecktor talk contribs (→Philosophy and worldview)
- diffhist Werner Heisenberg 11:10 +353 Reflecktor talk contribs (→Philosophy and worldview: add)
- diffhist Metalanguage 05:33 +286 Quercus solaris talk contribs
- diffhist Greek mathematics 05:13 +903 Guillermind81 talk contribs (Added a bit more detail and citations.) Tag: Visual edit
- 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 Angle 13:32 −10 Maxeto0910 talk contribs (redundant) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
- diffhist m Angle 13:32 0 Maxeto0910 talk contribs (consistency throughout the article) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
- diffhist m Angle 13:30 −1 Maxeto0910 talk contribs Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
- 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
- diffhist Triangle 03:31 −5 Toughpigs talk contribs
- diffhist Primitive recursive function 00:23 −9 C7XWiki talk contribs (Possible better wording) Tags: Mobile edit Mobile web edit
- diffhist Philosophy of mathematics 00:01 +29 Isaidnoway talk contribs (+ {{notelist}})
17 May 2024
- diffhist m P versus NP problem 23:48 −322 Discospinster talk contribs (Reverted edit by Nilson Bolivar (talk) to last version by Discospinster) Tag: Rollback
- diffhist m P versus NP problem 23:44 +322 Nilson Bolivar talk contribs (→Claimed solutions: The complexity of any type of problem can be from the easiest to the infinitely complex) Tag: Reverted
- diffhist m P versus NP problem 23:38 −322 Discospinster talk contribs (Reverted edits by Nilson_Bolivar (talk): unexplained content removal (HG) (3.4.12)) Tags: Huggle Rollback
- diffhist m P versus NP problem 23:37 −4,173 Nilson Bolivar talk contribs (The complexity of any type of problem can be from the easiest to the infinitely complex) Tag: Reverted
- diffhist m P versus NP problem 23:30 +4,495 Nilson Bolivar talk contribs (→Claimed solutions: The complexity of any type of problem can be from the easiest to the infinitely complex, there are problems where there are shortcuts with God's algorithms and they can be solved in polynomial time, and there are problems where with God's algorithms there are no shortcuts and no are solved in polynomial time, if a non-deterministic Turing machine finds solutions to problems in polynomial time this means that a deterministic Turing machine with God's algorithm can also fin) Tag: Reverted
- diffhist Three-valued logic 23:12 +26 24.214.177.76 talk (→See also) Tags: Mobile edit Mobile web edit
- diffhist Greek language 22:58 −3 Gaismagorm talk contribs (Undid revision 1224360953 by 77.205.116.187 (talk)) Tag: Undo
- diffhist Greek language 22:57 +3 77.205.116.187 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Module:Navbox 21:07 +308 Izno talk contribs (per Template talk:Navbox#Night mode may need explicit color definitions)
- diffhist Representation theory 20:10 0 Turtlens talk contribs (→References)
- diffhist Representation theory 20:01 +81 Turtlens talk contribs (→References)
- diffhist m Niels Bohr 19:51 +246 Hawkeye7 talk contribs (→Meeting with Heisenberg: Add missing apostrophe)
- diffhist Niels Bohr 19:11 +378 Fangz talk contribs (→Meeting with Heisenberg: include critique)
- diffhist Niels Bohr 18:35 +896 Fangz talk contribs (→Meeting with Heisenberg: I think this is a much more accurate way to summarise his letter...)
- diffhist P versus NP problem 18:01 −250 David Eppstein talk contribs (Undid revision 1224322635 by Nilson Bolivar (talk) WP:REFSPAM, not reliably published, crankery) Tag: Undo
- diffhist m P versus NP problem 17:45 +250 Nilson Bolivar talk contribs (post an article that talks about the p vs np problem) Tag: Reverted
- diffhist Constructive set theory 13:56 +7 88.116.31.14 talk (→Arithmetic)
- diffhist Constructive set theory 13:47 +4 88.116.31.14 talk (→Regularity implies PEM)
- diffhist Philosophy of mathematics 10:42 +6,002 D.Lazard talk contribs (→Logic and rigor: Filling the section, with some sentences copier from Mathematics)
- diffhist Constructive set theory 09:45 +23 178.165.197.164 talk (→Witness of apartness)
- diffhist P versus NP problem 09:43 −375 Mindmatrix talk contribs (revert - rm self-promotional ref) Tag: Manual revert
- diffhist List of formal systems 09:36 +334 Don Stroud talk contribs (→In theoretical computer science: hierarchically and supplemented, synchronous Calculus (disambiguation)#Formal language)
- diffhist List of formal systems 09:15 +33 Don Stroud talk contribs (→See also: ** Calculus (disambiguation)) Tag: Disambiguation links added
- diffhist Differential geometry 07:41 −88 David Eppstein talk contribs (untag)
- diffhist Differential geometry 07:41 −31 David Eppstein talk contribs (→Finsler geometry: use latex to avoid html setminus)
- diffhist Differential geometry 07:35 −209 David Eppstein talk contribs (rm dead link aside)
- diffhist Countable set 06:14 0 84.95.78.194 talk (→Formal overview: Fixed typo) Tags: canned edit summary Mobile edit Mobile app edit Android app edit
- diffhist m P versus NP problem 01:47 +1 Nilson Bolivar talk contribs (→Claimed solutions) Tag: Reverted
- diffhist m P versus NP problem 01:45 +49 Nilson Bolivar talk contribs (→Claimed solutions) Tag: Reverted
- diffhist m P versus NP problem 01:40 +325 Nilson Bolivar talk contribs (→Claimed solutions) Tag: Reverted
16 May 2024
- diffhist Constructive set theory 23:57 +14 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 23:54 +6 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 23:51 −33 178.165.197.164 talk (→Witness of apartness: Simplify)
- diffhist Constructive set theory 23:46 +20 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 23:36 +202 178.165.197.164 talk (→Witness of apartness)
- diffhist m Cantor's theorem 23:33 +19 ElskverdigHug talk contribs
- diffhist Constructive set theory 22:38 +7 178.165.197.164 talk (→Predicativity)
- diffhist Constructive set theory 22:32 −5 178.165.197.164 talk (→Separation: Duplicated word)
- diffhist Constructive set theory 22:31 +262 178.165.197.164 talk (→BCST: Delinate full Separation)
- diffhist m P versus NP problem 17:30 +1 Proof Pro talk contribs (→Example: Changed final comma to semi-colon and added comma after the word "however")
- diffhist Module:Pagetype 12:25 −146 MSGJ talk contribs (add detection of non-existent pages, some code simplication)
- diffhist m Module:Pagetype/config 12:23 +100 MSGJ talk contribs (+cfg for non-existent pages)
- diffhist Albert Einstein 10:40 0 Marjan Tomki SI talk contribs (→Childhood, youth and education: clarification who introduced)
- diffhist Constructive set theory 08:36 −15 John of Reading talk contribs (Typo fixing, replaced: is ran → is run, copyedited one other phrase) Tag: AWB
- diffhist List of formal systems 07:30 +120 Don Stroud talk contribs (→See also: Computability)
- diffhist List of formal systems 07:22 +58 Don Stroud talk contribs (→Mathematical: sub-sections)
- diffhist m Logical consequence 00:32 −22 Explicit talk contribs (Removing link(s) Wikipedia:Articles for deletion/Matthew W. McKeon closed as delete (XFDcloser))
15 May 2024
- diffhist m Wikisource 22:28 −15 Jlwoodwa talk contribs (cleanup hatnote)
- diffhist Predicate (mathematical logic) 18:30 +27 D.Lazard talk contribs (Undid revision 1224002660 by Addemf (talk) Yes the use of "constant" is improper, but the proposed correction is wrong)
- diffhist m Argument 18:17 −1 Wardoflores talk contribs (Fixing typo from "premisses" to "premises")
- diffhist Predicate (mathematical logic) 17:42 +5 Addemf talk contribs (The word "constants" in formal logic, refers to 0-ary function symbols, whereas this explanation probably had in mind some "single element of the domain". So it was misleading, and it's more accurate to say that first-order logic predicates are characterized by having a fixed arity, each coordinate being substituted by elements of the domain, in the usual semantic scheme.)