Related changes
← Negation
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
25 May 2024
- diffhist Philosophy of mathematics 22:29 −55 Remsense talk contribs (Reverting edit(s) by JustaNormalLad (talk) to rev. 1225588962 by Arjayay: Non-constructive edit (UV 0.1.5)) Tags: Ultraviolet Undo
- diffhist Logic 22:24 +1 2a02:1810:363d:6700:84cb:a33a:54c9:8cd8 talk (Undid revision 1225635708 by Remsense (talk))
- diffhist Philosophy of mathematics 21:19 +55 JustaNormalLad talk contribs Tags: Reverted Mobile edit Mobile app edit Android app edit
- diffhist Function (mathematics) 20:21 −1,223 David Eppstein talk contribs (Undid revision 1225642210 by Georgydunaev (talk) It's not that this is in any way wrong, but: the article already expresses this, your addition has no sources, and it's written in an imperative style (first do this, then do this) that neither reflects the subject well nor is a great choice for an encyclopedia article) Tag: Undo
- diffhist Function (mathematics) 19:59 +1,223 Georgydunaev talk contribs Tag: Reverted
- diffhist Automated theorem proving 19:47 +36 Jarble talk contribs (disambiguating a link)
- diffhist Automated theorem proving 19:39 +178 Jarble talk contribs (→Applications: another reference)
- diffhist Automated theorem proving 19:37 +378 Jarble talk contribs (describing applications of theorem provers in natural language processing) Tags: Visual edit: Switched Disambiguation links added
- diffhist m Logic 19:09 −6 Remsense talk contribs (Reverted 1 edit by 2A02:1810:363D:6700:84CB:A33A:54C9:8CD8 (talk) to last revision by 750h+) Tags: Twinkle Undo
- diffhist Logic 18:59 +6 2a02:1810:363d:6700:84cb:a33a:54c9:8cd8 talk (Image not supposed to be here.) Tags: Reverted Visual edit: Switched
- diffhist C++ 18:57 +18 Nickps talk contribs (→Language: Fixed phrasing) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist C++ 18:50 +18 Nickps talk contribs (→Language: Fixed link that implied that the K&R program works in C++) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist C++ 18:48 +110 Nickps talk contribs (→Language: Linked sentences about C and hello world. Previously it read like a non sequitur) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Syllogism 18:13 −138 Pogenplain talk contribs (→Modern history: doesnt seem relevant in this section) Tag: Visual edit
- diffhist Intuitionistic logic 16:52 0 213.229.25.38 talk (→Double negation vs. implication)
- diffhist Intuitionistic logic 16:52 +8 213.229.25.38 talk (→Negation vs. implication: Specify title)
- diffhist Intuitionistic logic 16:49 +153 213.229.25.38 talk (→Negation vs. implication)
- diffhist Intuitionistic logic 16:41 +33 213.229.25.38 talk (→Double negations)
- diffhist Intuitionistic logic 16:39 −256 213.229.25.38 talk (→Disjunction vs. conjunction: Simplified presentation)
- diffhist C++ 14:04 +9 Nickps talk contribs (Reverted 2 edits by Dc coder 84 (talk): WP:NOR. Find a reliable source first) Tags: Twinkle Undo Mobile edit Mobile web edit Advanced mobile edit
- diffhist C++ 13:59 0 Dc coder 84 talk contribs (correted c++ hello world.) Tags: Reverted Visual edit
- diffhist C++ 13:47 −9 Dc coder 84 talk contribs (Hello world program changed to C++23 standard.) Tags: Reverted Visual edit
- diffhist Intuitionistic logic 12:44 +5 77.119.160.81 talk (→Double negations)
- diffhist m Philosophy of mathematics 12:43 +3 Arjayay talk contribs (Sp)
- diffhist m Linguistics wars 12:19 +4 Bugghost talk contribs (more spelling...) Tag: Visual edit
- diffhist m Linguistics wars 12:16 +2 Bugghost talk contribs (more spelling) Tag: Visual edit
- diffhist m Linguistics wars 12:14 +3 Bugghost talk contribs (spelling) Tag: Visual edit
- diffhist m Linguistics wars 12:11 0 Bugghost talk contribs (spelling) Tag: Visual edit
- diffhist Church encoding 11:06 0 Vincent Lefèvre talk contribs (Undid revision 1225495790 by 129.19.63.106 (talk) "shows" does not make any sense; "slows" seems correct as it is said "from O(1) to O(n)", but the O() notation is wrong here since this is just an asymptotic upper bound (something in constant time is still in O(n), for instance).) Tag: Undo
- diffhist Information theory 04:45 +212 SomeoneCantThinkOfAnything talk contribs (→Quantities of information: Added citation for entropy) Tags: Visual edit Newcomer task Newcomer task: references
- diffhist Information theory 01:41 −240 WikiLinuz talk contribs (rm dead ref & unreliable)
- diffhist Intuitionistic logic 01:12 +1 77.119.160.81 talk (→Double negations)
- diffhist Constructive set theory 00:18 +59 77.119.160.81 talk (→Unprovable claims)
24 May 2024
- diffhist Constructive set theory 22:34 +23 77.119.160.81 talk (→Models)
- diffhist Foundations of geometry 21:34 +4 Ancheta Wis talk contribs (→Euclid's parallel postulate: ce for subjunctive)
- diffhist Constructive set theory 21:32 +1 77.119.160.81 talk (→No universal set: Typo)
- diffhist Constructive set theory 21:31 +26 77.119.160.81 talk (→No universal set)
- diffhist Constructive set theory 21:29 +299 77.119.160.81 talk (→No universal set)
- diffhist Foundations of geometry 21:25 +4 Ancheta Wis talk contribs (→A critique of Euclid: use internal link to § Birkhoff's axioms)
- diffhist Foundations of geometry 21:14 +22 Ancheta Wis talk contribs (→A critique of Euclid: link to Birkhoff's axioms)
- diffhist Wikipedia:WikiProject Reliability 20:36 +295 Cremastra talk contribs
- diffhist Cardinality 20:33 +124 Jochen Burghardt talk contribs (→Definition of cardinality in class theory (NBG or MK): wikilink NBG, MK; avoid "Note"; use <math> everywhere)
- diffhist Cantor's diagonal argument 20:24 −39 Jochen Burghardt talk contribs (→top: I guess the reason for having redirected names in boldface is that they should be visible at first glance, so moving them into a footnote is not a good idea)
- diffhist Church encoding 19:49 0 129.19.63.106 talk (→Use) Tag: Reverted
- diffhist Ambiguity 15:54 −29 Toughpigs talk contribs (take out ambiguous tone tag - the article is a bit of a jumble, but "tone" isn't the problem)
- diffhist Ambiguity 15:52 −45 Toughpigs talk contribs (→Constructed language: take out tag, some sources have been added)
- diffhist m Second-order logic 14:08 +4 Oneequalsequalsone talk contribs (→Examples: should probably link to this since its not defined anywhere) Tag: Visual edit
- diffhist Combinatory categorial grammar 12:01 +261 Harrygoods76 talk contribs (Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5) Tag: IABotManagementConsole [1.3]
- diffhist Bijection 09:35 +2 D.Lazard talk contribs (→top: grammar: a term is singular and cannot be injective)
- diffhist m Bijection 09:02 +56 WinstonWolfie talk contribs (Explain the difference between ''one-to-one correspondence'' and ''one-to-one function'')