Related changes

10 July 2025

• diffhist Cambridge University Press 00:36 +222 Qalb alasid talk contribs (→Digital developments: Adding source) Tag: Visual edit
• diffhist Cambridge University Press 00:35 −27 Qalb alasid talk contribs (→Cambridge University Press partnerships and acquisitions: Redundancy in the title) Tag: Visual edit

9 July 2025

• diffhist Cardinality 20:52 +8 ALittleClass talk contribs Tag: Visual edit
• diffhist Cardinality 20:51 −219 ALittleClass talk contribs (reworded the lead definition of the continuum hypothesis to be easier to read, open to discussion on this) Tag: Visual edit
• diffhist Syntax (programming languages) 17:17 +96 AnomieBOT talk contribs (Rescuing orphaned refs ("uninitialized var" from rev 1299624210))
• diffhist Syntax (programming languages) 15:37 −3,102 Stevebroshar talk contribs (→Examples of errors: Move syntax error examples to syntax error article)
• diffhist Syntax (programming languages) 13:36 −94 Stevebroshar talk contribs (→See also: alphabetize)
• diffhist Syntax (programming languages) 13:34 −68 Stevebroshar talk contribs (Stay on topic; get to the point)
• diffhist Syntax (programming languages) 13:31 −2 Stevebroshar talk contribs (organize)
• diffhist Syntax (programming languages) 13:30 −770 Stevebroshar talk contribs (Syntax is not rules!; there are often rules that can be used to determine whether the syntax is valid, but the syntax is about what the content is; not what it _should_ be)
• diffhist Syntax (programming languages) 13:08 +3 Stevebroshar talk contribs (It's about code; not a program)
• diffhist Programming language 13:06 −2 Stevebroshar talk contribs (better word)
• diffhist Programming language 13:04 −408 Stevebroshar talk contribs (Element is overly generic; I see language definition and features; and this allows removing the jarring stuff from the into)
• diffhist Programming language 12:50 −21 Stevebroshar talk contribs (→Semantics: get to the point)
• diffhist Programming language 12:42 −579 Stevebroshar talk contribs (This whole paragraph is uncited and low-value; in particular: exception handling is covered later; prog lang theory is better handled as see-also (which it already is))
• diffhist Programming language 12:37 −40 Stevebroshar talk contribs (It's not just simplicity; it's about quality! Better software)
• diffhist Programming language 12:33 −277 Stevebroshar talk contribs (→Classifications: if scripting is a category then it should be another item; regardless it should be a side-note of imperative)
• diffhist Programming language 12:27 +48 Stevebroshar talk contribs (→Classifications: Edit for better organization; stuff and the end was not well integrated)
• diffhist m Peter Naur 12:19 +10 Osneyoxygendebt talk contribs (→Biography)
• diffhist Programming language 12:13 −582 Stevebroshar talk contribs (This section is not so much about the definition of prog lang as it is how that term relates to other terms: natural language, computer language and formal specification langauge) Tag: Visual edit: Switched
• diffhist Programming language 11:54 +400 Stevebroshar talk contribs (It's about _source code_ regardless of whether it's for a program; a compiler/interpreter is not an _implementation_ of a language yet some automated process (i.e. compiler/interpreter) is required to use source code) Tag: Visual edit
• diffhist Programming language 11:31 +22 Stevebroshar talk contribs (it _can_ be described in many (other) ways than syntax and semantics ... a formal lang is another way to describe it or even define it.) Tag: Visual edit
• diffhist Programming language 11:28 +1 Stevebroshar talk contribs (it's for controlling a _computer_; not any ol' machine (yes sometimes we call a computer a machine but that's inaccurate))
• diffhist Programming language 11:27 −18 Stevebroshar talk contribs ('instructions' is overly specific (implies command/imperative); it's about control (however that's conveyed))
• diffhist Programming language 11:25 +28 Stevebroshar talk contribs (→Definitions: Reword for accuracy; it's not for communicating with _all_ machines; only computers ... although there are other differences (i.e. syntax) intension is a big difference; prog lang is for _controlling_)
• diffhist Programming language 11:20 +46 Stevebroshar talk contribs (Singular is better than plural)
• diffhist m Mathematical notation 10:49 +31 Lambiam talk contribs (→Expressions and formulas: link)
• diffhist Module:Footnotes/whitelist 10:00 +403 Hike395 talk contribs (correct addition of Merriam-Webster to whitelist)
• diffhist m Cardinality 09:06 +4 BorgQueen talk contribs (→Pre-Cantorian set theory: MOS:CIRCA)
• diffhist m Cardinality 09:06 −1 BorgQueen talk contribs (→Ancient history: MOS:CAPFRAG)
• diffhist Module:Footnotes/whitelist 08:43 +23 Hike395 talk contribs (one more template)
• diffhist Module:Footnotes/whitelist 08:30 +94 Hike395 talk contribs (add Merriam-Webster to pattern whitelist, because of lack of date)
• diffhist Cardinality 05:01 −1,122 Farkle Griffen talk contribs (→Pre-Cantorian set theory: Rm some unnecessary detail, reorder chronologically) Tag: Visual edit
• diffhist m Structure (mathematical logic) 04:04 +232 Remyw talk contribs (Add citation for the application of structures in database theory.) Tag: Visual edit
• diffhist Structure (mathematical logic) 03:47 +1 Remyw talk contribs (Correct the definition of strong homomorphisms. The previous definition requires the homomorphism to be surjective, which is not necessary. See discussion for details.) Tag: Visual edit
• diffhist Cardinality 02:25 −126 Farkle Griffen talk contribs (Rm etymology from lead) Tag: Visual edit
• diffhist Non-Euclidean geometry 02:17 −24 David Eppstein talk contribs (manning ref doesn't appear to extend the list of non-Euclidean geometries)
• diffhist Cardinality 02:06 −136 Farkle Griffen talk contribs (→Pre-Cantorian set theory: Trimmed Bolzano's section) Tag: Visual edit
• diffhist Cardinality 02:01 −102 Farkle Griffen talk contribs (→Pre-Cantorian set theory: Simplified Galileo's Paradox) Tag: Visual edit
• diffhist Cambridge University Press 01:08 −1 Qalb alasid talk contribs (updating infobox with image) Tag: Visual edit
• diffhist m Cambridge University Press 01:03 −18 Qalb alasid talk contribs (→References: ce) Tag: Visual edit

8 July 2025

• diffhist Euclid's Elements 21:19 0 2605:cb80:917:1e:8921:cc48:b1f3:561 talk (→In Classical antiquity: corrected "conctruction" typo)
• diffhist Cardinality 20:26 −58 Farkle Griffen talk contribs (→History: Trivia) Tag: Visual edit
• diffhist Cardinality 20:04 −1,543 Farkle Griffen talk contribs (→History: Deleted section "Prehistory". I agree that basic counting is related, however, I can't find any sources that use the term "cardinality" for this purpose.) Tag: Visual edit
• diffhist Cardinality 20:01 +942 Farkle Griffen talk contribs (→Etymology: Changed to →Definition and etymology: and started a paragraph on its definition.) Tag: Visual edit
• diffhist Proposition 19:40 +5 Fgnievinski talk contribs (→top)
• diffhist Axiom of choice 17:51 −58 Danski454 talk contribs (→Equivalents: rm "every nonempty graph has a spanning forest", not mentioned in source, and the more common def of spanning forest makes it not equivalent)
• diffhist m Parsing 17:50 +183 ChildrenWillListen talk contribs (Reverted 1 edit by 27.60.166.26 (talk) to last revision by Jruderman) Tags: Twinkle Undo
• diffhist Parsing 17:49 −183 27.60.166.26 talk (Life is one time enjoy. hope will respect, dont hurts. humanity is truly a joy ever and end👆🫰🩷) Tags: Reverted Visual edit Mobile edit Mobile web edit
• diffhist m Wikipedia:Verifiability 17:05 −4 IdiosyncraticLawyer talk contribs (Spacing) Tag: 2017 wikitext editor