Related changes

10 July 2025

• diffhist Cardinality 04:16 +775 Farkle Griffen talk contribs (→Definition and etymology: Added citations) 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 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)
• 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 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

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 Fourier transform 19:14 −1 2601:204:f181:9410:1031:e273:690:ee0f talk (→Lebesgue integrable functions: Fixed bad grammar)
• 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 Continuous function 15:49 +19 2601:204:f181:9410:6d18:79a7:3041:62d2 talk (→Semicontinuity)
• diffhist Continuous function 15:46 +42 2601:204:f181:9410:6d18:79a7:3041:62d2 talk (→Directional Continuity: Improved wording)
• 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
• diffhist m Cardinality 05:17 −5 Shevvvv talk contribs (→Cardinal arithmetic: fix another typo)
• diffhist m Cardinality 05:17 +8 Shevvvv talk contribs (→Cardinal arithmetic: fix what is presumably a typo)
• diffhist m Cardinality 00:33 0 Willondon talk contribs (→Ancient history: copyedit: capitalize 'Greek')