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
7 July 2025
- diffhist Kolmogorov complexity 03:17 +2,352 NoahClavelius talk contribs (→Kolmogorov randomness: Adding a comprehensive section on applications citing highly quoted and prestigious material relevant to the subject.)
- diffhist Kolmogorov complexity 03:15 +1,430 NoahClavelius talk contribs (→Implications in biology: Adding richness to the section with highly cited sources on the subject)
- diffhist m Lambda calculus 02:49 +2 Himaldrmann talk contribs (→Lambda calculus and programming languages: copyedit)
- diffhist Formal system 02:09 +146 Yesterday, all my dreams... talk contribs (→Concepts: deduction + induction)
- diffhist Formal system 02:05 +25 Yesterday, all my dreams... talk contribs (→Concepts: minimal req)
6 July 2025
- diffhist Primitive recursive function 23:28 +34 2601:147:4900:db80:72f5:ff22:99b8:2576 talk (→Variants: Citation needed added for claim, it's unclear how the 0-ary function would be composed with the projection function to create a n-ary function since the 0-ary function has no inputs.) Tag: Visual edit
- diffhist Non-Euclidean geometry 20:49 0 Tamfang talk contribs (→Axiomatic basis of non-Euclidean geometry: structure)
- diffhist m Euclidean geometry 19:45 +12 Balsam Cottonwood talk contribs (separating links)
- diffhist Non-Euclidean geometry 16:05 −12 Սահակ talk contribs (→References)
- diffhist Cardinality 14:16 −174 Farkle Griffen talk contribs (Simpler) Tag: Visual edit
- diffhist Cardinality 14:01 −3 Farkle Griffen talk contribs (element -> object) Tag: Visual edit
- diffhist m Information theory 13:25 +337 KibalchishTheCoder talk contribs (Added citation) Tag: Visual edit
- diffhist m Information theory 09:39 +282 KibalchishTheCoder talk contribs (Minor syntactical and aesthetic fixes) Tag: Visual edit
- diffhist Information theory 09:13 +4,429 KibalchishTheCoder talk contribs (Massively reworked the "Entropy of an information source" section by reformulating passages, improving citations and other minor changes (take 2)) Tag: Visual edit
- diffhist Euclid's Elements 06:47 +1 178.130.185.252 talk (→Background: Fixed typo (missing closing bracket)) Tags: Mobile edit Mobile web edit
- diffhist m Latin script 01:31 −4 Remsense talk contribs (Reverted 1 edit by 2600:4809:98B2:3700:113A:F25:A6AB:6A81 (talk) to last revision by Remsense) Tags: Twinkle Undo
- diffhist Latin script 01:29 +4 2600:4809:98b2:3700:113a:f25:a6ab:6a81 talk (<ref></ref>) Tag: Reverted
5 July 2025
- diffhist Empty set 23:28 −24 Remsense talk contribs (Reverted 2 edits by 98.243.254.38 (talk): Far better before imo. what are we doing, nesting quotes and emphasis?) Tags: Twinkle Undo
- diffhist Empty set 23:27 +1 98.243.254.38 talk (→Properties) Tag: Reverted
- diffhist Empty set 23:26 +23 98.243.254.38 talk (→Properties) Tag: Reverted
- diffhist Category theory 19:56 +35 David Eppstein talk contribs (M. Cristina Pedicchio)
- diffhist Proof theory 19:20 +31 184.178.159.252 talk (“More broadly, it belongs to what Prawitz called general proof theory (see section 1.1).” https://plato.stanford.edu/entries/proof-theoretic-semantics/) Tags: Mobile edit Mobile web edit
- diffhist New Foundations 17:45 −3 2a00:23c5:fe1c:3701:5d6:19d8:a6c5:35cb talk (grammar)
- diffhist Ordinal number 14:57 −210 Mattjazar talk contribs (Removed citation of the 8 page children's picture book 'Ordinal Numbers' by elementary school teacher Kristin Sterling. The inclusion of this citation in the first place appears to be some sort of prank.) Tag: Visual edit
- diffhist m Set (mathematics) 14:28 −1 Kreyp talk contribs (→Infinite cardinalities)
- diffhist Non-Euclidean geometry 13:54 +64 Quondum talk contribs (tweaks)
- diffhist m Term logic 11:29 0 WiekeEngels talk contribs (I adjusted the "Ferio". This is now the same format as the 3 above. This is now logically correct. The former wasn't.)
4 July 2025
- diffhist Second-order arithmetic 20:00 +4 JStein21 talk contribs (Link suggestions feature: 1 link added.) Tags: Visual edit Newcomer task Suggested: add links
- diffhist m Cardinality 19:06 0 LordDiscord talk contribs (Typo) Tags: Visual edit Mobile edit Mobile web edit
- diffhist m Boolean algebra 17:48 −4 Hipatius talk contribs (Removed a false link.)
- diffhist m Cardinality 17:02 +57 Farkle Griffen talk contribs (→Finite sets: Link to proof) Tag: Visual edit
- diffhist Finite set 16:45 +604 Farkle Griffen talk contribs (→Definition and terminology: Clarified definition) Tag: Visual edit
- diffhist Finite set 16:18 +443 Farkle Griffen talk contribs (Added missing ref) Tag: Visual edit
- diffhist Finite set 16:17 +2,180 Farkle Griffen talk contribs (Moved over uniqueness from ''Cardinality'') Tags: harv or sfn error Visual edit
- diffhist Constructive set theory 13:58 +9 217.76.162.32 talk (Qualify)
- diffhist Primitive recursive function 10:38 +1,207 Marc Schroeder talk contribs (added definition of primitive-recursiveness of vector-valued functions; removed template errors in references and sorted them alphabetically)
- diffhist Axiom 07:03 0 84.15.179.7 talk (→Propositional logic: fix bad line-wrap where the comma ends up lonely as the very first character at the start of a new line.)
3 July 2025
- diffhist Tautology (logic) 23:43 −2 Trovatore talk contribs (actually that comma doesn't belong there at all (nor does its pair))
- diffhist Formal system 23:26 +82 Yesterday, all my dreams... talk contribs (clarify logical completeness)
- diffhist Formal system 23:22 +16 Yesterday, all my dreams... talk contribs (link)
- diffhist m Tautology (logic) 23:02 0 WeHoDavid talk contribs (I transposed the positions of a comma and a quotation mark.) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Euclid's Elements 14:36 +14 D.Lazard talk contribs (→top: caption format)
- diffhist Euclid's Elements 14:24 +776 Mellangoose talk contribs (added note of papyrus) Tag: Visual edit
- diffhist Surjective function 14:12 −1,534 D.Lazard talk contribs (→Gallery: rm 2 images: unreadable without zooming, and confusing after a zoom)
- diffhist Euclid's Elements 13:57 +33 Mellangoose talk contribs (updated image) Tag: Visual edit
- diffhist Surjective function 13:57 −427 D.Lazard talk contribs (→Cardinality of the domain of a surjection: not a common notation)
- diffhist m Injective function 07:48 +4 Akhunpochoev Jamshed talk contribs Tag: Visual edit
- diffhist Surjective function 06:54 +188 Goodphy talk contribs (→Surjections as epimorphisms: Added a resource showing the proof that a function is surjective if and only if it is right-cancellative.) Tag: Visual edit
2 July 2025
- diffhist Cardinality 23:27 +20 Farkle Griffen talk contribs (Changed some sub-sections to sections) Tag: Visual edit
- diffhist Cardinality 23:09 −1 Sheddow talk contribs (→Other contributors: Typo) Tags: Mobile edit Mobile web edit