Related changes

28 April 2025

• diffhist Robert M. Solovay 19:58 +2 2601:18e:c003:43b0:c1a0:7d72:9e96:c856 talk Tags: Mobile edit Mobile web edit
• diffhist Robert M. Solovay 19:53 +17 2601:18e:c003:43b0:c1a0:7d72:9e96:c856 talk Tags: Mobile edit Mobile web edit
• diffhist m Formal language 16:42 0 Nyngwang talk contribs (typo: should use "e.g." instead of "i.e.".)
• diffhist Formal language 16:31 +31 Nyngwang talk contribs (linking: redirect the link in the opening to the definition; create a new internal link between "Formal language" and "Alphabet (formal languages)" to form a mutual link.)
• diffhist Alphabet (formal languages) 16:26 +26 Nyngwang talk contribs (Link to the existing definition and remove the inlined one; improve wordings of the context.)
• diffhist Formal language 16:01 +217 Nyngwang talk contribs (make it clear that it's "a formal language over an alphabet" instead of just "a formal language", where the latter is the source of confusions/vagueness.)
• diffhist Formal language 15:50 +124 Nyngwang talk contribs (should define/introduce a non-empty set first before doing it for a formal language L.)
• diffhist Formal language 15:12 −47 Nyngwang talk contribs (Prefer inclusive atomic term "symbols" instead of a sequence of terms "symbol, letters, or token" to describe a set; quote the term "words", which has special meaning in formal language.)
• diffhist m Formal language 15:02 +4 Nyngwang talk contribs (→Definition: typo: should use subset-equal.)
• diffhist m Formal language 14:58 −2 Nyngwang talk contribs (typo: the -> a.)
• diffhist Formal language 14:40 +272 Nyngwang talk contribs (Rewrite the opening so every new term is introduced in the format: "math-term (i.e. common-term in field-outside-of-math)", which should be more accessible for readers outside of math fields.)
• diffhist m Alphabet (formal languages) 12:02 +14 Nyngwang talk contribs (grammar: prefer active voice.)
• diffhist Injective function 11:13 +3 2601:647:4b80:928e:80bf:de8a:e0cc:d7d0 talk (Fixed grammar) Tags: canned edit summary Mobile edit Mobile app edit iOS app edit App section source
• diffhist m Formal language 11:10 +14 Nyngwang talk contribs (fix typo: missing adjective "finite-length".)
• diffhist m Formal language 10:52 +2 Nyngwang talk contribs (→Definition)
• diffhist m Formal language 10:44 +16 Nyngwang talk contribs (add internal link.)
• diffhist Formal language 10:32 +201 Nyngwang talk contribs (Formalize the definition of "well-formed" by set theory; notice that this edit also formalized the possibly informal term "expression".)
• diffhist Formal language 10:00 +54 Nyngwang talk contribs (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.)
• diffhist m Abstract algebra 09:19 −3 John of Reading talk contribs (Typo/quotemark fixes, replaced: ’s → 's, c.f. → cf.) Tag: AWB
• diffhist Alphabet (formal languages) 07:16 −41 Nyngwang talk contribs (Remove superfluous adjective "indivisible", which at worst is misleading when an alphabet is simply a "non-empty set"; simplified the immediate sentence following it.)
• diffhist m Alphabet (formal languages) 06:41 −3 Nyngwang talk contribs
• diffhist Alphabet (formal languages) 06:38 +31 Nyngwang talk contribs (Add wiki-link to the definition section of the page "formal language". All previous revisions I made are credited to the linked section.)
• diffhist Alphabet (formal languages) 05:44 +75 Nyngwang talk contribs
• diffhist Alphabet (formal languages) 04:13 +101 Nyngwang talk contribs
• diffhist m Cardinality of the continuum 03:46 +1 WinstonWolfie talk contribs

27 April 2025

• diffhist Russell's paradox 22:21 −3 Eric Rowland talk contribs (punctuation)
• diffhist Propositional calculus 21:58 +305 Thiagovscoelho talk contribs (→Syntax: added another name) Tag: Visual edit
• diffhist m Saharon Shelah 18:52 +34 פעמי-עליון talk contribs (→Biography: It's hard to say that Yonatan was Israeli while his self-determination was Canaanite and the state of Israel didn't even exist yet) Tag: Visual edit
• diffhist Primitive recursive function 17:30 0 Wws talk contribs (→Some common primitive recursive functions: Correct Kleene page number (reL 1971 editionn on archive.org))
• diffhist Non-standard model 16:23 +87 Mooonswimmer talk contribs (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
• diffhist Church–Turing thesis 02:39 +4 174.72.84.123 talk (→Statement in Church's and Turing's words)

26 April 2025

• diffhist m Set (mathematics) 18:57 +1 Mdavis94538 talk contribs (→Power set: emptyset => empty set)
• diffhist m Set (mathematics) 18:55 +1 Mdavis94538 talk contribs (→Algebra of subsets: emptyset => empty set)
• diffhist Kurt Gödel 17:22 +3,128 Marc Schroeder talk contribs (→Important publications: Added aleditors to)
• diffhist Philosophy of mathematics 12:58 +54 Oneequalsequalsone talk contribs (→Psychologism: add 'by whom' template) Tag: Visual edit
• diffhist Mathematics 09:39 −41 D.Lazard talk contribs (Reverted 1 edit by Wikideas1 (talk): Unneeded: This belongs to mathematical education and is liked to in Mathematical education) Tags: Twinkle Undo
• diffhist Hilbert's tenth problem 07:27 −1,839 Jochen Burghardt talk contribs (Undid revision 1287400085 by 2600:8804:1:FE00:694B:1AE7:576A:B258: incomprehensible (to me), unsourced, and of undue weight in the lead; if you really have a proof that SAT is in P and hence P=NP, you should submit it to some peer review) Tag: Undo
• diffhist Mathematics 05:55 +41 Wikideas1 talk contribs (→Training and practice: |Computer-based mathematics education}}) Tag: Reverted
• diffhist Hilbert's tenth problem 00:28 +1,839 2600:8804:1:fe00:694b:1ae7:576a:b258 talk (Augmented the introduction with a non-standard view of the solvability of Diophantine Equations.) Tags: Reverted Visual edit

25 April 2025

• diffhist m Information theory 23:56 −35 Remsense talk contribs (Reverted 1 edit by $govindsinghbabhan$ (talk) to last revision by Remsense) Tags: Twinkle Undo
• diffhist Information theory 23:49 +35 $govindsinghbabhan$ talk contribs (Added Citation needed) Tags: Reverted Visual edit Mobile edit Mobile web edit Advanced mobile edit Newcomer task Newcomer task: references
• diffhist m Logical disjunction 20:20 −3 MeowBombz talk contribs (Small edit to make the list of alternate names read better)
• diffhist Set (mathematics) 18:23 +82 Remsense talk contribs (→Roster notation: ce? please forgive me if this is worse)
• diffhist m Set (mathematics) 17:43 +1 Miles Waugh talk contribs (→Roster notation: Small grammatical fix.)
• diffhist Topology 14:43 +471 87.4.235.154 talk (Reinstated the quantum computation paragraph line in Applications with a source)
• diffhist Cardinality 14:41 +1 JRSpriggs talk contribs (→Finite sets: spelling)
• diffhist m Cardinality 13:17 0 Willondon talk contribs (→Finite sets: typo)
• diffhist P versus NP problem 06:53 −3 Cedar101 talk contribs (→Formal definitions: \mathsf ′ {{tooltip}})
• diffhist Logic 02:19 +1 DuncanHill talk contribs (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.)
• diffhist Logic 02:18 −2 DuncanHill talk contribs (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.)