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
17 May 2024
- 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 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 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 Neuron 12:27 −1 JustAMuggle talk contribs (Copy edit)
- diffhist Neuron 12:27 +3 JustAMuggle talk contribs (Copy edit)
- diffhist Neuron 12:24 +7 JustAMuggle talk contribs (Copy edit)
- diffhist Neuron 12:23 −1 JustAMuggle talk contribs (Copy edit)
- 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)
- diffhist m Algorithm 00:06 −78 Mindmatrix talk contribs (Reverted edits by Gunjansharma76 (talk) to last version by Mindmatrix) Tag: Rollback
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 m Algorithm 09:23 −1 Gunjansharma76 talk contribs (→External links: minor numeric error) Tags: Reverted Visual edit
- diffhist m Algorithm 09:18 +79 Gunjansharma76 talk contribs (→External links: Added new reference link about the information of amazon a10 algorithm) Tags: Reverted Visual edit
- 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