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
28 April 2025
- diffhistmFormal language10:44+16Nyngwangtalkcontribs(add internal link.)
- diffhistFormal language10:32+201Nyngwangtalkcontribs(Formalize the definition of "well-formed" by set theory; notice that this edit also formalized the possibly informal term "expression".)
- diffhistFormal language10:00+54Nyngwangtalkcontribs(Prefer introducing the parent set Σ* first instead of doing so for its subset, since a reader should be able to derive the informal meaning of its subset themselves; use markdown tags for math symbols.)
- diffhistAlphabet (formal languages)07:16−41Nyngwangtalkcontribs(Remove superfluous adjective "indivisible", which at worst is misleading when an alphabet is simply a "non-empty set"; simplified the immediate sentence following it.)
- diffhistmAlphabet (formal languages)06:41−3Nyngwangtalkcontribs
- diffhistAlphabet (formal languages)06:38+31Nyngwangtalkcontribs(Add wiki-link to the definition section of the page "formal language". All previous revisions I made are credited to the linked section.)
- diffhistAlphabet (formal languages)05:44+75Nyngwangtalkcontribs
- diffhistAlphabet (formal languages)04:13+101Nyngwangtalkcontribs
27 April 2025
- diffhistRussell's paradox22:21−3Eric Rowlandtalkcontribs(punctuation)
- diffhistPropositional calculus21:58+305Thiagovscoelhotalkcontribs(→Syntax: added another name)Tag: Visual edit
- diffhistPrimitive recursive function17:300Wwstalkcontribs(→Some common primitive recursive functions: Correct Kleene page number (reL 1971 editionn on archive.org))
- diffhistNon-standard model16:23+87Mooonswimmertalkcontribs(Adding local short description: "Model in mathematical logic not isomorphic to the standard model", overriding Wikidata description "model of a theory that is not isomorphic to the intended model")Tag: Shortdesc helper
- diffhistChurch–Turing thesis02:39+4174.72.84.123talk(→Statement in Church's and Turing's words)
26 April 2025
- diffhistmSet (mathematics)18:57+1Mdavis94538talkcontribs(→Power set: emptyset => empty set)
- diffhistmSet (mathematics)18:55+1Mdavis94538talkcontribs(→Algebra of subsets: emptyset => empty set)
- diffhistWikipedia:Stub13:34+393JoeNMLCtalkcontribs(→How to mark an article as a stub: add info. (with editor comment) - Explain to use stub-template and Not stub-category)
- diffhistPhilosophy of mathematics12:58+54Oneequalsequalsonetalkcontribs(→Psychologism: add 'by whom' template)Tag: Visual edit
- diffhistWikipedia:Stub04:28+176HouseBlastertalkcontribs(→How to mark an article as a stub: advertise the change for a time)
25 April 2025
- diffhistmInformation theory23:56−35Remsensetalkcontribs(Reverted 1 edit by $govindsinghbabhan$ (talk) to last revision by Remsense)Tags: TwinkleUndo
- diffhistInformation theory23:49+35$govindsinghbabhan$talkcontribs(Added Citation needed)Tags: RevertedVisual editMobile editMobile web editAdvanced mobile editNewcomer taskNewcomer task: references
- diffhistmLogical disjunction20:20−3MeowBombztalkcontribs(Small edit to make the list of alternate names read better)
- diffhistSet (mathematics)18:23+82Remsensetalkcontribs(→Roster notation: ce? please forgive me if this is worse)
- diffhistmSet (mathematics)17:43+1Miles Waughtalkcontribs(→Roster notation: Small grammatical fix.)
- diffhistCardinality14:41+1JRSpriggstalkcontribs(→Finite sets: spelling)
- diffhistmCardinality13:170Willondontalkcontribs(→Finite sets: typo)
- diffhistP versus NP problem06:53−3Cedar101talkcontribs(→Formal definitions: \mathsf ′ {{tooltip}})
- diffhistLogic02:19+1DuncanHilltalkcontribs(Fixing harv/sfn reference errors. Please install User:Trappist the monk/HarvErrors.js and watchlist Category:Harv and Sfn no-target errors to help you spot such errors when reading and editing.)
- diffhistLogic02:18−2DuncanHilltalkcontribs(Fixing harv/sfn reference errors. Please install User:Trappist the monk/HarvErrors.js and watchlist Category:Harv and Sfn no-target errors to help you spot such errors when reading and editing.)
- diffhistLogic02:180DuncanHilltalkcontribs(→Bibliography: Get names right way round!)
24 April 2025
- diffhistExtensionality23:52−37Fang-runintalkcontribs(I resolved a "clarification needed" request for the Univalence bullet point in the Extensionality subsection, wherein I provided the types of the mathematical objects and defined the notation used.)Tag: Visual edit
- diffhistmAxiomatic system23:03−1Alinowetalkcontribs(→top)Tags: Mobile editMobile app editAndroid app editApp section source
- diffhistLogic22:35+55David Eppsteintalkcontribs(→Bibliography: even more authorlinks)
- diffhistLogic22:29+197David Eppsteintalkcontribs(→Bibliography: more authorlinks)
- diffhistAxiomatic system22:07+17Yesterday, all my dreams...talkcontribs(formal statements, not notions)
- diffhistAxiomatic system22:01+1Yesterday, all my dreams...talkcontribs(→Axiomatization and proof)
- diffhistAxiomatic system22:01+52Yesterday, all my dreams...talkcontribs(→Axiomatization and proof: Only for systems not complete)
- diffhistAxiomatic system21:58−6Yesterday, all my dreams...talkcontribs(move)
- diffhistAxiomatic system21:57−407Yesterday, all my dreams...talkcontribs(→Issues: unsourced and utter nonsense)
- diffhistLogic21:56+106David Eppsteintalkcontribs(→Bibliography: several authorlinks, one missing accent in author name, and one reversed author name)
- diffhistmSequent calculus19:24+37Theanswertolifetheuniverseandeverythingtalkcontribs(Clarify restrictions on ∃L and ∀R)Tag: Visual edit
- diffhistCardinality15:29035.21.79.36talk(fixed the in-article link on "Pre-Cantorian Set theory", it should actually send one to the spot in the article now. It didn't previously because the S in Set wasn't capitalized.)
- diffhistmPrincipia Mathematica14:31−72Cutlasstalkcontribs(Reverted 1 edit by 2A02:1810:1E1F:4000:6500:6530:E56A:6D6D (talk) to last revision by Galaktos)Tags: TwinkleUndo
- diffhistPrincipia Mathematica14:31+722a02:1810:1e1f:4000:6500:6530:e56a:6d6dtalk(→Scope of foundations laid)Tags: Revertedextraneous markup
- diffhistFunction (mathematics)13:49+49Mindmatrixtalkcontribs(revert - the goal of hatnotes is to point readers in the right direction for subjects having the same or similar names, irrespective of relation to the current page)
- diffhistFunction (mathematics)13:24−57Aray0825talkcontribs(removed unnecessary— and frankly bit suspect — reference to a band whose name happens to be the algebraic visual representation of a very generic function f(x). This has nothing to do with the article.)Tags: Mobile editMobile app editiOS app editApp section source
- diffhistRobinson arithmetic12:30+2The Anometalkcontribs(<p>)Tag: Visual edit
- diffhistRobinson arithmetic12:30+4The Anometalkcontribs(finitely axiomatized)Tag: Visual edit
- diffhistLogical biconditional12:020Celjski Gradtalkcontribs(nor -> NOR)Tag: Visual edit
- diffhistmLogical biconditional11:58−82Adakikotalkcontribs(Reverted edits by 2A01:799:965:9400:809C:C3B0:7357:4FE (talk): original research (HG) (3.4.13))Tags: HuggleRollback
- diffhistLogical biconditional11:57+822a01:799:965:9400:809c:c3b0:7357:4fetalk(Added a comment about the somewhat confusing nomenclature of the XNOR operator, that should rather be named NXOR (but which is harder to articulate), since this is likely contributing to what appears to be a common misconception, viz. that any op without an X - such as NOR and AND - can be "made exclusive" somehow (but eg. NOR and AND cannot be made more "exclusive" than they already are, since they are T for only a single operand pair: {F,F} and {T,T}, respectivley).)Tags: RevertedMobile editMobile web edit
