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
6 June 2024
- diffhist Fuzzy set 18:20 +86 93.156.204.81 talk (As far as I get, I don't find "uniqueness condition" of fuzzy numbers in the reference #20, nor in any other reference.)
- diffhist Inaccessible cardinal 18:19 0 C7XWiki talk contribs (→Two model-theoretic characterisations of inaccessibility)
- diffhist Fuzzy set 18:14 −395 93.156.204.81 talk (As far as I get, I don't find "uniqueness condition" of fuzzy numbers in the reference #20, nor in any other reference.)
- diffhist m Lattice (order) 17:53 −11 Funktorial talk contribs (Removed incorrect information: a bounded lattice is not a commutative ring without distributivity, it is a commutative rig without distributivity.)
- diffhist m Turing machine 17:05 −2 Hooman Mallahzadeh talk contribs (→Additional details required to visualise or implement Turing machines)
- diffhist Class (set theory) 14:29 +2 Georgydunaev talk contribs (NBG is a conservative extension of ZFC, not just ZF, as it was written. In NBG, the global choice follows from the limitation of size axiom.) Tag: Visual edit
- diffhist Church–Turing thesis 14:28 +58 Spida-tarbell talk contribs (Added ISBN, publisher, edition, and pages (per inline request) to Hofstadter reference)
- diffhist Church–Turing thesis 14:13 +157 Spida-tarbell talk contribs (Updated reference for "Gödel on Turing on Computability" to add flagged missing date, use the more specific cite book template)
- diffhist Type theory 09:09 −5 213.24.133.237 talk (Removed strange out of place word "See" (typo?)) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Functor 07:27 +150 David Eppstein talk contribs (→External links: rescue missing link)
- diffhist Triangle 04:06 +22 IAmTheSpaghetti talk contribs (→Types of triangle) Tags: Mobile edit Mobile web edit
- diffhist Wikipedia:WikiProject Reliability 01:53 +13 Rowan hunter little plante talk contribs (→Participants)
- diffhist Wikipedia:WikiProject Reliability 01:50 +39 Rowan hunter little plante talk contribs (→Participants)
5 June 2024
- diffhist m List of set identities and relations 23:45 +18 Mgkrupa talk contribs (Clarification)
- diffhist List of set identities and relations 23:39 +381 Mgkrupa talk contribs (Mentioned distributivity)
- diffhist m List of set identities and relations 23:28 −2 Mgkrupa talk contribs (Fix)
- diffhist List of set identities and relations 23:27 +479 Mgkrupa talk contribs (Moved information into new section "Symmetric difference ∆ of finitely many sets")
- diffhist List of set identities and relations 23:26 −476 Mgkrupa talk contribs (→Distributivity and symmetric difference ∆: Moved information)
- diffhist List of set identities and relations 23:24 +44 Mgkrupa talk contribs (Moved information into new section "Symmetric difference ∆ of finitely many sets")
- diffhist List of set identities and relations 23:20 +476 Mgkrupa talk contribs (→Distributivity and symmetric difference ∆)
- diffhist List of set identities and relations 22:54 +84 Mgkrupa talk contribs (→Distributing arbitrary Π over arbitrary ⋃: Anchor)
- diffhist List of set identities and relations 22:52 −390 Mgkrupa talk contribs (Removed redundant text)
- diffhist List of set identities and relations 22:49 0 Mgkrupa talk contribs (Rearranged)
- diffhist List of set identities and relations 22:44 +1,692 Mgkrupa talk contribs (Mentioned distributivity)
- diffhist List of set identities and relations 22:20 +499 Mgkrupa talk contribs (→Other simplifications: Mentioned Symmetric Difference of multiple sets)
- diffhist List of set identities and relations 21:55 +1,117 Mgkrupa talk contribs (Mentioned distributivity)
- diffhist List of set identities and relations 21:39 +883 Mgkrupa talk contribs (→Binary ⨯ distributes over ⋃ and ⋂ and \ and ∆: Reworded)
- diffhist List of set identities and relations 21:29 +1,215 Mgkrupa talk contribs (→Cartesian products ⨯ of finitely many sets: Mentioned distributivity)
- diffhist m List of set identities and relations 21:04 0 Mgkrupa talk contribs (Fix)
- diffhist List of set identities and relations 21:03 +174 Mgkrupa talk contribs (→Unions ⋃ of Π: Reworded example)
- diffhist List of set identities and relations 20:50 +982 Mgkrupa talk contribs (→Unions ⋃ of Π: Added counter-example to equality)
- diffhist Ordinal analysis 20:33 +52 C7XWiki talk contribs (→Table of ordinal analyses)
- diffhist Ordinal analysis 20:32 +2 C7XWiki talk contribs (→Table of ordinal analyses)
- diffhist Ordinal analysis 20:31 +6 C7XWiki talk contribs (→Table of ordinal analyses)
- diffhist Ordinal analysis 20:30 +200 C7XWiki talk contribs (→Table of ordinal analyses: Sources)
- diffhist Ordinal analysis 20:22 +29 C7XWiki talk contribs
- diffhist Reverse mathematics 19:08 0 C7XWiki talk contribs (Fix)
- diffhist Reverse mathematics 19:04 +234 C7XWiki talk contribs (→Π11 comprehension Π11-CA0: Sources) Tags: Mobile edit Mobile web edit
- diffhist Function (mathematics) 18:28 −198 Pichpich talk contribs (Revert. Just follow this url: https://books.google.ca/books?id=x6cZBQ9qtgoC&pg=PA30) Tag: Manual revert
- diffhist Reverse mathematics 18:13 +50 C7XWiki talk contribs (→Arithmetical transfinite recursion ATR0: Sources) Tags: Mobile edit Mobile web edit
- diffhist Function (mathematics) 18:11 +198 Jochen Burghardt talk contribs (Undid revision 1227431107 by Pichpich (talk): couldn't access 1970 EN edition; my 1976 DE translation doesn't mention synonyms at all; the google link leads to a 1998 edition (and refuses to display its p.30); so I challenge "literally what the source says", for now) Tags: Undo Reverted
- diffhist Reverse mathematics 17:52 +52 C7XWiki talk contribs (→Arithmetical comprehension ACA0) Tags: Mobile edit Mobile web edit
- diffhist Function (mathematics) 17:45 −198 Pichpich talk contribs (remove cn tag. This is literally what the source says.) Tag: Reverted
- diffhist Substitution (logic) 17:43 +66 Jochen Burghardt talk contribs (→First-order logic: the restriction xi != ti indeed has to be stated (and is required by the cited authors), cf. talk; fix circumscription of "dom(sigma) disjoint to vars(ran(sigma))")
- diffhist Function (mathematics) 17:41 +258 Pichpich talk contribs (remove citation needed tag and add ref) Tag: ProveIt edit
- diffhist Substitution (logic) 17:27 +12 Jochen Burghardt talk contribs (Undid revision 1227260550 by Caleb Stanford (talk): "iff" is well-sourced (e.g. Baader.Snyder, p.446, line 6-7)) Tag: Undo
- diffhist Computable function 17:05 +121 Jochen Burghardt talk contribs (→Relation to recursively defined functions: fix typo; trying to fix imprecise sentences about the use of well-orderings)
- diffhist Foundations of mathematics 16:35 +6 D.Lazard talk contribs (→Ancient Greek mathematics: better heading and {{further}} targets)
- diffhist Axiom 15:23 +68 Oneequalsequalsone talk contribs (Undid revision 1227400384 by Remsense (talk) Added source)
- diffhist Foundations of mathematics 15:13 −200 D.Lazard talk contribs (→Middle Ages and Renaissance: Merging the two first paragraphs, and renaming the section, as it does not contains anything about foundations during Middle Ages.)
- diffhist Module:Authority control/config 14:35 +195 MSGJ talk contribs (+Australian Parliament, change format for EBIDAT, change group for TePapa)
- diffhist Axiom 14:08 −17 Remsense talk contribs (Reverting edit(s) by Oneequalsequalsone (talk) to rev. 1220274832 by Trovatore: No reliable source (UV 0.1.5)) Tags: Ultraviolet Undo
- diffhist Foundations of mathematics 13:42 −11 D.Lazard talk contribs (→Historical context: rename →History)
- diffhist Foundations of mathematics 13:41 −89 D.Lazard talk contribs (→Aristotelian realism: ditto)
- diffhist Foundations of mathematics 13:40 −2,779 D.Lazard talk contribs (→Platonism as a philosophy of mathematics: rm a section that is too weakly related to foundations)
- diffhist Foundations of mathematics 13:37 −10 D.Lazard talk contribs (Changing short description from "Study of the basic mathematical concepts" to "Basic framework of mathematics") Tag: Shortdesc helper
- diffhist Foundations of mathematics 13:34 −418 D.Lazard talk contribs (→top: rm the "wider meaning" that seems pure WP:OR)
- diffhist Axiom 12:42 +17 Oneequalsequalsone talk contribs (Add 'proper axioms' synonym) Tags: Reverted Visual edit
- diffhist Foundations of mathematics 09:44 +486 D.Lazard talk contribs (→Ancient Greek mathematics: clarification that Aristotle logic is not the axiomatic method)
- diffhist Foundations of mathematics 09:11 +6 D.Lazard talk contribs (→Ancient Greek mathematics: linking to an anchor + tweaks)
- diffhist Foundations of mathematics 09:03 +242 D.Lazard talk contribs (→Ancient Greek mathematics: more focus on foundations)
- diffhist Continuum hypothesis 05:53 +742 David Eppstein talk contribs (supply requested citation(s))
- diffhist Continuum hypothesis 05:48 +19 David Eppstein talk contribs (→Arguments for and against the continuum hypothesis: the actual quote from Freiling)
- diffhist Axiom of choice 00:36 −2 Bbbbbbbbba talk contribs (→Statements implying the negation of AC: Changed the section title again: These statements can *only* be true if ¬C is true (although some are equivalents), as they are negations of ZFC theorems.) Tags: Mobile edit Mobile web edit Advanced mobile edit
4 June 2024
- diffhist m Axiom of choice 20:45 0 AlsoWukai talk contribs (→Independence) Tag: Visual edit
- diffhist m Foundations of mathematics 19:28 +1 Arjayay talk contribs (Sp)
- diffhist Substitution (logic) 18:11 −12 Caleb Stanford talk contribs (→First-order logic: fix per talk page) Tags: Reverted 2017 wikitext editor
- diffhist Forcing (mathematics) 14:57 −6 47.236.83.15 talk (→Rigorous definitions)
- diffhist m Cantor's theorem 14:25 0 Oneequalsequalsone talk contribs (→Proof) Tag: Visual edit
- diffhist Abstract algebra 14:05 +57 D.Lazard talk contribs (→top: improving the last edit)
- diffhist Abstract algebra 13:12 +59 178.138.194.116 talk (structures generated by operations (within sets))
- diffhist Foundations of mathematics 11:41 −1 Ancheta Wis talk contribs (→Ancient Greek mathematics: spelling)
- diffhist Forcing (mathematics) 07:43 −27 Bbbbbbbbba talk contribs (→The countable chain condition: This proof is in fact a slight rephrase of the proof in Cohen's 2008 book, although Cohen's original paper gives an explicit enumeration of any antichain, and also it seems to me that a measure-based proof could work for Cohen forcing too if we regard a condition as a finite union of open intervals.)
- diffhist Axiom of choice 06:41 −5 147.185.46.229 talk (→Statements consistent with the negation of AC) Tag: Visual edit
- diffhist m Model theory 04:40 +134 Cedar101 talk contribs (→Categoricity: {{mvar}})
- diffhist m Model theory 04:34 −44 Cedar101 talk contribs (→ω-categoricity: {{mvar}} {{mathbb}})
- diffhist m Model theory 04:30 −6 Cedar101 talk contribs (→Ultraproducts: {{mvar}})
- diffhist m Model theory 04:28 +10 Cedar101 talk contribs (→Ultraproducts: {{mvar}}, {{mathcal}})
- diffhist m Finite model theory 02:27 +40 Cedar101 talk contribs (→Database theory: {{sxhl|2=sql|}})
- diffhist m Finite model theory 02:26 +26 Cedar101 talk contribs (→Database theory: <math>)
- diffhist m Finite model theory 02:23 +27 Cedar101 talk contribs (→Example: − {{math}}, <math>)
- diffhist m Finite model theory 02:18 −66 Cedar101 talk contribs (→Characterisation of a class of structures: {{olist}})
- diffhist Church–Turing thesis 01:51 +9 Altenmann talk contribs
- diffhist Finite-valued logic 00:57 −1 2601:603:5301:1710:fdde:f9ea:61a:46c talk (Removed single floating parenthesis) Tag: Visual edit
3 June 2024
- diffhist m Tetrahedron 19:27 +3 SimLibrarian talk contribs (Updated short description #article-change-desc) Tags: Mobile edit Mobile app edit iOS app edit
- diffhist m Boolean algebra 18:46 +1,111 Sepitropova talk contribs (Edited 'Basic operations' introduction, added the source used, and removed the table 'Logical connectives' as Boolean variables A and B were not defined.) Tag: Visual edit
- diffhist Set (mathematics) 17:59 +330 Pichpich talk contribs (remove citation needed tag and add ref) Tag: ProveIt edit
- diffhist Foundations of mathematics 14:14 +325 D.Lazard talk contribs (→Ancient Greek mathematics: more focus on the foundations)
- diffhist Foundations of mathematics 13:31 −8 D.Lazard talk contribs (→Ancient Greek mathematics: direct link is convenient)
- diffhist New Foundations 07:20 +7 Bbbbbbbbba talk contribs (→Cantor's paradox and Cantorian sets: Now that the consistency of NF is established, it's probably time to change this statement.)
- diffhist Axiom of choice 07:07 +1,117 Bbbbbbbbba talk contribs (→Independence: Added the early results of Fraenkel and Mostowski to give a more intuitive picture of how the axiom of choice could fail at all.)
- diffhist Axiom of choice 06:30 +220 Bbbbbbbbba talk contribs (→References: Realized (after some further searching) that I added the wrong reference for the technique (permutation model) I wanted to talk about.)
- diffhist Philosophy of mathematics 05:06 −2 2a02:8428:61ed:9301:f13:2d16:8f5b:ca9d talk (→Relationship with physical reality)
- diffhist Axiom of choice 03:00 +322 Bbbbbbbbba talk contribs (→References: Added a reference to Mostowski's 1939 paper.)
2 June 2024
- diffhist m Mathematics 23:10 +138 Tpbradbury talk contribs (Filled in 2 bare reference(s) with reFill 2)
- diffhist Computable function 23:00 +270 David Eppstein talk contribs (→Relation to recursively defined functions: cite Ackermann non-prim-rec)
- diffhist Computable function 22:58 −634 David Eppstein talk contribs (→Relation to recursively defined functions: rewrite to avoid vague "some computable functions have no recursive definition" waffle, obviously false if one allows a recursive definition of the form "return the value obtained from running the Turing machine state obtained by applying this formula to make one more step in the current TM state")
- diffhist Fuzzy set 22:42 +8 Fgnievinski talk contribs (→top) Tags: Mobile edit Mobile app edit Android app edit
- diffhist m Mathematics 22:34 −1 Tpbradbury talk contribs (→Artistic expression: rm break)
- diffhist Mathematics 22:33 −50 Tpbradbury talk contribs (→Cultural impact: it talks about humans and other animals finding symmetry beautiful which isn't western, neither are butterflies or the sea, or popular maths)
- diffhist Mathematics 22:30 +106 Tpbradbury talk contribs (→Artistic expression: add requested citation)
- diffhist m Mathematics 22:12 +22 Tpbradbury talk contribs (→Medieval and later: add uprights)
- diffhist m Mathematics 22:11 +291 Tpbradbury talk contribs (Filled in 3 bare reference(s) with reFill 2)
- diffhist Mathematics 21:59 +630 Tpbradbury talk contribs (→Social sciences: add requested citations)
- diffhist Mathematics 21:35 −913 Tpbradbury talk contribs (→Social sciences: replace source per tag request)
- diffhist Reverse mathematics 17:09 −85 2603:6080:76f0:8740:7507:bce7:2b15:c1be talk (→External links: Removed dead link to H. Friedman site, updated link to S. Simpson site)
- diffhist Sphere 16:49 −30 Jacobolus talk contribs (→Clelia curves: Seiffert's spiral is not a Clelia curve)
- diffhist Sphere 16:47 +79 Jacobolus talk contribs (→Clelia curves)
- diffhist m Sphere 16:46 +33 Jacobolus talk contribs (→Clelia curves)
- diffhist Sphere 16:44 +54 Jacobolus talk contribs (→Curves on a sphere {{anchor|Curves}}: clean up loxodrome and Clelia curve sections)
- diffhist Group (mathematics) 16:11 +9 Quondum talk contribs (→Lie groups: it is primarily analysis that is that is simplified)
- diffhist Model theory 09:42 +32 Theodore.norvell talk contribs (→Basic model-theoretic concepts) Tags: Mobile edit Mobile web edit
- diffhist Foundations of mathematics 09:07 −8 D.Lazard talk contribs (→Group theory: "various" is too restrictive)
- diffhist Mathematics 08:57 −418 Isaidnoway talk contribs (clean up pages with duplicate reference names, ref only needs to be defined one time)
- diffhist Foundations of mathematics 08:55 +60 D.Lazard talk contribs (→Ancient Greek mathematics: +)
- diffhist Combination 07:03 −722 David Eppstein talk contribs (→Enumerating k-combinations: remove unreliably sourced bad enumeration method and copyedit the remaining method)
- diffhist Combination 06:53 −43 David Eppstein talk contribs (→Number of k-combinations: rm unsourced and unnecessary member of example farm)
- diffhist Sphere 06:44 +28 Jn.mdel talk contribs Tag: 2017 wikitext editor
- diffhist Sphere 06:38 +81 Jn.mdel talk contribs (Added more information for Clelia curve from {{slink|Clelia Grillo Borromeo#Clelia curves}}) Tag: Visual edit
- diffhist Class (set theory) 06:33 −90 David Eppstein talk contribs (→Paradoxes: rm off-topic aside)
- diffhist Class (set theory) 06:30 +371 David Eppstein talk contribs (add a ref from our conglomerate article)
- diffhist Sphere 06:20 +149 Jn.mdel talk contribs (Undid revision 1226108986 by Jacobolus - Undid as per agreed conclusion on Talk Page: Sphere) Tag: Undo
- diffhist Construction of the real numbers 05:04 +172 David Eppstein talk contribs (→Construction using hyperreal numbers: supply requested citation; rm redundant deadlink; rm asides; format math)
- diffhist m Model theory 01:13 +2 Mbivert talk contribs (I'm almost certain that we're missing our ordering relation in the signature here)
1 June 2024
- diffhist Mathematics 23:28 −5,790 Remsense talk contribs (restoring additions to the body)
- diffhist Mathematics 23:20 +10,194 Remsense talk contribs (Reverting edit(s) by 48JCL (talk) to rev. 1224698265 by Villaida: Reverting good faith edits: apologies, but this does not amount to an improvement. while attempting to be concise, the prose has been clipped such that it is ambiguous, jagged, awkward, and at some points ungrammatical. i recommend suggestions on the talk page where the length of some statements are preserved (UV 0.1.5)) Tags: Ultraviolet Undo
- diffhist m Continuum hypothesis 22:21 +19 Michael Kinyon talk contribs (→Arguments for and against the continuum hypothesis: Citation needed of those who disagree with Freiling)
- diffhist Mathematics 22:05 −1,699 48JCL talk contribs (→Computational mathematics) Tags: Reverted Visual edit: Switched
- diffhist Mathematics 21:56 −1,739 48JCL talk contribs (→Algebra) Tags: Reverted Visual edit: Switched
- diffhist Mathematics 21:47 −383 48JCL talk contribs Tags: Reverted Visual edit
- diffhist Mathematics 21:43 +42 48JCL talk contribs (Added pronounciation) Tags: Reverted Visual edit
- diffhist Mathematics 21:35 −3,928 48JCL talk contribs (Why refs in lead? Time to rewrite the lead) Tags: Reverted Visual edit
- diffhist Mathematics 21:34 +285 48JCL talk contribs Tags: Reverted Visual edit
- diffhist Mathematics 21:32 +6,110 48JCL talk contribs (Undid revision 1226794433 by 48JCL (talk)) Tags: Undo Reverted
- diffhist Mathematics 21:30 −6,110 48JCL talk contribs Tags: Reverted Visual edit
- diffhist m Mathematics 21:18 +1 48JCL talk contribs (→Relationship with astrology and esotericism: c0-yed9t) Tags: Reverted Visual edit
- diffhist Mathematics 21:18 +10 48JCL talk contribs (→Relationship with astrology and esotericism) Tags: Reverted Visual edit
- diffhist Mathematics 21:16 +2 48JCL talk contribs (→Biology and chemistry: Copyedit) Tags: Reverted Visual edit
- diffhist Mathematics 21:15 −620 48JCL talk contribs (→Specific sciences: more cleanup) Tags: Reverted Visual edit
- diffhist Mathematics 21:07 −2,165 48JCL talk contribs (Cleanup of section) Tags: Reverted Visual edit
- diffhist Constructive set theory 17:22 +25 91.112.18.90 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 17:14 +10 91.112.18.90 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 17:13 +27 91.112.18.90 talk (→The class of all subsets of a set)
- diffhist Aleph number 14:35 +1,319 Bugghost talk contribs (Restored revision 1222104525 by 2601:204:F181:9410:D032:F4C7:286F:420F (talk): Vandalism) Tags: Twinkle Undo
- diffhist Aleph number 14:32 +15 73.123.111.69 talk (→See also) Tag: Reverted
- diffhist Aleph number 14:32 −1,512 73.123.111.69 talk (→Aleph-omega) Tag: Reverted
- diffhist Aleph number 14:29 +13 73.123.111.69 talk (→Aleph-α for general α) Tag: Reverted
- diffhist Aleph number 14:28 +53 73.123.111.69 talk (→Continuum hypothesis) Tag: Reverted
- diffhist Aleph number 14:27 +53 73.123.111.69 talk (→See also) Tag: Reverted
- diffhist Aleph number 14:26 +59 73.123.111.69 talk (→Fixed points of omega) Tag: Reverted
- diffhist Foundations of mathematics 14:00 +182 D.Lazard talk contribs (→Formalism: tagging the first sentence, and fixing the interpretation of Hilbert quotations)
- diffhist Foundations of mathematics 13:41 −67 D.Lazard talk contribs (→Foundational crisis: rm unexplained translation in German)
- diffhist Foundations of mathematics 13:40 +29 D.Lazard talk contribs (→Foundational crisis: see User talk:D.Lazard#Foundational crisis)
- diffhist m Injective function 13:11 +25 Starlighsky talk contribs Tag: Visual edit
- diffhist Foundations of mathematics 10:43 −841 D.Lazard talk contribs (→top: rm paragraphs consisting of opinions and analysis that do not belong here, and rewriting the remainder of the lead)
- diffhist m Wikipedia:WikiProject Reliability 09:28 +45 SunTunnels talk contribs (→Participants: Adding self to project member list)
- diffhist Tautology (logic) 09:13 −242 Oneequalsequalsone talk contribs (rm reference to self) Tag: Visual edit
- diffhist Singleton (mathematics) 05:27 −191 Roffaduft talk contribs (Undid revision 1225959537 by Georgydunaev (talk) See Talk section) Tag: Undo
- diffhist Class (set theory) 05:06 +552 C7XWiki talk contribs (→Classes in formal set theories)
- diffhist m Non-Euclidean geometry 04:37 −28 WinstonWolfie talk contribs (→Background: Wikify)
- diffhist m Construction of the real numbers 04:27 −24 Joyous! talk contribs (Reverted 1 edit by Meirahana (talk) to last revision by AnomieBOT) Tags: Twinkle Undo
- diffhist m Construction of the real numbers 04:04 +24 Meirahana talk contribs (→Construction using hyperreal numbers) Tag: Reverted
- diffhist Continuum hypothesis 01:12 +2 Turkeyphant talk contribs (→Generalized continuum hypothesis: Fix error) Tags: Mobile edit Mobile web edit
31 May 2024
- diffhist Halting problem 22:25 +453 Mathnerd314159 talk contribs (→Approximations: add plain English explanations)
- diffhist Halting problem 21:57 +192 Mathnerd314159 talk contribs (revise again - it is really the problem that is significant, the proof is incidental. and the proof was unclear)
- diffhist Peano axioms 20:35 +74 2601:204:f181:9410:d914:2e17:825f:8dd4 talk (clarified wording in caption to illustration)
- diffhist Ordinal analysis 20:24 +111 C7XWiki talk contribs (Add link to source →Table of ordinal analyses)
- diffhist Ordinal analysis 20:22 +559 C7XWiki talk contribs (→Table of ordinal analyses) Tags: Mobile edit Mobile web edit
- diffhist m Foundations of mathematics 19:51 −4 Arjayay talk contribs (Duplicate word removed)
- diffhist Constructive set theory 17:17 +66 178.165.170.6 talk (→Infinitude: Link to Necessary and sufficient conditions for finiteness)
- diffhist Constructive set theory 17:03 +85 178.165.170.6 talk (→Infinitude)
- diffhist Logical disjunction 16:57 +4 Macrakis talk contribs (deitalicize in Redirect for clarity) Tag: 2017 wikitext editor
- diffhist Logical disjunction 16:56 −27 Macrakis talk contribs (clearer hatnote) Tag: Visual edit
- diffhist m Term logic 16:42 −32 A68-n talk contribs Tag: Visual edit
- diffhist Logical disjunction 16:40 0 Marcin Rychlewicz talk contribs Tags: Visual edit Mobile edit Mobile web edit
- diffhist m Turing machine 16:11 +4 Hooman Mallahzadeh talk contribs (→Description)
- diffhist Halting problem 15:54 +25 ClassA42 talk contribs (Corrected the incorrect claim about the impact of the proof on "practical computing". Please see the "Talk" page at " Misleading sentence?!".)
- diffhist m Injective function 14:07 0 Oneequalsequalsone talk contribs (→Injections may be made invertible) Tag: Visual edit
- diffhist Foundations of mathematics 13:56 +311 D.Lazard talk contribs (→top: Fixing the two first paragraphs in a way that can be accepted by mathematicians)
- diffhist m Pentagon 13:44 −67 ClueBot NG talk contribs (Reverting possible vandalism by TheLegendaryGreg to version by David Eppstein. Report False Positive? Thanks, ClueBot NG. (4327713) (Bot)) Tag: Rollback
- diffhist Pentagon 13:43 +67 TheLegendaryGreg talk contribs Tag: Reverted
- diffhist Schröder–Bernstein theorem 12:47 −67 Oneequalsequalsone talk contribs (→Proof: removing reference to removed section and {{Clear}} template) Tag: 2017 wikitext editor
- diffhist m Vector space 11:46 −1 Gra2000 talk contribs (Fixed weird spacing, wrong "," used.)
- diffhist Functor 08:07 +34 Klbrain talk contribs (→See also: Adding subtypes)
- diffhist Tesseract 00:55 −1 David Eppstein talk contribs (→In popular culture: later?)
- diffhist m Euclid's Elements 00:54 +8 Kaasterly talk contribs (Standardization: "Arabic translation of Elementa" to "Arabic translation of the Elements".) Tag: 2017 wikitext editor
- diffhist Tesseract 00:54 −107 David Eppstein talk contribs (Undid revision 1226494832 by CosmoCreeper249 (talk) junky excuse to add junk unsourced trivia that the source comments already explicitly say not to add) Tag: Undo
- diffhist Tesseract 00:22 +107 CosmoCreeper249 talk contribs (Added a what you might know it from section.) Tags: Reverted Visual edit
30 May 2024
- diffhist Logic 21:54 +37 Biogeographist talk contribs (Undid revision 1226477025 by 2607:FEA8:C2DF:D400:15A5:AFB:B059:C31D (talk): I don't see how the word "something" helps avoid confusion, but perhaps a couple of wikilinks will aid the easily confused?)
- diffhist Logic 21:40 +12 2607:fea8:c2df:d400:15a5:afb:b059:c31d talk (Avoided confusion.) Tags: Mobile edit Mobile web edit
- diffhist Logical truth 21:05 −429 184.18.5.36 talk (→Logical truth and logical positivism: No citation) Tags: Mobile edit Mobile web edit
- diffhist Transfer principle 20:48 −76 Wizmut talk contribs (shorten short description)