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 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
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 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 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 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 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
- diffhist Propositional calculus 15:04 +3,032 Thiagovscoelho talk contribs (Added alternative semantics notation) Tag: Visual edit
- diffhist m Computability theory 15:03 −11 BRLibertarian talk contribs (→Turing computability)
- diffhist m Computability theory 14:58 0 BRLibertarian talk contribs (→Introduction)
- diffhist Computability theory 14:51 +5 BRLibertarian talk contribs (Undid revision 1228309603 by BRLibertarian (talk)) Tag: Undo
- diffhist m Computability theory 14:50 −5 BRLibertarian talk contribs (→Notes) Tag: Reverted
- diffhist Computability theory 14:45 −1 BRLibertarian talk contribs (Recursive mathematics study moved to the intro.)
- diffhist Computability theory 14:35 −231 BRLibertarian talk contribs (Added notes.)
- diffhist Foundations of mathematics 14:34 −87 D.Lazard talk contribs (Less heading levels)
- diffhist Foundations of mathematics 14:27 +1,181 D.Lazard talk contribs (→top: improvements (IMHO))