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
4 April 2025
- diffhist Arithmetic 18:49 +2 MrSwedishMeatballs talk contribs (→Axiomatic foundations) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Function (mathematics) 14:35 +69 MrOllie talk contribs (Restored revision 1282915289 by Remsense (talk): A distinction without a difference) Tags: Twinkle Undo
- diffhist Function (mathematics) 14:31 −69 Jeese Bloom talk contribs (it is ridiculous.if the position of a planet is value x and the time is value t,then there exits a function f which satisfies the equation x=f(t).So it is obivious that the position of planet is not a function of time.it is functionally related to time instead.) Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist Semantics 14:17 +258 AnExtraEditor talk contribs (→See also) Tag: Visual edit
- diffhist Function pointer 13:15 +442 Peter Flass talk contribs (→See also: PL/I - will add reference “soon”)
- diffhist Raymond Smullyan 13:11 −1,202 Marc Schroeder talk contribs
- diffhist m Raymond Smullyan 11:44 +2,396 Marc Schroeder talk contribs (→Bibliography: brought the references into template:cite... format, and expanded the reference of ''First-Order Logic''; no references added)
- Import log 11:13 Graham87 talk contribs imported Procedural programming by file upload (1 revision) (import old edit from nost:Procedural programming)
- diffhist m Theorem 00:49 −1 Steel1943 talk contribs (→Terminology: fix common MOS:REFSPACE spacing errors, replaced: {{efn → {{efn) Tag: AWB
3 April 2025
- diffhist Axiom of choice 23:23 −3 JRSpriggs talk contribs (Undid revision 1283789565 by 152.42.105.51 (talk) wrong. the point is that AxCh does not give a constructive way to choose.) Tag: Undo
- diffhist m Raymond Smullyan 22:42 +35 Marc Schroeder talk contribs (→External links)
- diffhist m Raymond Smullyan 22:22 −11 Marc Schroeder talk contribs (→External links)
- diffhist m Gödel's incompleteness theorems 20:27 +24 DKMell talk contribs (added a space to make the ' legible) Tag: Visual edit
- diffhist m Pragmatics 18:55 −1 Thelinguist2024 talk contribs (→Referential uses of language)
- diffhist Cantor's diagonal argument 18:48 +26 Trovatore talk contribs (→See also: I think it's reasonable to add CH here)
- diffhist Cantor's diagonal argument 18:30 −487 Trovatore talk contribs (→Open questions: that said, this section doesn't really relate to the diagonal argument)
- diffhist Cantor's diagonal argument 18:29 −10 Trovatore talk contribs (Undid revision 1283793707 by Sheddow (talk) it is in fact an open question) Tag: Undo
- diffhist Cantor's diagonal argument 18:13 +10 Sheddow talk contribs (→Open questions: The continuum hypothesis is not really an open question, I think this header makes more sense) Tag: Reverted
- diffhist Axiom of choice 17:46 +3 152.42.105.51 talk (→Criticism and acceptance) Tag: Reverted
- diffhist Recursive definition 17:12 +3 TypoEater talk contribs (Partial re-do of reverted edit (discussed with user who made the revert))
- diffhist Philosophy of mathematics 16:41 +353 D.Lazard talk contribs (→Contemporary schools of thought: expand section)
- diffhist Philosophy of mathematics 15:22 0 D.Lazard talk contribs (→Logic and rigor: typo)
- diffhist Naive set theory 15:17 0 Remsense talk contribs (idiomatic form (By FindAndReplace))
- diffhist Philosophy of mathematics 15:17 0 Remsense talk contribs (idiomatic form (By FindAndReplace))
- diffhist Foundations of mathematics 15:17 0 Remsense talk contribs (idiomatic form (By FindAndReplace))
- diffhist Boolean algebra 15:17 0 Remsense talk contribs (idiomatic form (By FindAndReplace))
- diffhist Philosophy of mathematics 15:14 −4 Remsense talk contribs (no need to stack quotation marks and italics)
- diffhist First-order logic 15:12 −9 Remsense talk contribs (idiomatic)
- diffhist First-order logic 15:12 +10 Remsense talk contribs
- diffhist Rule of inference 11:54 +1 Phlsph7 talk contribs (adjust lead image: less height)
- diffhist Rule of inference 11:46 +287 Phlsph7 talk contribs (→Propositional logic: expand table per GA suggestion)
- diffhist Rule of inference 11:32 +93 Phlsph7 talk contribs (→Propositional logic: expand list per GA suggestion)
- diffhist m Python (programming language) 09:24 +328 Eugene.Evstafev talk contribs (Added mention of Jupyter Notebooks as a web-based IDE with wikilink.)
- diffhist Recursive definition 08:22 −10 CiaPan talk contribs (Undid revision 1283275940 by TypoEater (talk) – no consistency is necessary or even useful here) Tag: Undo
- diffhist European Mathematical Society 07:59 +4 Enricoschlitzer talk contribs (→Prizes)
- diffhist European Mathematical Society 07:58 +880 Enricoschlitzer talk contribs (→Prizes)
- diffhist European Mathematical Society 07:49 −18 Enricoschlitzer talk contribs
- diffhist European Mathematical Society 07:48 +4 Enricoschlitzer talk contribs
- diffhist m Image (mathematics) 06:51 −1 Mps7 talk contribs (→Image of a subset)
- diffhist m Zermelo–Fraenkel set theory 03:38 +2 Remsense talk contribs (Paragraph edited #MiniEdit)
- diffhist m Zermelo–Fraenkel set theory 03:38 0 Remsense talk contribs (Paragraph edited #MiniEdit)
- diffhist m Zermelo–Fraenkel set theory 03:38 +2 Remsense talk contribs (Paragraph edited #MiniEdit)
- diffhist Peano axioms 03:13 +578 Ost316 talk contribs (Rescuing 3 sources and tagging 0 as dead.) #IABot (v2.0.9.5) Tag: IABotManagementConsole [1.3]
- diffhist Dana Scott 03:06 +16 ExoLogic talk contribs (clarify "Hillman University Professor" title)
- diffhist Axiom 01:46 +7 Cyrobyte talk contribs (Undid revision 1283685864 by 35.141.48.144 (talk)) Tag: Undo
- diffhist Axiom 01:45 −7 35.141.48.144 talk (→Propositional logic) Tag: Reverted
- diffhist m Python (programming language) 00:19 −133 Elijhagordon talk contribs (Cleaned up sentence structure)
- diffhist Python (programming language) 00:11 −69 Elijhagordon talk contribs (Removed redundant intro phrase.)
2 April 2025
- diffhist m Term logic 23:00 −10 Paradoctor talk contribs (→Aristotle's system: MOS:NOPIPE)
- diffhist Peano axioms 22:00 +56 Indivicivet talk contribs (clarify misleading wording in the without-axiom-9 domino example)