User contributions for CBM
A user with 55,390 edits. Account created on 19 March 2006.
9 July 2018
- 22:0722:07, 9 July 2018 diff hist −57 Imaginary unit Some math cleanup
- 22:0122:01, 9 July 2018 diff hist −12 m Lorentz factor →Alternative representations: math cleanup
- 22:0022:00, 9 July 2018 diff hist −295 m Lorentz factor math cleanup
- 21:4921:49, 9 July 2018 diff hist −22 m K–Ar dating c/e
- 21:0221:02, 9 July 2018 diff hist +1 m 0.999... Harvard citations should refer to authors as people
- 20:5820:58, 9 July 2018 diff hist −44 0.999... Minus/mdash and other cleanup
- 20:4720:47, 9 July 2018 diff hist +962 Wikipedia talk:Manual of Style/Mathematics →Italic Greek capitals: c
6 July 2018
- 19:2119:21, 6 July 2018 diff hist −1 m 0.999... Please don't "clean up" - entities are perfectly acceptable.
- 13:3813:38, 6 July 2018 diff hist −511 Intuitionism →Intuitionism and infinity: Remove the entire paragraph. There is also *classical* finitism, after all.
4 July 2018
- 17:0717:07, 4 July 2018 diff hist +700 Wikipedia talk:Citing sources →RfC: Remove the bullet point that starts "adding citation templates...": r
- 17:0317:03, 4 July 2018 diff hist +632 Wikipedia talk:Citing sources →RfC: Remove the bullet point that starts "adding citation templates...": r
- 16:5916:59, 4 July 2018 diff hist +563 Wikipedia talk:Citing sources →RfC: Remove the bullet point that starts "adding citation templates...": @PBS
- 16:1116:11, 4 July 2018 diff hist +619 User talk:Redrose64 →Blank lines in talk pages: c
- 15:0315:03, 4 July 2018 diff hist +170 Wikipedia talk:Citing sources →RfC: Remove the bullet point that starts "adding citation templates...": c
- 15:0215:02, 4 July 2018 diff hist +408 Wikipedia talk:Citing sources →RfC: Remove the bullet point that starts "adding citation templates...": c
- 12:3712:37, 4 July 2018 diff hist −791 m Erdős–Bacon number Rm trivia
3 July 2018
- 22:4822:48, 3 July 2018 diff hist +369 User talk:Redrose64 →Blank lines in talk pages: c
- 22:0522:05, 3 July 2018 diff hist +62 User talk:Redrose64 →Blank lines in talk pages: c
- 22:0322:03, 3 July 2018 diff hist +352 User talk:Redrose64 →Blank lines in talk pages: c
- 22:0122:01, 3 July 2018 diff hist +202 User:CBM/sandbox Edit current
- 22:0022:00, 3 July 2018 diff hist +205 User:CBM/sandbox Edit
- 21:5721:57, 3 July 2018 diff hist +2 User talk:Redrose64 →Blank lines in talk pages: indent
- 21:5721:57, 3 July 2018 diff hist +713 User talk:Redrose64 →Blank lines in talk pages: c, question
- 21:5621:56, 3 July 2018 diff hist +322 User:CBM/sandbox Edit
- 21:5521:55, 3 July 2018 diff hist −579 User:CBM/sandbox Edit
- 21:4921:49, 3 July 2018 diff hist −2 User:CBM/sandbox Edit
- 21:4821:48, 3 July 2018 diff hist +123 User:CBM/sandbox Edit
- 21:4821:48, 3 July 2018 diff hist +119 User:CBM/sandbox Edit
- 21:4621:46, 3 July 2018 diff hist +109 User:CBM/sandbox Edit
- 21:4421:44, 3 July 2018 diff hist −40 User:CBM/sandbox Edit
- 21:4221:42, 3 July 2018 diff hist −3 User:CBM/sandbox Edit
- 21:4121:41, 3 July 2018 diff hist +64 User:CBM/sandbox Edit
- 21:3921:39, 3 July 2018 diff hist −99 User:CBM/sandbox Edit
- 21:3021:30, 3 July 2018 diff hist +550 Wikipedia talk:Manual of Style/Accessibility →Indentgap: c
- 20:4520:45, 3 July 2018 diff hist +418 Wikipedia talk:Manual of Style/Accessibility →Indentgap: c
- 20:4320:43, 3 July 2018 diff hist +424 User talk:Redrose64 →Blank lines in talk pages: c
- 12:3212:32, 3 July 2018 diff hist +305 Wikipedia talk:Manual of Style/Mathematics →Back to the technical matters: c
- 12:2912:29, 3 July 2018 diff hist +339 Wikipedia talk:Manual of Style/Mathematics →Back to the technical matters: c
2 July 2018
- 16:3516:35, 2 July 2018 diff hist +392 Wikipedia talk:Manual of Style/Mathematics →Back to the technical matters: refs
- 16:2916:29, 2 July 2018 diff hist 0 Wikipedia talk:Manual of Style/Mathematics c/e
- 16:0016:00, 2 July 2018 diff hist +1 Wikipedia talk:Manual of Style/Mathematics c/e
- 15:5815:58, 2 July 2018 diff hist +885 Wikipedia talk:Manual of Style/Mathematics →Back to the technical matters: c
- 15:4715:47, 2 July 2018 diff hist +812 Wikipedia talk:Manual of Style/Mathematics →Back to the technical matters: c
- 15:4015:40, 2 July 2018 diff hist −40 Glossary of mathematical jargon →Descriptive informalities: c/e
- 15:3915:39, 2 July 2018 diff hist +42 Glossary of mathematical jargon →Descriptive informalities: c/e
- 15:3715:37, 2 July 2018 diff hist +260 Talk:Glossary of mathematical jargon →frequently: c
- 15:1415:14, 2 July 2018 diff hist +219 Wikipedia talk:Manual of Style/Mathematics →Back to the technical matters: c
- 15:1115:11, 2 July 2018 diff hist +549 Wikipedia talk:Manual of Style/Mathematics →Back to the technical matters: c
- 13:2713:27, 2 July 2018 diff hist −752 m Material conditional Doesn't need an infobox, thanks.
- 13:2113:21, 2 July 2018 diff hist +650 Wikipedia talk:Manual of Style/Mathematics →Back to the technical matters: c
- 13:1813:18, 2 July 2018 diff hist +470 Wikipedia talk:Manual of Style/Mathematics →Indenting, again: c
1 July 2018
- 18:0818:08, 1 July 2018 diff hist +187 Wikipedia talk:WikiProject Mathematics →MR/Project Euclid bot?: c
28 June 2018
- 13:1313:13, 28 June 2018 diff hist +882 Wikipedia:Arbitration/Requests/Clarification and Amendment →Statement by {other-editor}: c
- 12:5712:57, 28 June 2018 diff hist +343 Wikipedia talk:Manual of Style/Mathematics →Indenting, again: c
27 June 2018
- 21:0821:08, 27 June 2018 diff hist −21 Decider (Turing machine) →Relationship to partial Turing machines: c/e
- 21:0621:06, 27 June 2018 diff hist −32 m Hostage chess c/e
25 June 2018
- 03:3403:34, 25 June 2018 diff hist −49 Measure (mathematics) →External links: doesn't seem useful
24 June 2018
- 03:4203:42, 24 June 2018 diff hist −18 Theory (mathematical logic) →Further reading: rm box
- 03:4003:40, 24 June 2018 diff hist −1,212 Axiom of union copyedit, tone
- 03:3103:31, 24 June 2018 diff hist −321 Set (mathematics) →External links: nothing here seems especially useful
23 June 2018
- 21:4221:42, 23 June 2018 diff hist +376 Wikipedia talk:Citing sources →arbitrary break: c
- 20:5720:57, 23 June 2018 diff hist +133 Wikipedia talk:Citing sources →arbitrary break: c
- 20:5620:56, 23 June 2018 diff hist +567 Wikipedia talk:Citing sources →arbitrary break: c
- 20:1520:15, 23 June 2018 diff hist +2 m Generalized Stokes theorem Reverted edits by 2601:541:4500:1760:F58F:BD65:2B79:CAD2 (talk) to last version by Alsosaid1987 Tag: Rollback
- 20:1420:14, 23 June 2018 diff hist +1,109 Wikipedia talk:Citing sources →arbitrary break: c
- 18:5118:51, 23 June 2018 diff hist +1,050 Wikipedia talk:Citing sources →arbitrary break: c
- 18:4618:46, 23 June 2018 diff hist +832 Wikipedia talk:Citing sources →arbitrary break: c
- 15:5115:51, 23 June 2018 diff hist −2 Super-recursive algorithm →Schmidhuber's generalized Turing machines: c/e
- 15:5115:51, 23 June 2018 diff hist +2 Super-recursive algorithm →Schmidhuber's generalized Turing machines: clarify
- 15:5015:50, 23 June 2018 diff hist +1,133 Talk:Super-recursive algorithm →Turing machines cannot edit their previous outputs?: c
- 15:2615:26, 23 June 2018 diff hist +26 Wikipedia talk:Citing sources →Bundling cites and CITEVAR?: break
- 15:2415:24, 23 June 2018 diff hist +959 Wikipedia talk:Citing sources →Bundling cites and CITEVAR?: c
21 June 2018
- 21:0621:06, 21 June 2018 diff hist +606 Wikipedia talk:Citing sources →Bundling cites and CITEVAR?: c
- 19:5219:52, 21 June 2018 diff hist +626 Wikipedia talk:Citing sources →Bundling cites and CITEVAR?: c
- 19:2319:23, 21 June 2018 diff hist +256 Wikipedia talk:Citing sources →Bundling cites and CITEVAR?: c
- 19:1919:19, 21 June 2018 diff hist +433 Wikipedia talk:Citing sources →Bundling cites and CITEVAR?: c
18 June 2018
- 23:3523:35, 18 June 2018 diff hist +111 Axiom of choice Seems OK
- 14:5714:57, 18 June 2018 diff hist −1 Well-ordering theorem →Proof=: extra =
- 14:5714:57, 18 June 2018 diff hist −135 Well-ordering theorem →Statement and proof: The statement was redundant to the lede - literally no new information
- 14:5714:57, 18 June 2018 diff hist −27 Well-ordering theorem →Statement and proof: No need for separate line
- 00:1600:16, 18 June 2018 diff hist +548 Talk:Super-recursive algorithm →A preprint by Burgin that might clear up some of the confusion about Burgin's writing: c
- 00:1300:13, 18 June 2018 diff hist −3,037 Super-recursive algorithm Start cleaning up references
15 June 2018
- 17:4417:44, 15 June 2018 diff hist −73 Adjoint functors Begin to work on "we"
14 June 2018
- 17:4717:47, 14 June 2018 diff hist −149 m Curry–Howard correspondence Copyedit: "we"
- 13:4513:45, 14 June 2018 diff hist −43 m Non-well-founded set theory Copyedit
- 13:4213:42, 14 June 2018 diff hist −110 m Riemann surface Copyedit
- 13:3713:37, 14 June 2018 diff hist −172 m Real projective plane Copyedit
12 June 2018
- 14:4114:41, 12 June 2018 diff hist −119 m Galois theory copyedit
- 14:3914:39, 12 June 2018 diff hist −122 m Almost everywhere Copyedit
- 14:3714:37, 12 June 2018 diff hist −82 m L'Hôpital's rule Copyedit
- 14:3214:32, 12 June 2018 diff hist −55 m Compact space Copyedit
11 June 2018
- 17:3717:37, 11 June 2018 diff hist −126 m Morse–Kelley set theory copyedit
- 15:5315:53, 11 June 2018 diff hist −1 m Continuum hypothesis Copyediting
- 15:4515:45, 11 June 2018 diff hist −275 m E (mathematical constant) Math is normally indented with colons, as in MOSMATH
- 13:0113:01, 11 June 2018 diff hist −344 Ackermann function The standard way to indent block equations is with a colon, confirmed by an RFC in December 2017
6 June 2018
- 12:4612:46, 6 June 2018 diff hist −1 m List of chapters in the Quran Reverted edits by 109.92.96.43 (talk) to last version by Doug Weller Tag: Rollback
- 12:4612:46, 6 June 2018 diff hist −2 m List of years Reverted edits by 109.92.96.43 (talk) to last version by PohranicniStraze Tag: Rollback
- 12:4512:45, 6 June 2018 diff hist +3 m International Council for Industrial and Applied Mathematics Reverted edits by 109.92.96.43 (talk) to last version by David Eppstein Tag: Rollback
5 June 2018
- 16:4916:49, 5 June 2018 diff hist +272 Talk:Alan Turing →Why has the entire discussion been deleted?: c
- 16:4816:48, 5 June 2018 diff hist −5 Tennenbaum's theorem →Proof Sketch: fix
- 16:1116:11, 5 June 2018 diff hist +18 Tennenbaum's theorem →Proof Sketch: fix
- 14:1114:11, 5 June 2018 diff hist 0 Tennenbaum's theorem →Statement of the theorem: sectioning
- 13:5513:55, 5 June 2018 diff hist +1 Peano axioms →Overspill: c/e
- 13:5313:53, 5 June 2018 diff hist +36 N Overspill (arithmetic) Create current Tag: New redirect
- 13:5313:53, 5 June 2018 diff hist +1,061 Peano axioms Add overspill
- 13:4313:43, 5 June 2018 diff hist +244 Talk:Tennenbaum's theorem →Clarification: c
- 13:4213:42, 5 June 2018 diff hist +1,140 Tennenbaum's theorem →Proof Sketch: expand
- 13:2913:29, 5 June 2018 diff hist −2 Tennenbaum's theorem →Proof Sketch: c/e
- 13:2913:29, 5 June 2018 diff hist +211 Tennenbaum's theorem →Statement of the theorem: c/e
- 13:2013:20, 5 June 2018 diff hist +9 Tennenbaum's theorem →Recursive structures for PA: c/e
- 13:1913:19, 5 June 2018 diff hist +879 Tennenbaum's theorem →Proof Sketch: expand
- 12:5512:55, 5 June 2018 diff hist +775 Talk:Tennenbaum's theorem →Clarification: c
- 12:5012:50, 5 June 2018 diff hist −2,463 Tennenbaum's theorem heavy copyedit
- 12:3312:33, 5 June 2018 diff hist +245 Talk:Tennenbaum's theorem →Clarification: c
- 02:2502:25, 5 June 2018 diff hist −12 m Universal instantiation "mass" is OK
- 02:2502:25, 5 June 2018 diff hist −34 m Saul Kripke "mass" is OK
- 02:2402:24, 5 June 2018 diff hist +4 m Cantor's paradox "mass" is OK
- 02:2202:22, 5 June 2018 diff hist +19 m Ptolemy "mass" is OK
- 02:0802:08, 5 June 2018 diff hist +11 m Template:WPMaths Reverted edits by EmausBot (talk) to last version by CBM Tags: Redirect target changed Rollback Reverted
- 02:0702:07, 5 June 2018 diff hist +11 m Template:WPMATH Reverted edits by EmausBot (talk) to last version by CBM Tags: Redirect target changed Rollback Reverted
- 02:0702:07, 5 June 2018 diff hist +12 m Template:WP Mathematics Reverted edits by EmausBot (talk) to last version by CBM Tags: Redirect target changed Rollback Reverted
- 02:0702:07, 5 June 2018 diff hist +10 m Template:WP Math Reverted edits by EmausBot (talk) to last version by CBM Tags: Redirect target changed Rollback Reverted
- 02:0702:07, 5 June 2018 diff hist +934 m Template:WikiProject Mathematics (version 2) The non-redirect is intentional, to discourage random tagging without rating Tag: Removed redirect
1 June 2018
- 01:5101:51, 1 June 2018 diff hist +295 Curry's paradox →Informal proof: expand
30 May 2018
- 13:4913:49, 30 May 2018 diff hist −35 Francis Bacon Don't see a clear sign in the article that this category is warranted - a reference would be great
- 13:4513:45, 30 May 2018 diff hist −35 Lev Landau Rm category - no sign of the word "combustion" on this article elsewhere
29 May 2018
- 20:3120:31, 29 May 2018 diff hist −397 Curry's paradox Add reference to https://plato.stanford.edu/entries/curry-paradox/ which has a parallel natural-language example.
- 20:2720:27, 29 May 2018 diff hist +387 N User talk:80.41.71.43 c current
- 20:0720:07, 29 May 2018 diff hist −601 Curry's paradox Undo. Please use talk page for comments, but keep in mind this is a standard topic, not something just invented.
28 May 2018
- 22:0322:03, 28 May 2018 diff hist 0 Turing completeness I think "manipulation" sounds better. Undid revision 843343501 by 95.38.128.19 (talk) Tag: Undo
24 May 2018
- 20:2220:22, 24 May 2018 diff hist −24 Affine transformation The light blue leaf is large than the dark blue leaf, but perhaps we don't need to mention the size
- 20:2020:20, 24 May 2018 diff hist +639 User talk:Robert Peetsalu →-al in hierarchies: new section current
- 20:1420:14, 24 May 2018 diff hist +349 Talk:Arithmetical hierarchy →-al: new section
- 20:1320:13, 24 May 2018 diff hist +98 m Arithmetical hierarchy Restore endings
23 May 2018
- 15:0315:03, 23 May 2018 diff hist −33 m Axiom Undo IP edit
15 May 2018
- 01:1101:11, 15 May 2018 diff hist +8 m Poisson distribution Reverted edits by CBM (talk) to last version by DeprecatedFixerBot Tag: Rollback
- 01:1001:10, 15 May 2018 diff hist −8 m Poisson distribution Temporary undo Tag: Undo
14 May 2018
- 17:1417:14, 14 May 2018 diff hist +315 User talk:CBM →Misunderstandings from Real number: c
10 May 2018
- 21:4121:41, 10 May 2018 diff hist +745 Talk:Real number →In the Princeton Companion: c
- 20:3920:39, 10 May 2018 diff hist +551 Talk:Real number →In the Princeton Companion: c
- 20:3720:37, 10 May 2018 diff hist +735 Talk:Real number →Continuous quantity: c
- 13:5913:59, 10 May 2018 diff hist +73 Talk:Real number →In the Princeton Companion: c
- 13:5813:58, 10 May 2018 diff hist +713 Talk:Real number →Continuous quantity: c
- 13:5313:53, 10 May 2018 diff hist +39 Talk:Real number →Continuous quantity: c
- 13:4913:49, 10 May 2018 diff hist +583 Talk:Real number →Continuous quantity: c
- 12:4112:41, 10 May 2018 diff hist +319 Wikipedia talk:Manual of Style →Survey: c
- 12:3412:34, 10 May 2018 diff hist +15 Talk:Real number →Continuous quantity: c
- 12:3412:34, 10 May 2018 diff hist +766 Talk:Real number →Continuous quantity: c
- 12:2512:25, 10 May 2018 diff hist +688 Talk:Real number →Continuous quantity: c
- 12:2312:23, 10 May 2018 diff hist +20 Real number Re-insert link to line -- line (geometry)
- 12:2112:21, 10 May 2018 diff hist +175 Real number Please stop "being very bold" - if there is a specific sentence you don't like, ''edit it''. But "quantity along a line" doesn't even make sense. Tag: Undo
9 May 2018
- 22:3222:32, 9 May 2018 diff hist +157 Real number change paragraph breaks, add another sentence
- 22:2822:28, 9 May 2018 diff hist +67 Talk:Real number →Continuous quantity: c
- 22:2822:28, 9 May 2018 diff hist +851 Talk:Real number →Continuous quantity: new section
- 22:2222:22, 9 May 2018 diff hist +3 Real number Better wording from my last edit. We should mention the line - I suspect "continuous quantity" is *defined* to mean "real number" if we chase definitions
- 22:2122:21, 9 May 2018 diff hist +28 Real number should mention real line here - I think that "continuous quantity" is actually *defined* to mean the same thing, if we chase definitions
- 22:1122:11, 9 May 2018 diff hist −116 Quantity What about complex numbers? Removing dubious claim which was also unsourced
- 22:1022:10, 9 May 2018 diff hist +209 Talk:Real number →Quantity along the line: c
- 22:0722:07, 9 May 2018 diff hist +363 Talk:Real number →Quantity along the line: c
- 20:5920:59, 9 May 2018 diff hist −71 Second-order arithmetic Link
- 13:0213:02, 9 May 2018 diff hist −3 m Two-way finite automaton →Two-way pushdown automaton: Putting refs on second line causes formatting problems
- 13:0113:01, 9 May 2018 diff hist +13 m Two-way finite automaton Please do not start using "mvar" on pages that don't already use it
- 12:5912:59, 9 May 2018 diff hist −17 Napier's bones Formatting - use prose - this is not a textbook with a list of problems
- 12:5812:58, 9 May 2018 diff hist −188 m Napier's bones Please don't use that "math theorem" template - it is not a standard way to format math articles
- 12:5712:57, 9 May 2018 diff hist −54 m Logical consequence Fmt
7 May 2018
- 15:1815:18, 7 May 2018 diff hist +947 Wikipedia talk:Manual of Style →Idiosyncratic styling: c
5 May 2018
- 10:5410:54, 5 May 2018 diff hist +538 Wikipedia:Wikidata/2018 Infobox RfC →!votes: c
4 May 2018
- 13:4613:46, 4 May 2018 diff hist −217 Kőnig's lemma →Relationship with the axiom of choice: This is already in the article!
2 May 2018
- 17:4317:43, 2 May 2018 diff hist −539 Anatole Katok Two sections were named "references". In one, two refs are also listed in the second section. Rearranging to have only one "references" section.
- 17:4117:41, 2 May 2018 diff hist +34 Anatole Katok →Honors and recognition: copyediting
- 17:3917:39, 2 May 2018 diff hist −232 Anatole Katok Improved one reference, removed a different reference to a wikipedia page where there are already enough external references to make the point
1 May 2018
- 00:5200:52, 1 May 2018 diff hist +792 Wikipedia:Wikidata/2018 Infobox RfC →!votes: c
30 April 2018
- 15:1415:14, 30 April 2018 diff hist 0 m Logical connective Reverted edits by 93.34.88.46 (talk) to last version by 24.46.207.129 Tag: Rollback
- 15:0115:01, 30 April 2018 diff hist +284 Wikipedia talk:AutoWikiBrowser →Maximum Edit Rate: c
- 14:2014:20, 30 April 2018 diff hist +818 Wikipedia talk:AutoWikiBrowser →Maximum Edit Rate: c
26 April 2018
- 00:4300:43, 26 April 2018 diff hist −34 m Post–Turing machine Seems OK
24 April 2018
- 12:2712:27, 24 April 2018 diff hist +15 Talk:Lindelöf hypothesis →Outside comments: bad word choice
- 11:0611:06, 24 April 2018 diff hist +14 Lindelöf hypothesis →Means of powers (or moments) of the zeta function: copy edit
- 11:0411:04, 24 April 2018 diff hist +12 Lindelöf hypothesis copyedit
- 11:0311:03, 24 April 2018 diff hist +51 Talk:Lindelöf hypothesis →Outside comments: c
- 11:0211:02, 24 April 2018 diff hist −43 Lindelöf hypothesis →Claimed proof by Fokas: We do not regularly mention the employer of a mathematician when discussing their results. At the same time, the link to the biographical article will provide more info if the reader is interested
- 11:0211:02, 24 April 2018 diff hist +687 Talk:Lindelöf hypothesis →Outside comments: c
23 April 2018
- 17:1417:14, 23 April 2018 diff hist +31 Athanassios Fokas →Biography: link
- 17:0417:04, 23 April 2018 diff hist +96 Athanassios Fokas Add something to the lede - it is too short
- 17:0117:01, 23 April 2018 diff hist +244 Talk:Lindelöf hypothesis →Outside comments: c
- 17:0017:00, 23 April 2018 diff hist +3 Lindelöf hypothesis Restore text that was caught in edit conflict
- 16:5916:59, 23 April 2018 diff hist −62 Lindelöf hypothesis Standardize reference to article format, copyedit
- 16:5016:50, 23 April 2018 diff hist 0 Lindelöf hypothesis →Claimed proof by Professor Athanassios Fokas: cap
- 16:5016:50, 23 April 2018 diff hist −154 Lindelöf hypothesis →Claimed proof by Professor Athanassios Fokas: We should link to the claim, but not use too many flowery words. Let the claim stand for itself.
- 16:4916:49, 23 April 2018 diff hist +1,146 Talk:Lindelöf hypothesis →Arxiv is not a reliable source: c
- 16:4216:42, 23 April 2018 diff hist +126 Talk:Sequence →Misleading statement: c
- 16:4116:41, 23 April 2018 diff hist +5 Sequence →Formal definition: rephrase
- 16:4016:40, 23 April 2018 diff hist 0 Sequence The same numbers cannot appear more than once in a set.
- 16:3516:35, 23 April 2018 diff hist −55 Von Neumann–Bernays–Gödel set theory →Class existence theorem: Display math should be indented; br should be avoided
- 16:2816:28, 23 April 2018 diff hist +4 Condorcet paradox Undid revision - please do not make whitespace only edits which do not affect page rendering. Tag: Undo
- 14:3114:31, 23 April 2018 diff hist +235 Wikipedia:Administrators' noticeboard/Incidents →Propose indef block BrightR: o
- 10:4510:45, 23 April 2018 diff hist −35 m Theory of computation Refs seem OK, perhaps not great
- 10:4510:45, 23 April 2018 diff hist +4 m Theory of computation Reverted edits by 182.73.164.132 (talk) to last version by Jserio2 Tag: Rollback
- 10:3810:38, 23 April 2018 diff hist +373 Wikipedia:Administrators' noticeboard/Incidents →Propose indef block BrightR: c
19 April 2018
- 00:5100:51, 19 April 2018 diff hist +7 m Paris–Harrington theorem →Paris–Harrington theorem: inline citation
- 00:5000:50, 19 April 2018 diff hist −60 m Paris–Harrington theorem →Footnotes: rm empty section
- 00:2600:26, 19 April 2018 diff hist −412 m Mathematical logic Let's not claim that any random URL is the official URL
16 April 2018
- 12:1012:10, 16 April 2018 diff hist +1,442 m Codomain Reverted edits by 96.95.219.17 (talk) to last version by Vycl1994 Tag: Rollback
- 01:3201:32, 16 April 2018 diff hist −60 m Computational neuroscience undo previous; WP:CITEVAR suggests not changing citation styles arbitrarily.
- 01:3001:30, 16 April 2018 diff hist +188 m Algorithm c/e. Not sure last edit was beneficial
11 April 2018
- 10:5710:57, 11 April 2018 diff hist +1 m Diode logic Reverted edits by 79.101.230.250 (talk) to last version by Kvng Tag: Rollback
- 10:5610:56, 11 April 2018 diff hist +2 m Mathematical logic Reverted edits by 79.101.230.250 (talk) to last version by CBM Tag: Rollback
- 10:3210:32, 11 April 2018 diff hist −131 m Double-negation translation Standardize references to one format, use standard markup for indentation
10 April 2018
- 17:2717:27, 10 April 2018 diff hist +479 Talk:12 Monkeys →Arbitrary break for length: c
- 17:2217:22, 10 April 2018 diff hist +4 Definable real number →Computable real numbers: link Turing
- 17:2117:21, 10 April 2018 diff hist +16 Definable real number →Algebraic numbers: c/e
7 April 2018
- 18:3218:32, 7 April 2018 diff hist −254 m On Formally Undecidable Propositions of Principia Mathematica and Related Systems Trim a little more
- 18:3118:31, 7 April 2018 diff hist −400 m On Formally Undecidable Propositions of Principia Mathematica and Related Systems Don't think this addition to the lede quite fits, and we should look for better sources than NKS
- 18:3018:30, 7 April 2018 diff hist −507 m Gödel's incompleteness theorems →First incompleteness theorem: Don't think this addition quite fits, and we shouldn't really be citing NKS when there are better sources
4 April 2018
- 10:3810:38, 4 April 2018 diff hist −81 m Minimal polynomial (field theory) simplify
2 April 2018
- 20:5120:51, 2 April 2018 diff hist −590 m Outline of basketball Remove self reference
- 13:2613:26, 2 April 2018 diff hist −597 m Outline of computer science Remove self reference
1 April 2018
- 16:1016:10, 1 April 2018 diff hist +611 Talk:12 Monkeys →Arbitrary break for length: c
29 March 2018
- 16:2316:23, 29 March 2018 diff hist +385 Wikipedia talk:Citing sources →To what extent does MOS:CAPS apply to reference titles?: c
- 16:2116:21, 29 March 2018 diff hist +432 Wikipedia talk:Citing sources →To what extent does MOS:CAPS apply to reference titles?: c
- 13:4613:46, 29 March 2018 diff hist −120 Quartile →Method 2: Excel does not apply this rule,e.g. to 10,20,30,40,50,60. It uses a slightly different rule.
- 13:3813:38, 29 March 2018 diff hist −493 Quartile →Method 1: A slightly different rule is given by Excel
28 March 2018
- 00:0500:05, 28 March 2018 diff hist −162 Talk:Tarski's undefinability theorem →what does "holds" mean in theorem and proof?: edited at same imte
- 00:0400:04, 28 March 2018 diff hist +162 Talk:Tarski's undefinability theorem →what does "holds" mean in theorem and proof?: c
27 March 2018
- 23:2323:23, 27 March 2018 diff hist +36 Tarski's undefinability theorem →General form of the theorem: c/e
- 23:2123:21, 27 March 2018 diff hist +194 Talk:Tarski's undefinability theorem →what does "holds" mean in theorem and proof?: c
- 23:1923:19, 27 March 2018 diff hist +20 Talk:Tarski's undefinability theorem →what does "holds" mean in theorem and proof?: c
- 23:1823:18, 27 March 2018 diff hist +572 Talk:Tarski's undefinability theorem →what does "holds" mean in theorem and proof?: c
- 23:1623:16, 27 March 2018 diff hist −34 m Tarski's undefinability theorem →References: Has parenthetical citations
25 March 2018
- 23:4323:43, 25 March 2018 diff hist −590 m Outline of Kuwait Remove self-reference, also use English in first sentence
- 23:4223:42, 25 March 2018 diff hist −1 m Outline of Kuwait Reverted edits by 79.101.231.197 (talk) to last version by The Transhumanist Tags: Rollback Undo
- 23:4123:41, 25 March 2018 diff hist −6 Outline of logic c/e
- 23:4023:40, 25 March 2018 diff hist +1 m Gheg Albanian Reverted edits by 79.101.231.197 (talk) to last version by Strongshqipe Tags: Rollback Undo
- 23:4023:40, 25 March 2018 diff hist +2 m Mathematical logic Undid revision 832328378 by 79.101.231.197 (talk) Tag: Undo
- 01:2501:25, 25 March 2018 diff hist +146,106 m St. Xavier High School (Ohio) Reverted edits by 103.253.146.245 (talk) to last version by InternetArchiveBot Tags: Rollback Undo
24 March 2018
- 20:2520:25, 24 March 2018 diff hist +293 Talk:Axiom →Axioms, premises and postulates: c
- 13:0713:07, 24 March 2018 diff hist −1 Talk:Axiom →Axioms, premises and postulates: c
- 13:0713:07, 24 March 2018 diff hist +1,016 Talk:Axiom →Axioms, premises and postulates: c
- 13:0213:02, 24 March 2018 diff hist +538 Talk:Algorithm →On the introduction: c
- 12:5412:54, 24 March 2018 diff hist +620 Talk:Algorithm →On the introduction: c
22 March 2018
- 18:5218:52, 22 March 2018 diff hist +273 Talk:Axiom →Axioms, premises and postulates: c
- 18:5018:50, 22 March 2018 diff hist +250 Talk:Axiom →Axioms, premises and postulates: c
- 18:4218:42, 22 March 2018 diff hist +565 Talk:Axiom →Axioms, premises and postulates: c
- 18:3918:39, 22 March 2018 diff hist +662 Talk:Axiom →Axioms, premises and postulates: c
- 11:3711:37, 22 March 2018 diff hist +546 Wikipedia talk:Manual of Style/Writing about fiction →Malformed RfC: c
20 March 2018
- 22:2922:29, 20 March 2018 diff hist 0 Group (mathematics) →Historical references: sortkey
- 22:2922:29, 20 March 2018 diff hist 0 List of group theory topics →See also: sortkeys
19 March 2018
- 15:3915:39, 19 March 2018 diff hist −3 Jeff Dinitz Undo: "FL" is perfectly fine in a citation. Indeed the MathSciNet reference says "FL" Tag: Undo
- 15:3815:38, 19 March 2018 diff hist +5 m Ordinary differential equation Reverted edits by 134.193.245.28 (talk) to last version by D.Lazard Tag: Rollback
- 13:5913:59, 19 March 2018 diff hist +32 m Outline of statistics Use English in lede
- 13:5213:52, 19 March 2018 diff hist +62 Archive for Mathematical Logic Update MCQ from MathSciNet and impact factor from journal web page
- 01:3401:34, 19 March 2018 diff hist +282 Hypercomputation →Criticism: restore previous version
- 00:3900:39, 19 March 2018 diff hist +12 Test functions for optimization Undid revision 830957101 - postal abbreviations in references are acceptable if an article chooses to use them. Tag: Undo
- 00:3600:36, 19 March 2018 diff hist −13 m Sum coloring Postal abbreviations are OK if that is the established style - nothing in WP:CITE forbids them
- 00:3200:32, 19 March 2018 diff hist 0 m Rosenbrock function Undid revision 831145712 - no change to the generated HTML Tag: Undo
17 March 2018
- 00:4800:48, 17 March 2018 diff hist +83 Wikipedia:Village pump (proposals) →Survey: Observe MOS:FONTSIZE in infobox templates: c
- 00:4800:48, 17 March 2018 diff hist +246 Wikipedia:Village pump (proposals) →Observe MOS:FONTSIZE in infobox templates: c
16 March 2018
- 22:5322:53, 16 March 2018 diff hist −104,988 Talk:Mathematical induction Archiving old threads
- 22:5322:53, 16 March 2018 diff hist +104,974 Talk:Mathematical induction/Archive Archiving
- 22:5122:51, 16 March 2018 diff hist +517 Talk:Mathematical induction →Theorem of Noetherian Induction: c
- 22:4422:44, 16 March 2018 diff hist −327 Mathematical induction →Complete (strong) induction: Going back to a version from Dec 27, 2017 (see talk)
- 16:4916:49, 16 March 2018 diff hist −235 m Solvable group Formatting, use same template for both references
- 16:0816:08, 16 March 2018 diff hist +73 User talk:CBM →Data analytics: c
- 16:0716:07, 16 March 2018 diff hist +507 User talk:CBM →Are we done yet?: c
- 15:5915:59, 16 March 2018 diff hist +395 Talk:Data analysis →In lede: new section
- 15:5615:56, 16 March 2018 diff hist +28 Data analysis The article data analytics redirects here, so it should appear in the lede as well. This does not mean that everyone views them as synonyms, only that we have one article for both of them.
- 13:3913:39, 16 March 2018 diff hist +1 Mathematical induction →Course-of-values induction: Change back to more common name
- 13:3613:36, 16 March 2018 diff hist +1 Mathematical induction →Infinite descent: c/e
- 13:3613:36, 16 March 2018 diff hist +212 Mathematical induction →Infinite descent: c/e
- 13:3313:33, 16 March 2018 diff hist −4 m Mathematical induction Promote transfinite induction section to full fledged section
- 13:3213:32, 16 March 2018 diff hist +1 Mathematical induction →Example of error in the inductive step: c/e
- 13:2913:29, 16 March 2018 diff hist 0 Mathematical induction Moving "all horses" earlier in article
- 13:2813:28, 16 March 2018 diff hist −2,110 Mathematical induction Going back to better written - and previously longstanding - language from March 6
- 13:2713:27, 16 March 2018 diff hist −948 Mathematical induction →Course-of-values induction: Going back to previous language that was better written (from March 6)
- 13:2413:24, 16 March 2018 diff hist +1 Mathematical induction Move "formalization" lower to put more elementary material first
- 13:2213:22, 16 March 2018 diff hist +20 Mathematical induction →Description: copyedit
- 13:2113:21, 16 March 2018 diff hist −415 Mathematical induction →History: Trimming more web sources - no need for three here, particularly when they are just web pages
- 13:1913:19, 16 March 2018 diff hist −247 Mathematical induction "mathisfun.com" is not the kind of source we want to use for an encyclopedia article
- 11:5011:50, 16 March 2018 diff hist −1 Mathematical induction →The Theorem of Noetherian Induction: Citations should not be put in section headers
- 11:4911:49, 16 March 2018 diff hist −53 Mathematical induction →Formalization: This is not structural induction, it is ordinary induction over the natural numbers
- 11:4711:47, 16 March 2018 diff hist +331 Talk:Mathematical induction →Well-founded relations?: c
- 11:0811:08, 16 March 2018 diff hist +247 Talk:Mathematical induction →Well-founded relations?: c
- 11:0711:07, 16 March 2018 diff hist −260 Mathematical induction Simplifying lede - no need to mention "well founded relations" so early, but we do need to keep it simple.
- 10:2610:26, 16 March 2018 diff hist 0 m Srinivasa Ramanujan Reverted edits by 2402:8100:303C:E451:1:2:56A8:ABF1 (talk) to last version by TheDragonFire300 Tag: Rollback
15 March 2018
- 23:4823:48, 15 March 2018 diff hist −21 m Set theory Overlinking
- 23:4723:47, 15 March 2018 diff hist −4 m Economic ideology Reverted edits by 5.2.200.163 (talk) to last version by Rjwilmsi Tag: Rollback
- 23:4723:47, 15 March 2018 diff hist −4 m Carl Hellmuth Hertz Reverted edits by 5.2.200.163 (talk) to last version by Tony1 Tag: Rollback
- 23:4623:46, 15 March 2018 diff hist −4 m Nuclear reprocessing Reverted edits by 5.2.200.163 (talk) to last version by AnomieBOT Tag: Rollback
- 23:4523:45, 15 March 2018 diff hist +1 m Data analysis Fix bold
- 23:3823:38, 15 March 2018 diff hist −223 m Data analysis Overtagging. First sentence is a summary of rest of article.
- 23:0923:09, 15 March 2018 diff hist −212 m Law of large numbers Overtagging. Each paragraph already has sources to support the claims; no need to repeat them on every sentence
- 23:0623:06, 15 March 2018 diff hist −4 m Function problem Reverted edits by 5.2.200.163 (talk) to last version by 2003:E5:13C2:FA01:212A:C826:DF51:D0B4 Tag: Rollback
14 March 2018
- 10:0410:04, 14 March 2018 diff hist −55 m Halting problem →See also: trim some more
- 10:0310:03, 14 March 2018 diff hist −21 m Halting problem →See also: There is an entire paragraph on Rice's theorem in the article
13 March 2018
- 14:1614:16, 13 March 2018 diff hist +341 Talk:Mathematical induction →Well-founded relations?: c
12 March 2018
- 22:4022:40, 12 March 2018 diff hist +96 Halting problem →Proof concept: c/w
11 March 2018
- 17:3617:36, 11 March 2018 diff hist −23 m Glossary of mathematical symbols Reverted edits by 154.120.112.136 (talk) to last version by Jamesray1 Tag: Rollback
- 17:3517:35, 11 March 2018 diff hist −2 Outline of linear algebra Undid revision 810107170 by 101.222.241.126 (talk) Tag: Undo
- 17:3517:35, 11 March 2018 diff hist +20 m Outline of linear algebra Reverted edits by 124.123.90.248 (talk) to last version by 101.222.241.126 Tag: Rollback
- 16:5316:53, 11 March 2018 diff hist +807 Wikipedia talk:Verifiability →Intent: c
- 16:4616:46, 11 March 2018 diff hist +84 Wikipedia talk:Manual of Style/Writing about fiction →Survey: c
- 16:4516:45, 11 March 2018 diff hist +283 Wikipedia talk:Manual of Style/Writing about fiction →Survey: c
- 16:4416:44, 11 March 2018 diff hist +585 Wikipedia talk:Citing sources →Which page number to use when citing PDFs?: c
- 15:3415:34, 11 March 2018 diff hist −115 m Measure (mathematics) Following WP:MOSMATH, captial Greek is not italicized
- 15:2915:29, 11 March 2018 diff hist −105 m Propagation of uncertainty Following WP:MOSMATH, captial Greek is not italicized
- 15:2315:23, 11 March 2018 diff hist +670 Wikipedia talk:Manual of Style/Writing about fiction →RfC: Is it encouraged to have references for key or complex plot points in plot sections?: c
- 15:1415:14, 11 March 2018 diff hist +1,501 Wikipedia talk:Verifiability →Does WP:BURDEN assume a specific challenge?: c
10 March 2018
- 02:2202:22, 10 March 2018 diff hist +323 User talk:BetterMath →Mathit, mvar: c
- 02:2002:20, 10 March 2018 diff hist −4 Σ-finite measure Undo - upper case Greek is not italicized even if it represents a set; see WP:MOSMATH Tag: Undo
- 02:1902:19, 10 March 2018 diff hist −14 Pettis integral Even if a capital sigma represents a set, we don't capitalize upper case Greek in mathematical formulas - see WP:MOSMATH Tag: Undo
9 March 2018
- 12:4212:42, 9 March 2018 diff hist −234 m Solvable group Undo formatting change
- 12:2912:29, 9 March 2018 diff hist −603 m Conjugate transpose Undo formatting change
- 12:2512:25, 9 March 2018 diff hist +178 User talk:BetterMath →Mathit, mvar: c
- 12:2212:22, 9 March 2018 diff hist +528 User talk:BetterMath →Mathit, mvar: new section
- 12:1912:19, 9 March 2018 diff hist −246 Radon–Nikodym theorem Rm mathit and mvar
- 12:1612:16, 9 March 2018 diff hist −14 m Pettis integral We use upright capital Greek on Wikipedia
2 March 2018
- 02:0002:00, 2 March 2018 diff hist +341 m Lists of mathematics topics Reverted edits by 100.35.200.243 (talk) to last version by NottNott Tag: Rollback
28 February 2018
- 22:0622:06, 28 February 2018 diff hist −554 m Outline of combinatorics Rm self reference
- 22:0522:05, 28 February 2018 diff hist −3 Outline of mathematics Use English
- 22:0522:05, 28 February 2018 diff hist −552 Outline of mathematics Rm self reference
- 22:0322:03, 28 February 2018 diff hist −592 m Outline of trigonometry Rm self ref
- 22:0122:01, 28 February 2018 diff hist −102 m Outline of statistics Rm self reference
- 22:0122:01, 28 February 2018 diff hist −440 m Outline of statistics Rm self reference, restore templates
- 21:5921:59, 28 February 2018 diff hist −580 m Outline of probability Remove self-reference
- 21:5221:52, 28 February 2018 diff hist −567 m Outline of geometry Remove self-reference, restore header
- 21:4921:49, 28 February 2018 diff hist −600 m Outline of discrete mathematics Remove self reference
- 19:2919:29, 28 February 2018 diff hist +373 Wikipedia talk:WikiProject Mathematics →Some MfD discussions: c
- 19:2819:28, 28 February 2018 diff hist 0 m Srinivasa Ramanujan Reverted edits by 194.168.214.158 (talk) to last version by Roland zh Tag: Rollback
- 17:1817:18, 28 February 2018 diff hist −592 m Outline of calculus Remove self reference and use English in lede
- 17:1217:12, 28 February 2018 diff hist +115 Wikipedia talk:WikiProject Mathematics →Some MfD discussions: ++
- 17:1117:11, 28 February 2018 diff hist +286 Wikipedia talk:WikiProject Mathematics →Some MfD discussions: c
- 17:1017:10, 28 February 2018 diff hist −29 m List of unsolved problems in mathematics With so many references, a general message is meaningless. Specific issues should be raised on the talk page.
- 17:0317:03, 28 February 2018 diff hist −593 m Outline of arithmetic Rm self reference and use English grammar in the lede
- 17:0217:02, 28 February 2018 diff hist −40 m Alternating algebra Rm category
- 17:0217:02, 28 February 2018 diff hist −600 m Outline of algebraic structures Remove self-reference
- 17:0117:01, 28 February 2018 diff hist −588 m Outline of algebra Rm self reference
- 17:0117:01, 28 February 2018 diff hist −1 Second-order arithmetic Undid revision 828095684 by 173.175.11.167 (talk) Tag: Undo
27 February 2018
- 13:2213:22, 27 February 2018 diff hist +320 Wikipedia talk:Citing sources →Collapsible references: c
- 02:1602:16, 27 February 2018 diff hist −37 m Hilbert space Citation is in the history section; no need to repeat it in the lede
- 00:4600:46, 27 February 2018 diff hist −568 m Probability interpretations Clean up tagspam - top is clearly marked, any more specific issues ought to use the talk page
26 February 2018
- 14:5214:52, 26 February 2018 diff hist +236 User talk:Ntsimp →Erdos number: c
- 13:5113:51, 26 February 2018 diff hist −31 List of people by Erdős number →External links: Update links
- 13:4913:49, 26 February 2018 diff hist +280 User talk:Ntsimp →Erdos number: new section
- 13:4713:47, 26 February 2018 diff hist +127 m List of people by Erdős number Reverted edits by Ntsimp (talk) to last version by David Eppstein Tag: Rollback
- 13:4413:44, 26 February 2018 diff hist 0 Halting problem →Proof concept: c/e
- 13:4413:44, 26 February 2018 diff hist +7 Halting problem →Proof concept: c/e
- 13:4313:43, 26 February 2018 diff hist +396 Halting problem →Proof concept: c
- 13:4113:41, 26 February 2018 diff hist −8 m Halting problem →Proof concept: c/e
- 13:4013:40, 26 February 2018 diff hist −14 m Halting problem →Proof concept: link
- 13:3913:39, 26 February 2018 diff hist −3 m Outline of physical science Use English
- 13:3913:39, 26 February 2018 diff hist −598 m Outline of physical science Remove self-reference
- 13:3813:38, 26 February 2018 diff hist 0 m Outline of physical science Reverted edits by ScienticGuy (talk) to last version by The Transhumanist Tag: Rollback
- 13:2613:26, 26 February 2018 diff hist +21 Halting problem →Proof concept: c/e
- 13:2413:24, 26 February 2018 diff hist −104 Halting problem →Sketch of proof: c/e
- 13:2313:23, 26 February 2018 diff hist +57 Halting problem →Informal proof by contradiction: c/e
- 13:2113:21, 26 February 2018 diff hist −17 Halting problem →Informal proof by contradiction: Avoid confusing term "paradox" for a perfectly ordinary function
- 03:5403:54, 26 February 2018 diff hist +47 Lechuguilla Cave Coords
25 February 2018
- 18:2718:27, 25 February 2018 diff hist −598 m Outline of logic Clean up, remove self reference, logic footer, organize categories
20 February 2018
- 01:5401:54, 20 February 2018 diff hist −5 m Dirac delta function Reverted edits by Lentower (talk) to last version by Colonies Chris Tag: Rollback
19 February 2018
- 22:4722:47, 19 February 2018 diff hist +12 Axiom of regularity →Regularity in the presence of urelements: typos
- 22:4622:46, 19 February 2018 diff hist −218 Axiom of regularity →External links: Remove one, doesn't seem to go beyond what is here already
- 22:4522:45, 19 February 2018 diff hist +149 Axiom of regularity →External links: nlab
- 22:4422:44, 19 February 2018 diff hist +569 Axiom of regularity Urelements to their own section
- 22:2922:29, 19 February 2018 diff hist −339 m Axiom of regularity I think the issue of urelements should be dealt with lower in the article; it is not needed in the very first sentence, where it is a distraction
- 22:2822:28, 19 February 2018 diff hist −549 m Axiom of regularity This articles uses Harvard references, but also we avoid using websites as sources when possible
- 12:0912:09, 19 February 2018 diff hist +25 Wikipedia:Miscellany for deletion/Draft:Cyclic algebra →Draft:Cyclic algebra: c
- 12:0812:08, 19 February 2018 diff hist +313 Wikipedia:Miscellany for deletion/Draft:Cyclic algebra →Draft:Cyclic algebra: c
- 11:2111:21, 19 February 2018 diff hist +7 m First-order logic Reverted edits by 182.73.157.250 (talk) to last version by Jeh Tag: Rollback
18 February 2018
- 23:2823:28, 18 February 2018 diff hist +13 m Tautology (logic) The more specific template is arguably better; no reason to change
- 23:2123:21, 18 February 2018 diff hist −810 m Convergence of measures Undo; Greek is generally not italicized, and the remaining changes seemed not very helpful
- 23:1923:19, 18 February 2018 diff hist −18 m Infimum and supremum Partial undo, keeping the only part I could recognize as helpful
17 February 2018
- 04:0804:08, 17 February 2018 diff hist 0 m Undecidable problem Reverted edits by 172.56.38.241 (talk) to last version by NihlusBOT Tag: Rollback
- 04:0204:02, 17 February 2018 diff hist +286 Talk:Existential instantiation →Not a Valid Rule: c
- 04:0104:01, 17 February 2018 diff hist −32 Existential instantiation Edit
- 03:5903:59, 17 February 2018 diff hist 0 Talk:Existential instantiation C
- 03:5903:59, 17 February 2018 diff hist +507 Talk:Existential instantiation →Not a Valid Rule: c
16 February 2018
- 13:1913:19, 16 February 2018 diff hist +566 N User talk:1.129.111.32 c
- 13:1813:18, 16 February 2018 diff hist −52 Natural number Numbered list
- 13:1513:15, 16 February 2018 diff hist +7 m Natural number Reverted edits by 1.129.111.32 (talk) to last version by CBM Tag: Rollback
- 01:3701:37, 16 February 2018 diff hist −1 Gödel's incompleteness theorems Undo
- 01:2601:26, 16 February 2018 diff hist +38 Alexey Ivakhnenko Don't need to unlink - it can be "disambiguation needed" for a while until we have a better link. There is no urgent need to remove the maintenance tag. Tag: Undo
- 01:0001:00, 16 February 2018 diff hist −5 m Green's theorem Reverted edits by 206.123.179.106 (talk) to last version by Applepie57721 Tag: Rollback
- 00:0000:00, 16 February 2018 diff hist +306 Wikipedia talk:WikiProject Mathematics →Links to DAB pages, Part II: c
15 February 2018
- 23:4023:40, 15 February 2018 diff hist +508 Wikipedia talk:WikiProject Mathematics →Links to DAB pages, Part II: c
- 23:3523:35, 15 February 2018 diff hist 0 Partially ordered set The period finishes a sentence entirely in parentheses, so the period also goes inside the parentheses Tag: Undo
- 19:5319:53, 15 February 2018 diff hist −2 m Reduction (mathematics) Reverted edits by 24.42.135.130 (talk) to last version by IVORK Tag: Rollback
- 13:5713:57, 15 February 2018 diff hist +7 Natural number Doesn't seem like an improvement; we try to use plain wikitext instead of templates like "ordered list"
14 February 2018
- 14:1414:14, 14 February 2018 diff hist −1 Wikipedia talk:Manual of Style →An historic: c
- 14:1314:13, 14 February 2018 diff hist +1,183 Wikipedia talk:Manual of Style →An historic: c
- 13:1513:15, 14 February 2018 diff hist −33 m Limited principle of omniscience This is just an axiom for some mathematical systems; I don't think axioms are usually called "though experiments"
13 February 2018
- 22:5522:55, 13 February 2018 diff hist −15 Computational complexity theory →Turing machine: c/e
11 February 2018
- 01:2501:25, 11 February 2018 diff hist +14 m Archive for Mathematical Logic Reverted edits by FrescoBot (talk) to last version by Headbomb Tag: Rollback
10 February 2018
- 20:3020:30, 10 February 2018 diff hist +658 Talk:Integer sequence →A set in M: r
- 20:2120:21, 10 February 2018 diff hist +24 Integer sequence →References: DOI
- 20:1920:19, 10 February 2018 diff hist 0 Integer sequence →Computable and definable sequences: expanded in the last few edits
- 20:1920:19, 10 February 2018 diff hist +101 Talk:Integer sequence →A set in M: c/e
- 20:1820:18, 10 February 2018 diff hist +3 Integer sequence →Computable and definable sequences: expanded
- 20:1620:16, 10 February 2018 diff hist +712 Integer sequence Expand and reference
- 20:1020:10, 10 February 2018 diff hist +911 Talk:Integer sequence →A set in M: c
- 19:5619:56, 10 February 2018 diff hist −3 Wikipedia talk:WPCleaner →Reference duplication: typo
- 19:5419:54, 10 February 2018 diff hist −28 Integer sequence →Computable and definable sequences: Not clear that the set of M-definable sequences would even be a set in M.
- 18:3918:39, 10 February 2018 diff hist +483 Wikipedia talk:WPCleaner →Reference duplication: c
- 16:3316:33, 10 February 2018 diff hist +466 Wikipedia talk:WPCleaner →Reference duplication: c
9 February 2018
- 19:4819:48, 9 February 2018 diff hist +1,675 Talk:Integer sequence →Definable sequences: c
- 19:4219:42, 9 February 2018 diff hist −317 Integer sequence I apologize for reverting, but the claims in the older version of the article cannot be sustained as they were written (for example they are not provable in ZFC)
- 19:3619:36, 9 February 2018 diff hist +1,138 Talk:Integer sequence →Definable sequences: c
- 14:1014:10, 9 February 2018 diff hist +414 Wikipedia talk:Manual of Style →Article short descriptions: c
- 13:5813:58, 9 February 2018 diff hist +139 Integer sequence →Computable and definable sequences: transitive
- 13:5713:57, 9 February 2018 diff hist +389 Transitive model ++Properties
- 13:5413:54, 9 February 2018 diff hist −79 Integer sequence →Computable and definable sequences: Trim some; model => set model; can't see why all sequences need to be in the model to talk about definability. I can see the motivation for looking at transitive models.
- 02:0502:05, 9 February 2018 diff hist +628 Talk:Integer sequence →Definable sequences: c
7 February 2018
- 17:1317:13, 7 February 2018 diff hist +652 Wikipedia:Village pump (technical) →Underscore as part of a username: c
6 February 2018
- 22:5322:53, 6 February 2018 diff hist −65 If and only if Undid revision 824365724 by 81.0.43.223 (talk) Tag: Undo
- 16:0616:06, 6 February 2018 diff hist +467 Talk:Integer sequence →Definable sequences: c
- 00:3100:31, 6 February 2018 diff hist +256 Talk:Definable real number →Mathoverflow criticizes us: c
5 February 2018
- 14:0114:01, 5 February 2018 diff hist −112 Integer sequence →Computable and definable sequences: trim. It is very hard to word things both briefly and accurately, so let's go for accurately first
- 12:0612:06, 5 February 2018 diff hist +5 Talk:Integer sequence →Definable sequences: c
- 12:0412:04, 5 February 2018 diff hist +101 Talk:Integer sequence →Definable sequences: c
- 12:0112:01, 5 February 2018 diff hist 0 Talk:Integer sequence →Definable sequences: c
- 12:0112:01, 5 February 2018 diff hist +335 Talk:Integer sequence →Definable sequences: c
- 11:5611:56, 5 February 2018 diff hist −2 m Definable real number Use pi entity
- 11:5411:54, 5 February 2018 diff hist +306 Talk:Integer sequence →Definable sequences: c
- 11:4511:45, 5 February 2018 diff hist −4 Talk:Integer sequence →Definable sequences: c
- 11:4511:45, 5 February 2018 diff hist +47 Talk:Integer sequence →Definable sequences: c
- 11:4111:41, 5 February 2018 diff hist +8 Talk:Integer sequence →Definable sequences: c
- 11:3711:37, 5 February 2018 diff hist +584 Talk:Integer sequence →Definable sequences: c
- 11:3311:33, 5 February 2018 diff hist +238 Talk:Integer sequence →Definable sequences: c
- 11:3111:31, 5 February 2018 diff hist +534 Talk:Integer sequence →Definable sequences: c
- 11:2311:23, 5 February 2018 diff hist −40 m Category:Proof theory Reverted edits by 77.126.47.196 (talk) to last version by Marcocapelle Tag: Rollback
- 11:2311:23, 5 February 2018 diff hist −40 m Category:Model theory Reverted edits by 77.126.47.196 (talk) to last version by Onel5969 Tag: Rollback
- 11:2211:22, 5 February 2018 diff hist −86 m Category:Mathematical logic Reverted edits by 77.126.47.196 (talk) to last version by CBM Tag: Rollback
- 11:2211:22, 5 February 2018 diff hist −74 m Category:Set theory Reverted edits by 77.126.47.196 (talk) to last version by CBM Tag: Rollback
- 11:2111:21, 5 February 2018 diff hist +3 m Natural number Reverted edits by 110.26.197.79 (talk) to last version by JonH Tag: Rollback
4 February 2018
- 17:2817:28, 4 February 2018 diff hist +80 Talk:Brouwer fixed-point theorem →"Constructive proof"?: ++
- 17:2517:25, 4 February 2018 diff hist +889 Talk:Brouwer fixed-point theorem →"Constructive proof"?: c
3 February 2018
- 01:0001:00, 3 February 2018 diff hist +1 m Maximum theorem Undid revision 823461048 by Adavidb (talk) Tag: Undo
- 00:5800:58, 3 February 2018 diff hist +1 m Wiles's proof of Fermat's Last Theorem Undid revision 823648468 by Adavidb (talk) Tag: Undo
31 January 2018
- 15:1915:19, 31 January 2018 diff hist −4 König's theorem (set theory) Undid revision 823318203 by 5.2.200.163 (talk) - we don't link common logical terms Tag: Undo
- 14:3714:37, 31 January 2018 diff hist +490 Talk:Logical equivalence →Some references are still missing: c
- 14:3514:35, 31 January 2018 diff hist −518 Logical equivalence Add reference and tweak section
30 January 2018
- 14:3114:31, 30 January 2018 diff hist −5 Bijection, injection and surjection Some more "each"
- 14:2914:29, 30 January 2018 diff hist −1 Bijection, injection and surjection Perhaps "each" is even better here
- 14:2514:25, 30 January 2018 diff hist +2 Bijection, injection and surjection "every" is better there. "any" can also mean "at least one", and so its use here would not be clear
29 January 2018
- 19:4219:42, 29 January 2018 diff hist +219 Wikipedia talk:Manual of Style →An historic: c
- 19:3719:37, 29 January 2018 diff hist +262 Wikipedia talk:Manual of Style →An historic: c
- 19:3519:35, 29 January 2018 diff hist +340 Wikipedia talk:Manual of Style →An historic: q
- 18:5818:58, 29 January 2018 diff hist +147 m Mathematical induction Sigh - re-insert reference
- 18:4718:47, 29 January 2018 diff hist +1 Wikipedia talk:Manual of Style →An historic: c
- 18:4618:46, 29 January 2018 diff hist +554 Wikipedia talk:Manual of Style →An historic: c
- 01:3801:38, 29 January 2018 diff hist 0 m Évariste Galois Restore earlier version
- 01:3601:36, 29 January 2018 diff hist −47 m Second-order propositional logic Rm merge tag by IP
- 01:3501:35, 29 January 2018 diff hist −19 m Outline of mathematics Reverted edits by 41.222.180.169 (talk) to last version by 177.45.60.155 Tag: Rollback
- 01:3001:30, 29 January 2018 diff hist +40 Talk:Minimal logic →How is this weaker?: c
- 01:3001:30, 29 January 2018 diff hist +80 Talk:Minimal logic →How is this weaker?: ++
- 01:2801:28, 29 January 2018 diff hist +2 Talk:Minimal logic →How is this weaker?: c
- 01:2701:27, 29 January 2018 diff hist +137 Minimal logic Add references are two harvard-style cites
- 01:2301:23, 29 January 2018 diff hist +190 Talk:Minimal logic →How is this weaker?: c
- 01:2001:20, 29 January 2018 diff hist +1,046 Talk:Minimal logic →How is this weaker?: c
28 January 2018
- 16:3916:39, 28 January 2018 diff hist +6 m Kurt Gödel →External links: typo
- 16:3816:38, 28 January 2018 diff hist −280 m Kurt Gödel EB 1911 cleanup
- 16:3416:34, 28 January 2018 diff hist −7 m Aristotle →External links: rm link
26 January 2018
- 13:3413:34, 26 January 2018 diff hist −37 m Many-one reduction Needless tag; the lede is just a summary of lower information
24 January 2018
- 17:3517:35, 24 January 2018 diff hist +40 m Zermelo–Fraenkel set theory Reverted edits by 69.41.1.154 (talk) to last version by 2A02:A03F:3DC3:CB00:F93A:DCD1:CFC:9753 Tag: Rollback
20 January 2018
- 12:5512:55, 20 January 2018 diff hist +19 Second-order arithmetic →Semantics: Henkin semantics
19 January 2018
- 21:0921:09, 19 January 2018 diff hist −13 m Conjunctive normal form Reverted edits by 85.72.89.44 (talk) to last version by Catslash Tag: Rollback
17 January 2018
- 00:4800:48, 17 January 2018 diff hist +30 Wikipedia:Templates for discussion/Log/2018 January 16 →Template:Wikidata icon: c
- 00:4800:48, 17 January 2018 diff hist +496 Wikipedia:Templates for discussion/Log/2018 January 16 →Template:Wikidata icon: c
16 January 2018
- 01:4901:49, 16 January 2018 diff hist +365 Wikipedia talk:Manual of Style →Never link to Wikidata: c
10 January 2018
- 17:5417:54, 10 January 2018 diff hist −4 Talk:Disjunctive normal form →DNF and NP: typo
- 17:5317:53, 10 January 2018 diff hist +4 Talk:Disjunctive normal form →DNF and NP: typo
- 17:3617:36, 10 January 2018 diff hist +210 Talk:Disjunctive normal form →DNF and NP: small delay
8 January 2018
- 17:5017:50, 8 January 2018 diff hist +661 Talk:Zermelo–Fraenkel set theory →Neither cognitive nor didactic: c
- 15:2815:28, 8 January 2018 diff hist −38 m Oracle machine rm overtag in lede
- 11:3211:32, 8 January 2018 diff hist +552 Talk:Axiom of choice →The informal example about sock and shoes is invalid.: c
- 11:2911:29, 8 January 2018 diff hist −116 Axiom of choice The choice function itself is the rule, and moreover we cannot guarantee that the choice function is not definable (e.g in L)
7 January 2018
- 19:5819:58, 7 January 2018 diff hist −2 m Sun Microsystems Reverted edits by CBM (talk) to last version by 79.101.230.4 Tag: Rollback
- 19:5819:58, 7 January 2018 diff hist −1 m Curriki Reverted edits by CBM (talk) to last version by 79.101.230.4 Tag: Rollback
- 19:5719:57, 7 January 2018 diff hist +1 m Curriki Reverted edits by 79.101.230.4 (talk) to last version by KolbertBot Tag: Rollback
- 19:5719:57, 7 January 2018 diff hist +2 m Sun Microsystems Reverted edits by 79.101.230.4 (talk) to last version by JWilk Tag: Rollback
- 19:5519:55, 7 January 2018 diff hist +675 Talk:Disjunctive normal form →DNF and NP: c
- 19:3919:39, 7 January 2018 diff hist +5 Disjunctive normal form →Definition: finish removing sentence, if there is a confusion with clauses
- 19:3919:39, 7 January 2018 diff hist −283 m Disjunctive normal form →Definition: Why not just delete the sentence, in that case
- 17:0217:02, 7 January 2018 diff hist +1 m NetFreedom Task Force Reverted edits by 79.101.230.4 (talk) to last version by Onel5969 Tag: Rollback
- 17:0217:02, 7 January 2018 diff hist +1 m Dior Reverted edits by 79.101.230.4 (talk) to last version by InternetArchiveBot Tag: Rollback
- 17:0117:01, 7 January 2018 diff hist +343 N User talk:79.101.230.4 c current
- 17:0117:01, 7 January 2018 diff hist +2 m Mathematical logic Reverted edits by 79.101.230.4 (talk) to last version by Rgfuller Tag: Rollback
- 17:0117:01, 7 January 2018 diff hist +1 m Laboratory Reverted edits by 79.101.230.4 (talk) to last version by IvanScrooge98 Tag: Rollback
- 17:0017:00, 7 January 2018 diff hist +2 m King Reverted edits by 79.101.230.4 (talk) to last version by Donner60 Tag: Rollback
- 14:3214:32, 7 January 2018 diff hist −35 Disjunctive normal form →Definition
- 14:3114:31, 7 January 2018 diff hist +718 Talk:Disjunctive normal form →DNF and NP: new section
- 14:2914:29, 7 January 2018 diff hist −212 Disjunctive normal form Removing again - see talk
- 01:4501:45, 7 January 2018 diff hist +68 m American Mathematical Society Lists seem better to me than long paragraphs
6 January 2018
- 21:5521:55, 6 January 2018 diff hist +281 Talk:Axiom of choice →The informal example about sock and shoes is invalid.: c
- 21:4121:41, 6 January 2018 diff hist −194 Ricci flow In this case the link is fine Tag: Undo
- 21:4021:40, 6 January 2018 diff hist +459 Talk:Axiom of choice →The informal example about sock and shoes is invalid.: c
- 15:2115:21, 6 January 2018 diff hist +2 Axiom of choice →Axiom of choice in type theory: added section
- 15:2115:21, 6 January 2018 diff hist +854 Axiom of choice axiom of choice in type theory
- 15:0515:05, 6 January 2018 diff hist +700 Talk:Axiom of choice →The informal example about sock and shoes is invalid.: c
- 15:0115:01, 6 January 2018 diff hist −176 Axiom of choice Copyedit. The choice function itself is a rule that tells how to make the selection. And this is not "outside set theory"
- 14:5714:57, 6 January 2018 diff hist −390 Recursion Rm link