Related changes
Appearance
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
12 June 2024
- diffhist Set (mathematics) 20:36 −1 23.245.197.132 talk Tags: Mobile edit Mobile web edit
- diffhist New Foundations 17:53 +119 Mathnerd314159 talk contribs (redo discussion of TST-NF relationship)
- diffhist Axiom schema of specification 15:02 −67 JRSpriggs talk contribs (→Relation to the axiom schema of replacement: de-bold)
- diffhist Axiom schema of specification 14:08 +65 Oneequalsequalsone talk contribs (→Relation to the axiom schema of replacement) Tag: Visual edit
- diffhist Logic 12:30 −78 Biogeographist talk contribs (Undid revision 1228652207 by 5.234.36.210 (talk): formal logic has many applications in philosophy: see, e.g., DOI:10.1007/978-3-319-77434-3) Tag: Manual revert
- diffhist Logic 12:10 −1 5.234.36.210 talk (→Formal logic: punctuation error) Tag: Reverted
- diffhist Logic 12:10 +79 5.234.36.210 talk (→Formal logic: add link to formal logic applications in philosophy) Tag: Reverted
- diffhist Lambda calculus 07:56 +43 Ancheta Wis talk contribs (→Definition: use 'reducible expression')
- diffhist Lambda calculus 07:50 +16 Ancheta Wis talk contribs (→Reduction: anchor redex)
- diffhist m Truth value 07:39 −1 ClueBot NG talk contribs (Reverting possible vandalism by 83.58.224.191 to version by Oneequalsequalsone. Report False Positive? Thanks, ClueBot NG. (4330399) (Bot)) Tag: Rollback
- diffhist Truth value 07:39 +1 83.58.224.191 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Axiom of choice 03:22 +70 Bbbbbbbbba talk contribs (→Statements implying the negation of AC: Added an internal link (actually currently redirecting to another section on the same page) to help source the statement.)
- diffhist Non-Euclidean geometry 02:55 −2 Tamfang talk contribs (Undid revision 1228477999 by 197.245.184.125 (talk)— what third have you in mind?) Tag: Undo
- diffhist Georg Cantor 01:37 +22 David Eppstein talk contribs (+wl)
11 June 2024
- diffhist m Logical connective 19:24 −1 Thiagovscoelho talk contribs (→Set theory)
- diffhist m Logical connective 19:22 −2 Thiagovscoelho talk contribs (→Applications)
- diffhist Logical connective 19:22 +147 Thiagovscoelho talk contribs (restructuring)
- diffhist Logical connective 19:20 +3,053 Thiagovscoelho talk contribs (Added set theory) Tag: Visual edit
- diffhist New Foundations 16:16 −77 Mathnerd314159 talk contribs (→Typed Set Theory: de-listify)
- diffhist Foundations of mathematics 15:37 +3 D.Lazard talk contribs (→Philosophical views: typo)
- diffhist m LaTeX 15:25 +38 Distance1969 talk contribs (Minor improvements to information and writing style) Tag: Visual edit
- diffhist m Unicode 15:05 −36 Annh07 talk contribs (Reverted edit by 2001:861:2824:A3B0:475:BC83:C90F:2019 (talk) to last version by 153.174.91.204) Tag: Rollback
- diffhist Unicode 15:03 +36 2001:861:2824:a3b0:475:bc83:c90f:2019 talk (→Origin and development) Tags: Reverted Mobile edit Mobile web edit
- diffhist Foundations of mathematics 14:50 −1,639 D.Lazard talk contribs (→Group theory: rm section: nothing in it is related to foundations)
- diffhist Lambda calculus 14:41 +156 Ancheta Wis talk contribs (clarify a sentence by restricting its scope to untyped lambda calculus)
- diffhist Foundations of mathematics 14:40 +1,766 D.Lazard talk contribs (→Real analysis: focusing on foundations.)
- diffhist m Foundations of mathematics 13:54 −2 Rich Smith talk contribs (v2.05 - Fix errors for CW project (Spelling and typography)) Tag: WPCleaner
- diffhist m Foundations of mathematics 13:42 −1 J. Lunau talk contribs (typo)
- diffhist Non-Euclidean geometry 13:07 +2 197.245.184.125 talk Tags: Reverted Visual edit
- diffhist 0 10:01 +35 RodRabelo7 talk contribs
- diffhist Information theory 09:03 +46 Limit-theorem talk contribs (→Other quantities: Added Tsallis) Tag: Visual edit
- diffhist First-order logic 08:17 −4 Yenwrite talk contribs Tags: Mobile edit Mobile web edit
- diffhist First-order logic 08:16 −14 Yenwrite talk contribs Tags: Mobile edit Mobile web edit
- diffhist m First-order logic 08:13 +19 ClueBot NG talk contribs (Reverting possible vandalism by Yenwrite to version by Jochen Burghardt. Report False Positive? Thanks, ClueBot NG. (4330167) (Bot)) Tag: Rollback
- diffhist First-order logic 08:12 −19 Yenwrite talk contribs Tags: Reverted Mobile edit Mobile web edit
- diffhist m HTML 07:18 +20 Alokhnathps talk contribs (Added some links) Tag: Visual edit
- diffhist Free variables and bound variables 02:46 +207 Silvermatsu talk contribs (→References: | Add: isbn, publisher, volume, date, title, jstor, authors 1-1. | Use this tool. Report bugs. | #UCB_Gadget)
- diffhist Free variables and bound variables 01:01 +20 Thiagovscoelho talk contribs (→See also)
10 June 2024
- diffhist De Morgan's laws 22:50 +38 Thiagovscoelho talk contribs (→See also)
- diffhist Logical disjunction 22:50 +38 Thiagovscoelho talk contribs (→See also)
- diffhist Logical conjunction 22:49 +38 Thiagovscoelho talk contribs (→See also)
- diffhist Boolean algebra 22:22 −21 Thiagovscoelho talk contribs (→Duality principle)
- diffhist New Foundations 20:12 +6,208 Mathnerd314159 talk contribs (deleting well-sourced sections is not an improvement. And making a subsection titled "NF" is illogical when the whole article is about NF. And the tagged consistency section is easily readable, I made a few minor edits but it was fine before.)
- diffhist Information theory 20:03 0 Availshrub talk contribs (→Miscellaneous applications: Increase sentence salience: when a list has three of one category and one of another category, moving the “odd one out” to the end increases salience.) Tags: Mobile edit Mobile web edit
- diffhist Computability theory 18:43 −68 BRLibertarian talk contribs (Notes using efn template.)
- diffhist m Computability theory 18:15 0 BRLibertarian talk contribs (→Notes)
- diffhist Foundations of mathematics 18:14 +2 50.38.92.43 talk (→Ancient Greece: Fixed typos) Tags: Mobile edit Mobile web edit
- diffhist New Foundations 16:59 −7,069 Thefringthing talk contribs (remove finite axiomatization section, rearrange definition section, general cleanup)
- diffhist m Computability theory 16:21 +4 BRLibertarian talk contribs (→Notes)
- diffhist Natural deduction 15:49 +22 Thiagovscoelho talk contribs Tag: Visual edit