Related changes

15 May 2025

• diffhist m Decision problem 00:20 +8 Nyngwang talk contribs (wording: conform with the exact line from the book by Ebbinghaus et al.)
• diffhist Decision problem 00:02 −34 Nyngwang talk contribs (wording: an example of "decision problem" is just about the problem itself; requiring "an existing algorithm" is misleading.)

14 May 2025

• diffhist Axiomatization 23:26 +10 Brigandeur talk contribs (←Changed redirect target from Axiomatic system#Axiomatization to Axiomatic system#Axiomatization and proof) Tag: Redirect target changed
• diffhist Category of sets 23:17 +15 Tc14Hd talk contribs (Updated short description)
• diffhist Galileo Galilei 22:45 0 Justjourney talk contribs (→Controversy over heliocentrism: lowercase) Tag: 2017 wikitext editor
• diffhist Galileo Galilei 22:42 +7 Justjourney talk contribs (→Controversy over heliocentrism: changed per talk page) Tag: 2017 wikitext editor
• diffhist m Rational number 20:46 +159 MattTheMathFan talk contribs (→Countability: Added a source and removed "no references" tag) Tag: Visual edit: Switched
• diffhist m Gödel's incompleteness theorems 17:05 +10 BriDash9000 talk contribs (Added missing page protection template)
• diffhist m Soundness 15:54 +20 Dingolover6969 talk contribs (→See also: type soundness)
• diffhist Kurt Gödel 14:31 +1 Prezbo talk contribs
• diffhist Image (mathematics) 12:04 +122 Jochen Burghardt talk contribs (Undid revision 1290300258 by Knotapun (talk): X,Y should be introduced here, they are used in the following paragraphs) Tag: Undo
• diffhist Kurt Gödel 10:45 +26 Prezbo talk contribs (→Mid-1930s: further work and U.S. visits: cleanup)
• diffhist Kurt Gödel 10:44 +77 Prezbo talk contribs (→Later life and death: more)
• diffhist m Kurt Gödel 10:41 +21 Prezbo talk contribs (apologies)
• diffhist Kurt Gödel 10:30 +206 Prezbo talk contribs (→Studies in Vienna)
• diffhist Kurt Gödel 10:24 +514 Prezbo talk contribs (more on adele. chronologize.)
• diffhist Kurt Gödel 10:02 +423 Prezbo talk contribs (→Mid-1930s: further work and U.S. visits: more)
• diffhist Kurt Gödel 09:49 −210 Prezbo talk contribs (→Mid-1930s: further work and U.S. visits: sorry, this appears to be wrong, father died in 1929)
• diffhist Kurt Gödel 09:43 +241 Prezbo talk contribs (→Mid-1930s: further work and U.S. visits: slightly more on adele)
• diffhist Kurt Gödel 09:21 +309 Prezbo talk contribs (add a little biographical info to intro, more could be added.)
• diffhist Kurt Gödel 08:43 +215 Prezbo talk contribs (possible diagnoses)
• diffhist Isomorphism 08:39 +264 D.Lazard talk contribs (→top: rm a stale {{cn}}, and other ce)
• diffhist m Decision problem 08:26 −4 Nyngwang talk contribs (→Decidability: wording: merge two sentences.)
• diffhist Decision problem 08:15 +6 Nyngwang talk contribs (→Examples: wording: replaced "method" with "procedure", which is better 1. better capture the fact that it has "steps", 2. has a reference that clearly define it.)
• diffhist Kurt Gödel 08:08 −55 Prezbo talk contribs (removed Category:People with paranoid personality disorder using HotCat article doesn't state this)
• diffhist Decision problem 07:54 +19 Nyngwang talk contribs (request(cite): The current wiki page "effective method" is not in good quality, so I doubt the validity of linkage here.)
• diffhist m Non-Euclidean geometry 03:48 +4 TimelessTimothyD talk contribs (Included a hyperlink on "a priori" to its respective Wikipedia article, for further reading and reader's convenience. [My 1st-ever Wikipedia edit! Gotta start somewhere!])

13 May 2025

• diffhist m Image (mathematics) 23:24 −122 Knotapun talk contribs (Replace needlessly complicated introduction with simple English introduction.) Tag: Reverted
• diffhist m Logic 16:04 +283 JalenBarks talk contribs (Reverted edit by 2806:10BE:C:4AD3:5886:C88:491A:8A97 (talk) to last version by DuncanHill) Tag: Rollback
• diffhist Logic 16:00 −283 2806:10be:c:4ad3:5886:c88:491a:8a97 talk (→logic) Tags: Reverted harv or sfn error Mobile edit Mobile web edit
• diffhist Computable function 13:31 +5 D.Lazard talk contribs (→Definition: Using the proper name)
• diffhist Computable function 13:27 +1 D.Lazard talk contribs (misplaced link and grammar)
• diffhist Expression (mathematics) 10:40 −4 2a02:810d:a98c:9a00:2185:fc31:f60e:6a9b talk (→Well-formed: removed misplaced word.)
• diffhist m Computable set 09:38 −14 Nyngwang talk contribs (rm all "called".)
• diffhist Computable function 09:21 −324 D.Lazard talk contribs (→top: Simplification and clarification of the beginning)
• diffhist Computable function 08:27 +164 D.Lazard talk contribs (Reverted 7 edits by Nyngwang (talk): Previous version was not good, but the new one is worse) Tags: Twinkle Undo
• diffhist Abraham Fraenkel 04:41 +160 Iljhgtn talk contribs (Infobox) Tag: Visual edit
• diffhist Computable function 02:57 −126 Nyngwang talk contribs (wording: merge a sentence into the first sentence so that it can provide more information per words.) Tag: Reverted
• diffhist Extension by new constant and function names 02:43 +45 THEDUMOX talk contribs (Adding short description: "Mathematical principle") Tag: Shortdesc helper
• diffhist Skolem arithmetic 02:36 +41 THEDUMOX talk contribs (Adding local short description: "Mathematical logic", overriding Wikidata description "arithmetic of positive number with multiplication and equality") Tag: Shortdesc helper
• diffhist Truth predicate 02:35 +36 THEDUMOX talk contribs (Adding short description: "Logic concept") Tag: Shortdesc helper
• diffhist m Computable function 02:33 +16 Nyngwang talk contribs (wording.) Tag: Reverted
• diffhist m Computable function 02:31 0 Nyngwang talk contribs Tag: Reverted
• diffhist m Computable function 02:30 +35 Nyngwang talk contribs Tag: Reverted
• diffhist Computable function 01:59 −37 Nyngwang talk contribs (improve wording: in the original version "can do the job of the function" is misleading since "it specifies nothing about the job" but only the domain & codomain of the job.) Tag: Reverted
• diffhist Computable set 01:17 +11 JRSpriggs talk contribs (→Non-examples: please clarify isomorphism class of two simplicial complexes)

12 May 2025

• diffhist Natural number 23:41 −7 CyberTheTiger talk contribs (no need for both words)
• diffhist Computable set 22:34 −40 Nyngwang talk contribs (revert: remove "meta: more citation needed.")
• diffhist m Computable function 22:29 −1 Nyngwang talk contribs Tag: Reverted
• diffhist m Computable function 22:27 −51 Nyngwang talk contribs (wording & format.) Tag: Reverted