Related changes

13 July 2025

• diffhist Mathematical logic 23:14 −4 Trovatore talk contribs (Undid revision 1300363491 by 2601:204:D100:F5B0:1089:1862:1796:D986 (talk) no, we don't do that here) Tag: Undo
• diffhist Mathematical logic 22:19 +4 2601:204:d100:f5b0:1089:1862:1796:d986 talk (Fixed a recursive loop in the Wikipedia "philosophy" game.) Tags: Reverted Mobile edit Mobile web edit Disambiguation links added
• diffhist m Propositional calculus 02:26 −1 Hipatius talk contribs (Deleted an additional ">".)

12 July 2025

• diffhist Pythagorean theorem 21:00 +247 David Eppstein talk contribs (→History: +source)
• diffhist Pythagorean theorem 20:48 +179 David Eppstein talk contribs (→History: YBC 7289)
• diffhist Pythagorean theorem 20:44 +1 David Eppstein talk contribs (→History: refactor to put two passages about Mesopotamia together)
• diffhist Pythagorean theorem 20:39 +458 David Eppstein talk contribs (→History: Plutarch on Egyptian knowledge of 345)

11 July 2025

• diffhist Binary relation 14:50 +8 Maxeto0910 talk contribs (period after sentence) Tag: Visual edit
• diffhist m Sheffer stroke 06:57 +1 Thoread talk contribs Tag: Visual edit

10 July 2025

• diffhist m Aristotle 19:35 −8 SanFranciscer1 talk contribs (→Metaphysics: fixed awkward phrasing)
• diffhist Programming language 15:22 −2 2a01:cb04:328:b900:6036:6424:ba6b:e38e talk (Fix typo)

9 July 2025

• diffhist Binary relation 16:57 +448 AnomieBOT talk contribs (Rescuing orphaned refs ("gs" from rev 1299645176; "Schroder.1895" from rev 1299645176; "Lewis.1918" from rev 1299645176))
• diffhist Binary relation 16:29 −39 D.Lazard talk contribs (Reverted 1 edit by Villaida (talk): Duplicate) Tags: Twinkle Undo
• diffhist Binary relation 16:28 +39 Villaida talk contribs (fixed ref list error) Tag: Reverted
• diffhist Binary relation 16:27 −10 D.Lazard talk contribs (→Notes: + {{notelist}})
• diffhist Binary relation 16:25 −16 D.Lazard talk contribs (→Definition: {{efn}})
• diffhist Binary relation 16:16 −1,118 D.Lazard talk contribs (shortening the lead (The calculus of relations is too specialized and too technical for the lead))
• diffhist Binary relation 15:59 +37 D.Lazard talk contribs (→top: ce)
• diffhist Binary relation 15:41 −1,606 D.Lazard talk contribs (Reverted 1 edit by Dragomang87 (talk): The lead is already too long. The lead must not use terms such as "symmetric relation" without definition) Tags: Twinkle Undo
• diffhist Binary relation 15:04 +1,606 Dragomang87 talk contribs (Improved text, clarity and separation of concepts: separating prime from integers is a bad way of creating a non-homogeneous relation because the page for the divide relation is indeed homogeneous, also the definition as subset and element of power set was mixed with the definition of homogeneous, while the power-set related operations where on a separate paragraphs) Tag: Reverted
• 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 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)

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 m Logic gate 12:03 −74 MathXplore talk contribs (Reverted edit by 46.32.154.33 (talk) to last version by Coopman86) Tag: Rollback
• diffhist Logic gate 06:45 +74 46.32.154.33 talk (→External links) Tag: Reverted
• diffhist m Euclid's Elements 06:23 +4 Packer1028 talk contribs (Fixed grammar) Tags: Mobile edit Mobile app edit iOS app edit App section source