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::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.