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
19 May 2024
- diffhist m Metalogic 04:04 +34 Tule-hog talk contribs (→Results: add prose box)
- diffhist Philosophy of mathematics 03:49 0 50.37.221.56 talk (Typo) Tags: Mobile edit Mobile web edit
18 May 2024
- diffhist Use–mention distinction 18:13 −27 Kovcszaln6 talk contribs (Reverted 1 edit by 64.234.12.63 (talk): Reverted non-constructive edit) Tags: Twinkle Undo
- diffhist Use–mention distinction 18:03 +27 64.234.12.63 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Use–mention distinction 18:00 −95 Lynch44 talk contribs (Reverted edits by 64.234.12.63 (talk) to last version by Remsense) Tags: Rollback Mobile edit Mobile web edit
- diffhist Use–mention distinction 18:00 +91 64.234.12.63 talk (Added context) Tags: Reverted Mobile edit Mobile web edit
- diffhist Use–mention distinction 17:57 +4 64.234.12.63 talk (Added missing letters) Tags: Reverted Mobile edit Mobile web edit
- 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
- 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 Module:Navbox 21:07 +308 Izno talk contribs (per Template talk:Navbox#Night mode may need explicit color definitions)
- 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 Equivalence class 09:51 0 49.37.129.48 talk (→Properties)
- diffhist Equivalence class 09:51 +1 49.37.129.48 talk (→Properties)
- 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 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 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 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 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 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
- diffhist Module:Footnotes 03:01 +41 Rjjiii talk contribs (adding "at" as an alias for "loc" (similar to cite xxx templates), forgot about sfnm(p))
- diffhist Module:Footnotes 02:38 +18 Rjjiii talk contribs (adding "at" as an alias for "loc" (similar to cite xxx templates) per talk page)
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 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 De Morgan's laws 14:50 +163 OwenBlacker talk contribs (→History: Refs; Language tagging)
- 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
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 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.)