Knowledge

Talk:Generality of algebra

Source 📝

84: 74: 53: 494:
there. Like that you can treat i or something else like regular numbers when taking derivatives, or the fact you can just throw a negative into a logarithm and manipulate it algebraically to get an answer that makes sense, etc. No references at the moment but I think I saw it mentioned in multiple places when I was reading about the history of Euler's formula somewhere (maybe a JSTOR article or a PDF from somewhere, idk)...
22: 163: 313:
interprtetions made by Knowledge editors. At the moment, the article is hopelessly vague and says nothing useful about its subject. Of course, if the phrase has no specific meaning and was simply a throw-away description used once or twice by Cauchy, then it is probably not sufficiently notable to merit an article.
190:
infinite (or impossible to interpret), in spite of the conclusion being finite (and correct). Euler was particularly known for this style of "proof", and there are some well-known series and product identities (which naturally I can't remember at the moment) where he employed precisely this sort of argument.
762:
says that a primary source may be used to support "straightforward, descriptive statements that any educated person, with access to the source but without specialist knowledge, will be able to verify are supported by the source" - citing a source as an instance of the use of a phrase is an example of
493:
I think I may have also seen generality of algebra used to refer to more than just infinite series but also justification that things that *aren't regular* numbers could be treated like a number and therefore manipulated according to the same rules even if the operations and functions did not exist
426:
Thanks for your input. As I mentioned above, unfortunately historians of science seem to be less interested in participating in wiki, so we are all dealing in guesswork. I find it surprising that the term is attributed to Cauchy. I had the impression it was already used earlier. If anyone has
664:
OK, thanks, I was not familiar with Grandi's method in detail. In other cases, I think, generality of algebra does "work" by assigning to a series a value provided by the analytic continuation of the sum, but I don't have examples right now. Perhaps we could follow up the suggestion above to
312:
Yes, the article needs some examples of what the "generality of algebra" principle actually is - together, of course, with sources that demonstrate that these examples are actually referred to in the mathematical literature as demonstrating the "generality of algebra", and are not guesses and
189:
I agree that the analogy with analyticity is somewhat obscure. My understanding is that "generality of algebra" is not just a general lack of rigor, but that refers to a particular class of proof techniques where expressions would be manipulated past values that, if taken literally, would be
173:
then the connection is too weak for me to see it: please explain. It looks to me like someone has misunderstood: the "generality of algebra" is (as far as I can interpret that book) a statement about standards of proof, and how (informally) one may generalise results and formulae
380:, which actually contains the phrase "Examples 1 through 4 illustrate the principle of generality of algebra" preceded by 4 examples. There's no preview on google books, but there is on amazon.com. Starting at page 206 seems to be a nice source on the "generality of algebra". 502:
Hi G, thanks for your edits. I am not sure why you deleted my references to analytic continuation. Obviously, if you want to use the formula beyond the radius of convergence, you have to extend it first. How do you propose to extend it if not by analytic continuation?
665:
examine Euler's arguments related to values of the zeta function at negative integers? At any rate, this is not a major point, and one of the historians (Smithies, if I recall correctly) specifically warns against taking the analogy with analytic continuation too far.
281:
Could you please add this in? We are all reluctant to act as historians of mathematics but until we can get some professional historians interested in editing wiki pages (which does not seem to be the case on a large scale), it will have to be done by mathematicians.
646:- the power series plainly does not converge at that point, therefore it has no limit value. Grandi's arguments were ingenious but wrong because he and his contemporaries did not have a rigorous understanding of limits or convergence. This was exactly Cauchy's point. 842:
This deletion was explained in an edit comment. If you want to look neutral, you should acknowledge that. If L says something interesting and relevant, then add it to the article, or put it on the talk page for discussion. The article is not, currently, over-long
377: 232:
I think you are likely correct. OK, so the best-guess here is that the original article author has somewhat misunderstood the subject. That leaves open the question of whether this is a good title to discuss / describe these ideas under
427:
access to Koetsier's book, could they please check his 4 examples? Another idea is to look for the French expression "generalite d'algebre" (I am missing some accents here), which might be more common than the English term.
546:
Not really. I am just explaining what he did in terms that a modern reader can understand. Obviously these techniques anticipate analytic continuation to a certain extent, but there is no need to emphasize this point.
731:
At wiki the test of an assertion is not its truth but it being sourced. If a reliable historian says they were used before Cauchy, we can rely on that. On the contrary, we generally avoid relying on primary sources.
470:
An author appealing to this principle would usually use some such phrase as "the generality of algebra" or "the generality of analysis"; many such appeals can be found in the writings of CAUCHY'S immediate
522:
because I believe you are misusing the term. Analytic continuation does not magically extend the domain of convergence of a power series - instead, it says that an analytic function may be represented by
823:
Euler's vision of a general partial differential calculus for a generalized kind of function. J Lützen, in Sherlock Holmes in Babylon and Other Tales of Mathematical History, 2004, page 354.
347:
I agree with that with the exception that I would replace the word "demonstrate" by "illustrate": generality of algebra being a heuristic principle, it is not something one can demonstrate.
140: 706:
that says "As for methods I have sought to give them all the rigour that one requires in geometry, so as never to have recourse to the reasons drawn from the generality of algebra" -
527:
power series in different parts of the complex plane. Analytic continuation forms part of the more rigorous approach to analysis introduced by Cauchy and Weierstrass as a reaction
566:. He did not use analytic continuation or anything like it. A more fundamental problem with your claims is that you just cannot use analytic continuation to assign a value to 615: 167:
The analysts of the 18th century shared certain convictions... and the standards of proof. When he referred to them later, Cauchy spoke aptly of the Generality of algebra
209: 644: 407:
as a source. As far as I can see, the phrase was coined and mainly used by Cauchy; it is mentioned in our article on Cauchy, in the last sentence of the section
827:
Lutzen is a distinguished historian, and if there is anyone competent to speak about the generality of algebra, it would be Lutzen. This deletion is odd.
962: 130: 531:
the less watertight arguments of earlier mathematicians. When you imply that Grandi used analytic continuation, you are rewriting mathematical history.
861:
I understand that you left an "edit comment", and I look forward to a productive collaboration on this page, but I don't accept the "edit comment".
957: 763:
such a straightforward, descriptive statement. However, I am bored with this pointless debate, so I have changed "coined" to "used" to placate you.
106: 443:
The rewrite makes sense, so that is great. I agree with you re notability, but OTOH it is now harmless, so don't care much. Q: we now have
97: 58: 713:
specific example, with source, of a mathematical author who used the term before Cauchy. Assertions without sources are worthless.
687:
Contrary to what is currently written in the article, the term was in use well before Cauchy, as the references above testify.
939: 912: 848: 452: 238: 179: 219: 197: 932: 33: 563: 468:
Cauchy's conception of rigour in analysis. F Smithies - Archive for history of exact sciences, 1986 - Springer. ...
376:
be an example, I don't actually know; though from what follows, it seems likely. A quick search turns up this book
935: 908: 844: 448: 234: 175: 408: 213: 191: 907:
Well, if the paper is indeed important, could you perhaps quote some of the important observations made in it?
707: 255:
Another example could be Euler's computation of the value of the Riemann zeta function at negative integers.
21: 789:"However, I am bored with this pointless debate, so I have changed "coined" to "used" to placate you." - 882: 519: 39: 83: 881:
More specifically, I feel that the paper is important and should be visible to all editors working on
403:
of the term "generality of algebra" to the article, I have finally done this myself, using Jahnke's
768: 718: 651: 536: 416: 318: 569: 105:
on Knowledge. If you would like to participate, please visit the project page, where you can join
89: 73: 52: 798: 759: 890: 866: 832: 737: 692: 670: 552: 508: 481: 445:
Euler's vision of a general partial differential calculus for a generalized kind of function
432: 385: 352: 287: 260: 620: 790: 764: 714: 647: 532: 412: 314: 951: 411:. I am still not convinced that it is sufficiently notable to merit its own article. 794: 943: 916: 894: 886: 870: 862: 852: 836: 828: 802: 772: 741: 733: 722: 696: 688: 674: 666: 655: 556: 548: 540: 512: 504: 485: 477: 456: 436: 428: 420: 389: 381: 356: 348: 322: 291: 283: 264: 256: 242: 223: 201: 183: 102: 79: 702:
The only specific quotation that I can find for the phrase is a passage from
447:
hanging on in the further reading section; the relevance of that is unclear
208:
One example (not really the best illustration of the concept, though) is
793:: Hilarious! If only such temperance were more common in Knowledge. 465:
Smithies reports that many authors used the phrase before Cauchy:
15: 162:
Happily, S accidentally pasted in his google books search
758:
of primary sources is discouraged on Knowledge. However,
378:
Lakatos' philosophy of mathematics, Volume 3 by Koetsier
709:. If you wish to demonstrate earlier use, just provide 562:
There is a detailed description of Grandi's methods at
623: 572: 399:
Since no-one else had got round to adding an actual
101:, a collaborative effort to improve the coverage of 819:An editor insists on deleting the following item: 638: 609: 8: 931:If you liked this page, you might also like 165:so we know what that ref actually says is 47: 19: 622: 589: 571: 372:In my example above, I do mean that this 885:without having to go to the talk page. 49: 171:therefore somewhat akin to analyticity 409:Augustin-Louis Cauchy#Cours d'Analyse 7: 95:This article is within the scope of 38:It is of interest to the following 14: 963:Low-priority mathematics articles 115:Knowledge:WikiProject Mathematics 118:Template:WikiProject Mathematics 82: 72: 51: 20: 958:Stub-Class mathematics articles 135:This article has been rated as 1: 933:Ghosts of departed quantities 927:Ghosts of departed quantities 610:{\displaystyle 1+z+z^{2}+...} 109:and see a list of open tasks. 518:I removed the references to 979: 803:19:38, 3 August 2011 (UTC) 564:History of Grandi's series 243:23:02, 30 April 2011 (UTC) 224:22:42, 30 April 2011 (UTC) 202:22:40, 30 April 2011 (UTC) 184:22:19, 30 April 2011 (UTC) 134: 67: 46: 141:project's priority scale 944:16:03, 3 May 2011 (UTC) 917:15:58, 3 May 2011 (UTC) 895:14:49, 3 May 2011 (UTC) 871:14:48, 3 May 2011 (UTC) 853:10:29, 3 May 2011 (UTC) 837:09:00, 3 May 2011 (UTC) 773:17:50, 2 May 2011 (UTC) 742:17:04, 2 May 2011 (UTC) 723:16:39, 2 May 2011 (UTC) 697:16:26, 2 May 2011 (UTC) 675:08:19, 3 May 2011 (UTC) 656:08:04, 3 May 2011 (UTC) 557:03:41, 3 May 2011 (UTC) 541:16:21, 2 May 2011 (UTC) 513:16:18, 2 May 2011 (UTC) 486:08:35, 2 May 2011 (UTC) 457:08:23, 2 May 2011 (UTC) 437:08:21, 2 May 2011 (UTC) 421:08:08, 2 May 2011 (UTC) 390:16:13, 1 May 2011 (UTC) 357:08:33, 1 May 2011 (UTC) 323:08:28, 1 May 2011 (UTC) 292:06:43, 1 May 2011 (UTC) 265:05:52, 1 May 2011 (UTC) 98:WikiProject Mathematics 640: 611: 28:This article is rated 883:generality of algebra 641: 612: 520:analytic continuation 498:analytic continuation 405:A History of Analysis 936:William M. Connolley 909:William M. Connolley 845:William M. Connolley 639:{\displaystyle z=-1} 621: 570: 449:William M. Connolley 235:William M. Connolley 176:William M. Connolley 121:mathematics articles 636: 607: 90:Mathematics portal 34:content assessment 155: 154: 151: 150: 147: 146: 970: 645: 643: 642: 637: 616: 614: 613: 608: 594: 593: 216: 194: 123: 122: 119: 116: 113: 92: 87: 86: 76: 69: 68: 63: 55: 48: 31: 25: 24: 16: 978: 977: 973: 972: 971: 969: 968: 967: 948: 947: 929: 817: 704:Cours d'Analyse 685: 619: 618: 585: 568: 567: 500: 397: 214: 192: 160: 120: 117: 114: 111: 110: 88: 81: 61: 32:on Knowledge's 29: 12: 11: 5: 976: 974: 966: 965: 960: 950: 949: 928: 925: 924: 923: 922: 921: 920: 919: 900: 899: 898: 897: 876: 875: 874: 873: 856: 855: 825: 824: 816: 813: 812: 811: 810: 809: 808: 807: 806: 805: 780: 779: 778: 777: 776: 775: 756:Interpretation 747: 746: 745: 744: 726: 725: 684: 681: 680: 679: 678: 677: 659: 658: 635: 632: 629: 626: 606: 603: 600: 597: 592: 588: 584: 581: 578: 575: 544: 543: 499: 496: 491: 490: 489: 488: 475: 474: 473: 460: 459: 440: 439: 396: 393: 370: 369: 368: 367: 366: 365: 364: 363: 362: 361: 360: 359: 334: 333: 332: 331: 330: 329: 328: 327: 326: 325: 301: 300: 299: 298: 297: 296: 295: 294: 272: 271: 270: 269: 268: 267: 248: 247: 246: 245: 227: 226: 215:Sławomir Biały 205: 204: 193:Sławomir Biały 159: 156: 153: 152: 149: 148: 145: 144: 133: 127: 126: 124: 107:the discussion 94: 93: 77: 65: 64: 56: 44: 43: 37: 26: 13: 10: 9: 6: 4: 3: 2: 975: 964: 961: 959: 956: 955: 953: 946: 945: 941: 937: 934: 926: 918: 914: 910: 906: 905: 904: 903: 902: 901: 896: 892: 888: 884: 880: 879: 878: 877: 872: 868: 864: 860: 859: 858: 857: 854: 850: 846: 841: 840: 839: 838: 834: 830: 822: 821: 820: 814: 804: 800: 796: 792: 788: 787: 786: 785: 784: 783: 782: 781: 774: 770: 766: 761: 757: 753: 752: 751: 750: 749: 748: 743: 739: 735: 730: 729: 728: 727: 724: 720: 716: 712: 708: 705: 701: 700: 699: 698: 694: 690: 682: 676: 672: 668: 663: 662: 661: 660: 657: 653: 649: 633: 630: 627: 624: 604: 601: 598: 595: 590: 586: 582: 579: 576: 573: 565: 561: 560: 559: 558: 554: 550: 542: 538: 534: 530: 526: 521: 517: 516: 515: 514: 510: 506: 497: 495: 487: 483: 479: 476: 472: 471:predecessors. 467: 466: 464: 463: 462: 461: 458: 454: 450: 446: 442: 441: 438: 434: 430: 425: 424: 423: 422: 418: 414: 410: 406: 402: 394: 392: 391: 387: 383: 379: 375: 358: 354: 350: 346: 345: 344: 343: 342: 341: 340: 339: 338: 337: 336: 335: 324: 320: 316: 311: 310: 309: 308: 307: 306: 305: 304: 303: 302: 293: 289: 285: 280: 279: 278: 277: 276: 275: 274: 273: 266: 262: 258: 254: 253: 252: 251: 250: 249: 244: 240: 236: 231: 230: 229: 228: 225: 221: 217: 211: 207: 206: 203: 199: 195: 188: 187: 186: 185: 181: 177: 172: 169:. If that is 168: 164: 157: 142: 138: 132: 129: 128: 125: 108: 104: 100: 99: 91: 85: 80: 78: 75: 71: 70: 66: 60: 57: 54: 50: 45: 41: 35: 27: 23: 18: 17: 930: 826: 818: 755: 754:Dead wrong. 710: 703: 686: 545: 528: 524: 501: 492: 469: 444: 404: 400: 398: 373: 371: 170: 166: 161: 137:Low-priority 136: 96: 62:Low‑priority 40:WikiProjects 112:Mathematics 103:mathematics 59:Mathematics 952:Categories 760:WP:PRIMARY 401:definition 30:Stub-class 791:Gandalf61 765:Gandalf61 715:Gandalf61 648:Gandalf61 533:Gandalf61 525:different 413:Gandalf61 315:Gandalf61 158:Odd refs 795:KlappCK 683:Dubious 529:against 395:Rewrite 139:on the 887:Tkuvho 863:Tkuvho 829:Tkuvho 815:Lutzen 734:Tkuvho 689:Tkuvho 667:Tkuvho 549:Tkuvho 505:Tkuvho 478:Tkuvho 429:Tkuvho 382:RobHar 349:Tkuvho 284:Tkuvho 257:RobHar 36:scale. 374:could 940:talk 913:talk 891:talk 867:talk 849:talk 833:talk 799:talk 769:talk 738:talk 719:talk 693:talk 671:talk 652:talk 553:talk 537:talk 509:talk 482:talk 453:talk 433:talk 417:talk 386:talk 353:talk 319:talk 288:talk 261:talk 239:talk 220:talk 210:this 198:talk 180:talk 711:one 617:at 212:. 131:Low 954:: 942:) 915:) 893:) 869:) 851:) 835:) 801:) 771:) 740:) 721:) 695:) 673:) 654:) 631:− 555:) 539:) 511:) 484:) 455:) 435:) 419:) 388:) 355:) 321:) 290:) 263:) 241:) 222:) 200:) 182:) 938:( 911:( 889:( 865:( 847:( 831:( 797:( 767:( 736:( 717:( 691:( 669:( 650:( 634:1 628:= 625:z 605:. 602:. 599:. 596:+ 591:2 587:z 583:+ 580:z 577:+ 574:1 551:( 535:( 507:( 480:( 451:( 431:( 415:( 384:( 351:( 317:( 286:( 259:( 237:( 218:( 196:( 178:( 143:. 42::

Index


content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
Low
project's priority scale

William M. Connolley
talk
22:19, 30 April 2011 (UTC)
Sławomir Biały
talk
22:40, 30 April 2011 (UTC)
this
Sławomir Biały
talk
22:42, 30 April 2011 (UTC)
William M. Connolley
talk
23:02, 30 April 2011 (UTC)
RobHar
talk
05:52, 1 May 2011 (UTC)

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.