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
16 May 2024
- 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 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.)
- diffhist m Reductio ad absurdum 15:41 +4 Terpomamanto talk contribs
- diffhist m Function (mathematics) 13:42 −3 Arcergy talk contribs (→top: Fixed grammar) Tags: canned edit summary Mobile edit Mobile app edit Android app edit
- diffhist m Three-valued logic 12:37 +23 Hereptol talk contribs
- diffhist m Three-valued logic 08:06 +15 Hereptol talk contribs (new access to a source) Tag: Visual edit
- diffhist m Type theory 02:11 +63 Trevoran talk contribs (→History: link for term "ramified theory of types"; inscrutable without context)
14 May 2024
- diffhist m Philosophy of mathematics 22:44 −1 Jama1733 talk contribs (minor typo) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Finite model theory 19:18 +21 David Eppstein talk contribs (→Problem: +wl)
- diffhist Empty set 18:14 +2 96.252.13.92 talk (→Questioned existence)
- diffhist Construction of the real numbers 17:05 +541 EatingCarBatteries talk contribs (→See also) Tag: Visual edit
- diffhist m Truth 16:12 +20 R'n'B talk contribs (Disambiguating links to Organic (help needed) using DisamAssist.)
- diffhist m Cantor's theorem 15:06 +209 ElskverdigHug talk contribs (I had forgotten the "injective functions exist, here is an example" part in the proof. Fixed it.)
- diffhist m Cantor's theorem 12:24 +24 ElskverdigHug talk contribs
- diffhist Cantor's theorem 12:14 +205 ElskverdigHug talk contribs
- diffhist Turing machine 08:12 −7 150.203.2.234 talk (Removed empty column in first Alternative definitions table)
- diffhist m Cantor's theorem 08:12 −362 ElskverdigHug talk contribs (Undid my own revision, I'll double check it.) Tag: Undo
- diffhist Cantor's theorem 08:04 +362 ElskverdigHug talk contribs Tag: Reverted
- diffhist m Construction of the real numbers 06:03 +36 Sink Cat talk contribs (Added {{Cleanup bare URLs}}, using a script. For other recently-tagged pages with bare URLs, see Category:Articles with bare URLs for citations from May 2024)
- diffhist Classical logic 03:42 +536 ElskverdigHug talk contribs
13 May 2024
- diffhist Logical disjunction 21:45 +4 170.85.70.205 talk (Linked Venn Diagram on text "Venn Diagram") Tag: Visual edit
- diffhist m Wikipedia:Citing sources 19:40 +1 Uzume talk contribs (→Citing multiple pages of the same source: cite->cite xxx)
- diffhist Venn diagram 17:09 −189 Belbury talk contribs (Reverted 1 edit by LuxembourgLover (talk): Arbitrary and poorly laid-out example, nothing in the text of this section about the relevance of AI) Tags: Twinkle Undo Mobile edit Mobile web edit Advanced mobile edit
- diffhist Venn diagram 17:02 +189 LuxembourgLover talk contribs (→History: used correct englsih) Tags: Reverted Visual edit
- diffhist m Turing machine 15:49 −2 Hooman Mallahzadeh talk contribs
- diffhist m Turing machine 15:48 −1 Hooman Mallahzadeh talk contribs (→Overview)
- diffhist m Gödel's incompleteness theorems 13:48 +11 Magioladitis talk contribs (Moved punctuation mark to correct place + other fixes, References after punctuation per WP:CITEFOOT and WP:PAIC) Tag: AWB
- diffhist m Natural number 12:56 −1 Wbm1058 talk contribs (redirect bypass from Nicholas Bourbaki to Nicolas Bourbaki using popups)
12 May 2024
- diffhist Constructive set theory 22:56 +23 77.119.163.227 talk (→ECST)
- diffhist Logical connective 22:52 +17 189.6.31.253 talk (→See also)
- diffhist Alphabet (formal languages) 22:50 +344 Jason Quinn talk contribs (→top: added another ref for alphabet definition and character and symbol ( Fletcher's book))
- diffhist Module:Pagetype 21:45 −255 MSGJ talk contribs (non-existent pages are not articles, plus some code simplification)
- diffhist Logical connective 21:40 +18 189.6.31.253 talk (→See also)
- diffhist Logical connective 21:34 +20 189.6.31.253 talk (→See also)
- diffhist Logical connective 21:34 +17 189.6.31.253 talk (→See also)
- diffhist Philosophy of mathematics 13:11 0 D.Lazard talk contribs (→Logic and rigor: typo)
- diffhist Philosophy of mathematics 13:10 +62 D.Lazard talk contribs (→Logic and rigor: New section, still to be expanded)
- diffhist Truth 09:06 −1 2601:642:4001:4640:e8da:b75:a9e5:5950 talk (→Folk beliefs: "can not" -> "cannot" MOS:CONSISTENT)
- diffhist Sequent calculus 06:02 +49 2601:646:9b81:9c90::799a talk (Fixed the presentation of LK/LJ to use additive rather than multiplicative rules (as seen in both the original Gentzen paper and in the source cited at the beginning of the section on LK), as well as some other edits this necessitated.)
- diffhist Foundations of geometry 01:42 −5 David Eppstein talk contribs (this has much more cs2 than cs1; standardize on that)
- diffhist Foundations of geometry 01:41 +266 David Eppstein talk contribs (→Incompleteness: supply requested citation)
11 May 2024
- diffhist Syllogism 23:32 −6 Toughpigs talk contribs (→Aristotle)
- diffhist Partition of a set 20:45 0 Russ Woodroofe talk contribs (Restored revision 1218853303 by David Eppstein (talk): ????) Tags: Twinkle Undo
- diffhist Natural number 19:40 −289 Mathnerd314159 talk contribs (tighten lead - move bolded terms closer to the front of their sentences, pull out "whenever convenient" note, move ISO / dictionary sources to section. Remove "discreteness of counting" clause as it is unsourced and too specific for a lead)
- diffhist Function (mathematics) 17:58 −132 D.Lazard talk contribs (Undid revision 1223370671 by 97.126.118.27 (talk) unsourced) Tag: Undo
- diffhist Function (mathematics) 17:57 −33 D.Lazard talk contribs (Undid revision 1223369778 by 97.126.118.27 (talk) Range is ambiguous and therefore must not be mentioned without care) Tag: Undo
- diffhist Function (mathematics) 17:44 +132 97.126.118.27 talk (Indicate most usual denotations for domain, codomain, and range.) Tag: Reverted
- diffhist Function (mathematics) 17:35 +33 97.126.118.27 talk (Indicate usual usage of "range" of a function.) Tag: Reverted