Related changes

21 May 2025

• diffhist Regular language 02:57 +2 2607:fa49:643b:1800:40e8:3851:c410:4e4e talk (use ∅ instead of letter Ø for empty language)
• diffhist m Formal language 01:36 +58 TonySt talk contribs (Reverted 1 edit by 2600:1014:B08C:9C:DD8D:C537:D95F:4C2A (talk) to last revision by Klauscougar) Tags: Twinkle Undo
• diffhist Formal language 01:36 −58 2600:1014:b08c:9c:dd8d:c537:d95f:4c2a talk (Improve the information necessary to be inclusive and not bias) Tags: Reverted Mobile edit Mobile web edit

20 May 2025

• diffhist m Total functional programming 14:49 +87 SilkPyjamas talk contribs (Adding local short description: "Programming paradigm restricted to provably terminating programs", overriding Wikidata description "non-Turing-complete programming paradigm restricted to provably terminating programs") Tag: Shortdesc helper
• diffhist m Nested word 05:05 −1 Steel1943 talk contribs (→Closure properties: fix common MOS:REFSPACE spacing errors, replaced: /> <ref → /><ref) Tag: AWB

19 May 2025

• diffhist m Decision problem 09:36 +13 Nyngwang talk contribs (→Notes: wording.)
• diffhist m Alan Turing 04:51 −1 BlankEclair talk contribs (→Government apology and pardon: Remove erroneous whitespace)
• diffhist Alternating Turing machine 02:59 +526 Cosmia Nebula talk contribs (→Further reading) Tag: 2017 wikitext editor

18 May 2025

• diffhist Halting problem 22:58 −11 Kvng talk contribs (rv unnec) Tag: Manual revert
• diffhist m Formal language 19:01 +1 Klauscougar talk contribs (edited for clarity. "words" now unambiguously refers to "strings") Tag: Visual edit
• diffhist m Gödel's incompleteness theorems 10:15 +10 BriDash9000 talk contribs
• diffhist m Gödel's incompleteness theorems 07:55 −10 BriDash9000 talk contribs (Moved page protection template per Wikipedia:Manual_of_Style/Layout#Order_of_article_elements)

17 May 2025

• diffhist Wikipedia:Citing sources 19:26 +97 Beland talk contribs (→Citation style: add "Preserving the style of each individual source is not considered an acceptable consistent style." per Wikipedia talk:Citing sources#RFC on consistent styles and capitalization of titles)
• diffhist m Decision problem 18:39 +16 Nyngwang talk contribs (meta(symbol): In the only accompanying image, the two answers are "YES", "NO", not "yes", "no"; update all occurrences accordingly.)
• diffhist m Decision problem 18:34 +220 Nyngwang talk contribs (meta(notes): add a note for the part that confused me, so it may help other people as well.)
• diffhist Wikipedia:Citing sources 12:52 −215 Kmhkmh talk contribs (nvm misread the scope of the change) Tag: Undo
• diffhist Wikipedia:Citing sources 12:42 +215 Kmhkmh talk contribs (still might be needed, see discussion) Tags: Undo Reverted
• diffhist Wikipedia:Citing sources 11:15 −215 Tamzin talk contribs (→Parenthetical referencing: been 5 years, probably don't need this line anymore) Tag: Reverted

16 May 2025

• diffhist BASIC 16:21 −788 Nerun talk contribs (→Standards)
• diffhist BASIC 16:20 +3,055 Nerun talk contribs (→Standards)
• diffhist m Decision problem 13:19 0 Nyngwang talk contribs (wording: replace "solves the problem" with "answers the yes-no question", which is more clear.)
• diffhist Decision problem 13:14 +14 Nyngwang talk contribs (fix(wording): a decision procedure needs to work on all inputs.)
• diffhist m Decision problem 12:36 +22 Nyngwang talk contribs (→See also: add an entry; sort the list)

15 May 2025

• diffhist Decision problem 23:55 +22 Nyngwang talk contribs (meta(link): "set".)
• diffhist m Decision problem 23:49 −7 Nyngwang talk contribs (wording.)
• diffhist m Decision problem 22:29 +31 Nyngwang talk contribs (→Definition: cite twice, less confusing.)
• diffhist m Decision problem 22:18 −5 Nyngwang talk contribs (→Definition: better readability by parentheses.)
• diffhist m Halting problem 22:14 −18 Nyngwang talk contribs (fixup.) Tag: Reverted
• diffhist m Halting problem 22:12 +29 Nyngwang talk contribs (meta(format): prevent the term "program-input" from breaking into two separate lines.) Tag: Reverted
• diffhist Decision problem 22:04 +30 Nyngwang talk contribs (meta(link): how can I forget to mention "halting problem" in the intro?)
• diffhist m Decision problem 21:57 +1 Nyngwang talk contribs (grammar.)
• diffhist m Decision problem 21:55 +1 Nyngwang talk contribs (→Definition: grammar.)
• diffhist m Decision problem 21:53 +17 Nyngwang talk contribs (→Definition: wording.)
• diffhist m Decision problem 21:51 +2 Nyngwang talk contribs (→Definition: grammar.)
• diffhist m Decision problem 21:50 +32 Nyngwang talk contribs (→Definition)
• diffhist Decision problem 21:47 −85 Nyngwang talk contribs (→Definition: prefer precise "formal language" than "a yes-no question on a set of inputs"; improve readability by listing.)
• diffhist m Decision problem 21:15 +2 Nyngwang talk contribs (→Notes: fix(link).)
• diffhist m Decision problem 21:06 +62 Nyngwang talk contribs (meta: prefer no inlined reference (so that one can edit page content more easily without clustered by inlined refs.))
• diffhist m Decision problem 21:03 +13 Nyngwang talk contribs (meta: create section "Notes"; move the only note into it.)
• diffhist m Decision problem 20:52 −8 Nyngwang talk contribs (wording: connect sentences.)
• diffhist m Decision problem 20:42 0 Nyngwang talk contribs (wording.)
• diffhist Well-order 19:06 +1 Jochen Burghardt talk contribs (Partly undid revision 1290536064 by 慈居 (talk): clarify: a set can have several orders (of different types), but an order can't have different types)
• diffhist Ackermann function 15:26 +1,699 Zomg15 talk contribs (Undid revision 1290247072 by 46.158.79.226 (talk)) Tag: Undo
• diffhist m Well-order 11:42 +8 慈居 talk contribs (I think the original sentence is fine if "many" is dropped. For a set to have an order can indeed mean equipping the set with an order, but a set never in any sense "has an order-type"; it should have a well-order first.)
• diffhist Gödel's incompleteness theorems 09:43 +430 Jochen Burghardt talk contribs (→top: suggest to add Hofstadter as a source for "widely"; (sub)section title and quotation translated back to EN from my DE edition, somebody please replace by original EN text)
• diffhist m Decision problem 04:39 −29 Nyngwang talk contribs (→Decidability: formatting.)
• diffhist m Decision problem 04:17 +12 Nyngwang talk contribs (wording.)
• diffhist m Decision problem 04:08 −3 Nyngwang talk contribs (→Definition: fix: it's "yes-no" question not "yes-or-no" question.)
• diffhist m Decision problem 04:02 +7 Nyngwang talk contribs
• diffhist m Decision problem 04:01 +7 Nyngwang talk contribs (wording: symmetry.)