Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
14 May 2024
- diffhist Classical logic 03:42 +536 ElskverdigHug talk contribs
- diffhist m Ludwig Wittgenstein 01:35 0 MinTrouble talk contribs (Ludwig with voiced dental stop in Austria) Tags: Visual edit Mobile edit Mobile web edit
13 May 2024
- diffhist Logical disjunction 21:45 +4 170.85.70.205 talk (Linked Venn Diagram on text "Venn Diagram") Tag: Visual edit
- diffhist Venn diagram 17:09 −189 Belbury talk contribs (Reverted 1 edit by LuxembourgLover (talk): Arbitrary and poorly laid-out example, nothing in the text of this section about the relevance of AI) Tags: Twinkle Undo Mobile edit Mobile web edit Advanced mobile edit
- diffhist Venn diagram 17:02 +189 LuxembourgLover talk contribs (→History: used correct englsih) Tags: Reverted Visual edit
- diffhist m Turing machine 15:49 −2 Hooman Mallahzadeh talk contribs
- diffhist m Turing machine 15:48 −1 Hooman Mallahzadeh talk contribs (→Overview)
- diffhist m De Morgan's laws 14:50 +163 OwenBlacker talk contribs (→History: Refs; Language tagging)
- diffhist m Gödel's incompleteness theorems 13:48 +11 Magioladitis talk contribs (Moved punctuation mark to correct place + other fixes, References after punctuation per WP:CITEFOOT and WP:PAIC) Tag: AWB
12 May 2024
- diffhist Constructive set theory 22:56 +23 77.119.163.227 talk (→ECST)
- diffhist Logical connective 22:52 +17 189.6.31.253 talk (→See also)
- diffhist Alphabet (formal languages) 22:50 +344 Jason Quinn talk contribs (→top: added another ref for alphabet definition and character and symbol ( Fletcher's book))
- diffhist Module:Pagetype 21:45 −255 MSGJ talk contribs (non-existent pages are not articles, plus some code simplification)
- diffhist Logical connective 21:40 +18 189.6.31.253 talk (→See also)
- diffhist Logical connective 21:34 +20 189.6.31.253 talk (→See also)
- diffhist Logical connective 21:34 +17 189.6.31.253 talk (→See also)
- diffhist Ludwig Wittgenstein 14:29 −1 147.156.224.26 talk (→Bertrand Russell)
- diffhist Ludwig Wittgenstein 14:24 −1 147.156.224.26 talk (→1947–1951: Final years)
- diffhist Ludwig Wittgenstein 14:23 −1 147.156.224.26 talk (→1947–1951: Final years)
- diffhist Ludwig Wittgenstein 13:59 −1 147.156.224.26 talk (→Family temperament and the brothers' suicides)
- diffhist Philosophy of mathematics 13:11 0 D.Lazard talk contribs (→Logic and rigor: typo)
- diffhist Philosophy of mathematics 13:10 +62 D.Lazard talk contribs (→Logic and rigor: New section, still to be expanded)
- diffhist Augustus De Morgan 11:20 −208 Lgh1g19 talk contribs (Minor gramatical changes and re-wording to modernise phrasing) Tags: Visual edit Newcomer task Newcomer task: copyedit
- diffhist m Transposition (logic) 11:04 +2 Oneequalsequalsone talk contribs (→Form of transposition) Tag: Visual edit
- diffhist m Ludwig Wittgenstein 10:17 +4 Carlo.bottai talk contribs (→1920–1928: Teaching, the Tractatus, Haus Wittgenstein: Added links) Tags: Mobile edit Mobile app edit Android app edit
- diffhist m Ludwig Wittgenstein 09:09 +4 Carlo.bottai talk contribs (→1906–1913: University: Added links) Tags: Mobile edit Mobile app edit Android app edit
- diffhist Sequent calculus 06:02 +49 2601:646:9b81:9c90::799a talk (Fixed the presentation of LK/LJ to use additive rather than multiplicative rules (as seen in both the original Gentzen paper and in the source cited at the beginning of the section on LK), as well as some other edits this necessitated.)
- diffhist Foundations of geometry 01:42 −5 David Eppstein talk contribs (this has much more cs2 than cs1; standardize on that)
- diffhist Foundations of geometry 01:41 +266 David Eppstein talk contribs (→Incompleteness: supply requested citation)
11 May 2024
- diffhist Syllogism 23:32 −6 Toughpigs talk contribs (→Aristotle)
- diffhist Law of noncontradiction 23:10 −8 Omnipaedista talk contribs (redundant)
- diffhist Partition of a set 20:45 0 Russ Woodroofe talk contribs (Restored revision 1218853303 by David Eppstein (talk): ????) Tags: Twinkle Undo
- diffhist Function (mathematics) 17:58 −132 D.Lazard talk contribs (Undid revision 1223370671 by 97.126.118.27 (talk) unsourced) Tag: Undo
- diffhist Function (mathematics) 17:57 −33 D.Lazard talk contribs (Undid revision 1223369778 by 97.126.118.27 (talk) Range is ambiguous and therefore must not be mentioned without care) Tag: Undo
- diffhist Function (mathematics) 17:44 +132 97.126.118.27 talk (Indicate most usual denotations for domain, codomain, and range.) Tag: Reverted
- diffhist Function (mathematics) 17:35 +33 97.126.118.27 talk (Indicate usual usage of "range" of a function.) Tag: Reverted
- diffhist m Euclid's Elements 16:39 0 Beland talk contribs (mu not micro in Greek words (via WP:JWB))
- diffhist Venn diagram 15:51 −186 The Banner talk contribs (Undid revision 1223356247 by LuxembourgLover (talk) irrelevant, not English) Tag: Undo
- diffhist Venn diagram 15:44 +186 LuxembourgLover talk contribs (Undid revision 1223325621 by The Banner (talk) added venn diogram, please provide a better summery next time.) Tags: Reverted Visual edit
- diffhist De Morgan's laws 15:06 +1 Kaiphom talk contribs (→Part 2: Though 'or' provides a correct implication, using this argument cannot conclusively claim that <math>x \not\in \overline{A} \cup \overline{B}</math>. 'and' is correct and gives a much stricter condition, allowing <math>x \not\in \overline{A} \cup \overline{B}</math> to be guaranteed. <math>x \in A</math> and <math>x \in B</math>, and thus <math>x \not\in \overline{A}</math> or <math>x \not\in \overline{B}</math>. However, that means <math>x \not\in \overline{A} \cup \overline{B...) Tags: Mobile edit Mobile web edit
- diffhist m Richard Dedekind 13:57 −1 IIIJLIII talk contribs (→Work: Fixed formatting)
- diffhist m Richard Dedekind 13:56 −1 IIIJLIII talk contribs (→Life: Fixed formatting)
- diffhist Venn diagram 10:46 −184 The Banner talk contribs (Undid revision 1223223026 by LuxembourgLover (talk) irrelevant) Tag: Undo
- diffhist Partition of a set 10:42 0 124.148.69.202 talk (→Refinement of partitions) Tag: Reverted
- diffhist Partition of a set 10:41 0 124.148.69.202 talk (→Refinement of partitions) Tag: Reverted
10 May 2024
- diffhist Soundness 23:18 0 Rhosnes talk contribs Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
- diffhist Formal system 21:31 −8 Rhosnes talk contribs Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
- diffhist Information theory 17:50 −16 Deor talk contribs (Undid revision 1223088430 by Robert7277 (talk) - overlink) Tag: Undo
- diffhist Information theory 17:49 −4 Deor talk contribs (Undid revision 1223088134 by Robert7277 (talk) - link to dab) Tag: Undo
- diffhist Venn diagram 17:36 +184 LuxembourgLover talk contribs (→History: mordern example) Tags: Reverted Visual edit