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
- 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
- diffhistEnglish language02:00−2Z. Pattersontalkcontribs(MOS:PUNCTREF)
- diffhistEnglish language01:52+12Z. Pattersontalkcontribs(The article uses DMY dates. Performing script-assisted date audit and style fixes per MOS:NUM.)
- diffhistEnglish language01:35−38CAVincenttalkcontribs(Undid revision 1287719185 by Z. Patterson (talk) I'm pretty sure that that edit comment alone is enough to justify reversion)Tag: Undo
- diffhistEnglish language01:08+38Z. Pattersontalkcontribs(This article is supposed to exemplify British English, the variant of English from the country English came from, on the English Wikipedia. Do not use Oxford spelling in this article. Place punctuation before, not after, references. Do not have spaces between punctuation and footnotes. Use DMY dates.)Tag: Reverted
27 April 2025
- diffhistUp tack22:36+2,121Thiagovscoelhotalkcontribs(names/citations)Tag: Visual edit
- 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
- diffhistSQL19:07−9Ghosts of Europatalkcontribs(Reverted 1 edit by 2A02:9B0:406A:1F36:5842:124B:A75B:C3F (talk))Tags: TwinkleUndo
- diffhistmSet (mathematics)18:57+1Mdavis94538talkcontribs(→Power set: emptyset => empty set)
- diffhistmSet (mathematics)18:55+1Mdavis94538talkcontribs(→Algebra of subsets: emptyset => empty set)
- diffhistSQL18:31+92a02:9b0:406a:1f36:5842:124b:a75b:c3ftalk(datd bast to weeb saied)Tags: RevertedVisual edit
- diffhistPhilosophy of mathematics12:58+54Oneequalsequalsonetalkcontribs(→Psychologism: add 'by whom' template)Tag: Visual edit
- diffhistMathematics09:39−41D.Lazardtalkcontribs(Reverted 1 edit by Wikideas1 (talk): Unneeded: This belongs to mathematical education and is liked to in Mathematical education)Tags: TwinkleUndo
- diffhistMathematics05:55+41Wikideas1talkcontribs(→Training and practice: |Computer-based mathematics education}})Tag: Reverted
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
- diffhistBit21:35+125Guy Harristalkcontribs(Rewrite to make it a bit clearer.)
- diffhistBit21:310Guy Harristalkcontribs(Get rid of extra newline.)
- diffhistBit21:30−5Guy Harristalkcontribs(→Physical representation: Remove random "[1]" inserted into the text. That's not a reference, it's just a random "[1]" - a *reference* would appear inside <ref> and </ref> and would specify a document f some sort that supports the claim to which the reference is attached.)
- diffhistmLogical disjunction20:20−3MeowBombztalkcontribs(Small edit to make the list of alternate names read better)
- diffhistLogic gate19:04+388Theknightwhotalkcontribs(→Symbols)
- 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)
- diffhistUp tack14:26+1,258Lê Harusadatalkcontribs(Undid revision 1287327431 by MrOllie (talk))
- diffhistUp tack14:13−1,615MrOllietalkcontribs(Reverted 2 edits by Lê Harusada (talk): Rv wikipedia as source for itself)Tags: TwinkleUndo
- diffhistUp tack14:09+1,061Lê Harusadatalkcontribs(Add citations to the historical notes.)Tags: Reverteduse of deprecated (unreliable) source
- diffhistUp tack13:30+554Lê Harusadatalkcontribs(Add historical notes about the overlap between perpendicular symbol and up tack)Tag: Reverted
- 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)
- diffhistmAmpersand22:31−15Gaertpjagtalkcontribs(→Usage: AT&T, P&O links)
- 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)
