Related changes

4 April 2025

• 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 Abraham Fraenkel 11:46 +251 NebY talk contribs (→Biography: name change - source not ideal, but the name change is worthy of mention, esp. as early publications and mentions use the old name) Tag: 2017 wikitext editor
• 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 Gödel's incompleteness theorems 20:27 +24 DKMell talk contribs (added a space to make the ' legible) Tag: Visual edit
• 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 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 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 Kurt Gödel 02:54 −35 Remsense talk contribs (restore but without all the other problems)
• diffhist Kurt Gödel 02:53 +71 Cerebrality talk contribs (Undid revision 1283670993 by Remsense (talk): restored per talk page) Tag: Undo
• 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

2 April 2025

• diffhist Kurt Gödel 23:23 −71 Remsense talk contribs (Undid revision 1283670818 by Cerebrality (talk): per previous reversion, WP:GEOLINK etc.) Tags: Undo Reverted
• diffhist Kurt Gödel 23:21 +71 Cerebrality talk contribs (Undid revision 1283542450 by Nikkimaria (talk) see talk page) Tags: Undo Reverted
• diffhist Antisymmetric relation 23:03 +99 JayBeeEll talk contribs (Undid revision 1283650751 by Inactive Tim (talk) it depicts both) Tag: Undo
• 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)
• diffhist m Term logic 21:56 +14 Oneequalsequalsone talk contribs (→Aristotle's system) Tag: Visual edit
• diffhist Antisymmetric relation 20:47 −99 Inactive Tim talk contribs (→Properties: Remove image, depicts not-symmetric, rather than anti-symmetric relation) Tag: Reverted
• diffhist Ampersand 20:05 +96 Spitzak talk contribs (→Web standards)
• diffhist Ampersand 20:01 −200 Spitzak talk contribs (→Encoding and display)
• diffhist Ampersand 19:45 +2 142.105.227.154 talk (A bigger list) Tags: Mobile edit Mobile web edit
• diffhist Willard Van Orman Quine 18:39 +3 74.101.228.225 talk (→Confirmation holism and ontological relativity: punctuation)
• diffhist Willard Van Orman Quine 18:34 +1 74.101.228.225 talk (→Rejection of the analytic–synthetic distinction: punctuation and s-v agreement)
• diffhist Willard Van Orman Quine 18:30 0 74.101.228.225 talk (→Work: punctuation)
• diffhist Willard Van Orman Quine 18:11 0 74.101.228.225 talk (→Education: punctuation)
• diffhist Willard Van Orman Quine 18:07 0 74.101.228.225 talk (punctuation)
• diffhist m Substitution (logic) 17:50 −5 Arjayay talk contribs (Duplicate word removed)
• diffhist Axiom of determinacy 15:59 +1 Brian Ellingsgaard talk contribs (→Types of games that are determined: Fixed typo) Tags: Mobile edit Mobile web edit
• diffhist Paul Cohen 13:35 +27 Ramanujaner talk contribs (Added bio picture) Tag: Visual edit