Related changes

9 July 2025

• Move log 22:52 Maddy from Celeste talk contribs moved page Actual infinity to Actual and potential infinity (Moved per Special:Permalink/1299533566#Requested move 2 July 2025 using Move+)
• 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 Interval (mathematics) 18:32 +8 The Word & Ampersand talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Newcomer task Suggested: add links
• 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 Algebra 14:53 −92 ZimZalaBim talk contribs (Reverted 2 edits by 122.174.12.159 (talk) to last revision by Remsense) Tags: Twinkle Undo
• diffhist Algebra 14:52 +38 122.174.12.159 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist Algebra 14:50 +54 122.174.12.159 talk Tags: Reverted Mobile edit Mobile web edit
• 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 YouTube 11:54 0 Yggdrassil.34 talk contribs (→Founding and initial growth (2005–2006)) Tags: Mobile edit Mobile web edit
• 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 YouTube 11:52 0 Yggdrassil.34 talk contribs Tags: Mobile edit Mobile web edit
• diffhist YouTube 11:51 0 Yggdrassil.34 talk contribs Tags: Mobile edit Mobile web 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 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 Vector space 06:15 +789 Goodphy talk contribs (→Linear maps and matrices: Added a proof that, if two vector spaces are same in dimension, then they are isomorphic, because of a possible one-to-one correspondence between their bases.) Tag: Visual edit
• 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 m Vector space 03:57 +5 Goodphy talk contribs (→Linear maps and matrices: Slightly improved sentences.) 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 m Institute for Advanced Study 01:01 −56 FridaNova talk contribs (The previous wording was promotional. The IHES is very different from IAS, it does not have a huge endowment, it does not function with yearly residential fellowships, and the references cited show that it was only "inspired" by IAS and that its management cleverly told the media each time Oppenheimer came over.) Tag: Visual edit
• diffhist Actual infinity 00:37 +28 Zaslav talk contribs (+ induction. Ce.)
• diffhist Actual infinity 00:36 +13 Zaslav talk contribs (→Current mathematical practice: Ce. Too much belief in ZF.)