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
20 May 2024
- 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 m English language 22:58 +57 JordiLopezboy talk contribs (→Phonology: Added context to /x/ and glottal stop (/ʔ/).) Tags: Mobile edit Mobile app edit Android app edit
- diffhist English language 22:54 +267 JordiLopezboy talk contribs (→Phonology: Added /x/ and glottal stop (/ʔ/) in parentheses, just like in English phonology article.) Tags: Mobile edit Mobile app edit Android app 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: 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 Module:List 16:45 +78 Pppery talk contribs (Per edit request)
- diffhist m Programming language 13:56 −37 Macarius Ibne Mito talk contribs Tag: Visual edit
- 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 Metalanguage 05:33 +286 Quercus solaris talk contribs
- diffhist Philosophy of mathematics 03:49 0 50.37.221.56 talk (Typo) Tags: Mobile edit Mobile web edit
18 May 2024
- diffhist m William Stanley Jevons 19:19 +47 Smasongarrison talk contribs (Copying from Category:English logicians to Category:19th-century English philosophers Diffusing per WP:DIFFUSE and/or WP:ALLINCLUDED using Cat-a-lot)
- 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 French language 01:19 +57 ChauConlangs talk contribs (Check talk page) Tags: 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 George Boole 23:02 −94 David Eppstein talk contribs (→20th-century development: rm confusing and unnecessary passage re priority)
- 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 m Meiosis 12:42 +5 Ozzie10aaaa talk contribs (Cleaned up using AutoEd)
- 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 Curry–Howard correspondence 07:29 −113 David Eppstein talk contribs (→Philosophical interpretations: fix badly linked ref)
- diffhist Curry–Howard correspondence 07:26 −399 David Eppstein talk contribs (→Generalizations: rm dated and badly sourced stmt)
- 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
- diffhist C (programming language) 00:54 +305 Egsan Bacon talk contribs (Reverted 1 pending edit by 149.75.25.84 to revision 1223075849 by Annh07) Tag: Manual revert
- diffhist C (programming language) 00:52 −305 149.75.25.84 talk (2,avh’zgkazvWejjfjlej hklssktf)r’gme(rz3:z8fz3’) Tags: Reverted Visual edit
16 May 2024
- diffhist Constructive set theory 23:57 +14 178.165.197.164 talk (→Witness of apartness)