209:
199:
178:
150:
31:
448:
432:
416:
88:
64:
22:
318:
283:
761:
328:
98:
674:
Wasn't that Cantor? According to
Stephen Hawking's book "God Created the Integers" he claims "Dedekind took the natural numbers as the paradigm example of an infinite set and defined a set as infinite if the natural numbers could be put into a one-to-one correspondence with that set, or a subset of
553:
I have rewritten this entry, adding links and references, simply because it, like all too many
Knowledge biographical entries for mathematicians and philosophers, was a shabby affair. I think what I have done here is largely a matter of polish, detail, and organization, with one exception. The entry
513:
This means that if you take any ring and then take any set of elements in R that is a group by itself and obey all of the laws of normal addition (e.g. a+b=b+a, a+0=a) then that set is an Ideal if any element of R can be multiplied on the left and on the right of any elemnt of I and the result is in
509:
An ideal doen't aply to specific numbers. It is a set of numbers. Specifically, if R is a ring and I a nonempty subset of R than I is an ideal if: I is a group under the additive operation of R, and given any element of R, say r, and any element of I, say a, then ra is in present in I and ar is
644:
As for
Hawking, unfortunately he is wrong, Dedekind was the first to employ that definition -- he even mentions in a footnote that he presented it to Cantor in sept. 1882. See e.g. J. Ferreiros, "Labyrinth of Thought" (Birkhäuser, 1999) on this and related issues.
35:
837:
640:
In the article you write "This is known as
Dedekind's theorem.". It should say: "This is known as the concept of Dedekind-infinite set; it appears originally in section 5 of Was sind und was sollen die Zahlen?"
724:
Bell is notoriously unreliable and should not under any circumstances be used as a source of biographical information. The whole section should be checked in detail and referenced to reliable sources.
483:"We can easily see that for arbitrary whole numbers m and n and if for their such 'classes' 'class' (m) is part of 'class' of (n) (we write then as (m)/(n)) only and only then if m divide n. "
832:
265:
907:
912:
159:
74:
817:
540:
That sentence is indeed incomprehensible and I have simply eliminated it from the entry. Knowledge's mathematical entries are in good hands, and that holds for the entries
902:
842:
349:
on
Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
455:
423:
301:
293:
877:
867:
857:
807:
386:
376:
255:
882:
822:
802:
847:
812:
116:
670:
He invoked similarity to give the first precise definition of an infinite set: a set is infinite when it is "similar to a proper part of itself,"
892:
231:
872:
852:
351:
862:
652:
498:
120:
827:
675:
it. ... Cantor ... defined a set as being infinite if it could be put into a one-to-one correspondence with a proper subset of itself."
582:
529:
713:
897:
124:
222:
183:
115:, a collaborative effort to create, develop and organize Knowledge's articles about people. All interested editors are invited to
773:
563:
I have a hunch that anyone wishing to edit this entry further should first read
Stillwell's Intro to his 1996 translation to the
341:
288:
887:
797:
558:, when MacTutor attributes ideals to the 3rd ed. of the Dirichlet lectures. I have gone with MacTutor; correct me if I'm wrong.
111:
69:
44:
439:
297:
514:
I i.e. a*r and r*a both equal an element in I, but not always the same element. In fact usually they are not equal.
656:
494:
525:
777:
578:
548:. Hence I feel no compelling need to explain these concepts carefully here, but others are free to dissent.
769:
679:
660:
490:
781:
751:
521:
50:
747:
This{{Clarify|date=October 2011}} is known as
Dedekind's theorem.{{Citation needed|date=October 2011}}
208:
730:
648:
570:
517:
486:
599:
He was born, lived most of his life, and died in
Braunschweig (often called "Brunswick" in English).
21:
716:
230:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
694:
574:
214:
198:
177:
149:
702:
333:
690:
103:
726:
623:
447:
431:
415:
791:
605:
715:). Thanks for pointing this out; I believe I have taken care of the paraphrasing. --
698:
545:
676:
227:
87:
63:
619:
346:
323:
204:
93:
697:. Since Bell died in 1960, I imagine that this book is not in public domain.
734:
719:
706:
627:
608:
586:
533:
502:
345:, a collaborative effort to improve the coverage of content related to
317:
282:
618:(He was born, lived most of his life, and died) in Braunschweig. --
123:. For instructions on how to use this banner, please refer to the
541:
666:
This artical claims that
Dedekind thought a set was infinite if
15:
838:
Unknown-importance biography (science and academia) articles
446:
430:
414:
148:
480:
This sentence is incomprehensible. Can someone fix it?
554:
used to attribute Dedekind's notion of ideal to his
226:, a collaborative effort to improve the coverage of
397:
833:C-Class biography (science and academia) articles
750:Please, does someone have any idea about this ?
908:Mid-importance Contemporary philosophy articles
635:
8:
913:Contemporary philosophy task force articles
818:Knowledge level-5 vital articles in People
712:It is not; copyright was renewed in 1965 (
394:
277:
172:
58:
780:, this sentence was completely replaced.
903:C-Class Contemporary philosophy articles
843:Science and academia work group articles
636:Dedekind's definition of an infinite set
604:What part of his life didn't he live? --
279:
174:
60:
19:
355:about philosophy content on Knowledge.
7:
689:This section is a copy-and-paste of
339:This article is within the scope of
220:This article is within the scope of
109:This article is within the scope of
878:Mid-importance philosopher articles
160:the science and academia work group
49:It is of interest to the following
868:Mid-importance Philosophy articles
858:High-priority mathematics articles
808:Knowledge vital articles in People
14:
240:Knowledge:WikiProject Mathematics
883:Philosophers task force articles
823:C-Class vital articles in People
803:Knowledge level-5 vital articles
759:
361:Knowledge:WikiProject Philosophy
326:
316:
281:
243:Template:WikiProject Mathematics
207:
197:
176:
96:
86:
62:
29:
20:
381:This article has been rated as
364:Template:WikiProject Philosophy
260:This article has been rated as
133:Knowledge:WikiProject Biography
848:WikiProject Biography articles
813:C-Class level-5 vital articles
136:Template:WikiProject Biography
1:
893:Mid-importance logic articles
661:15:48, 10 December 2012 (UTC)
609:23:01, 8 September 2006 (UTC)
587:19:44, 19 February 2006 (UTC)
534:19:31, 10 December 2005 (UTC)
234:and see a list of open tasks.
157:This article is supported by
873:C-Class philosopher articles
853:C-Class mathematics articles
680:06:39, 5 November 2006 (UTC)
565:Theory of Algebraic Integers
556:Theory of Algebraic Integers
121:contribute to the discussion
863:C-Class Philosophy articles
929:
828:C-Class biography articles
720:00:50, 11 April 2011 (UTC)
707:18:02, 31 March 2011 (UTC)
594:He lived most of his life?
387:project's importance scale
898:Logic task force articles
735:15:21, 5 March 2014 (UTC)
628:23:11, 5 March 2008 (UTC)
454:
438:
422:
393:
380:
311:
259:
192:
156:
81:
57:
503:00:32, 30 May 2004 (UTC)
266:project's priority scale
742:
456:Contemporary philosophy
398:Associated task forces:
223:WikiProject Mathematics
888:C-Class logic articles
798:C-Class vital articles
770:removed in August 2013
617:Are you serious? : -->
451:
435:
419:
342:WikiProject Philosophy
153:
768:: The second tag was
573:comment was added by
520:comment was added by
489:comment was added by
450:
434:
418:
152:
112:WikiProject Biography
36:level-5 vital article
246:mathematics articles
75:Science and Academia
367:Philosophy articles
772:and the first one
743:Dedekind's theorem
695:Men of Mathematics
452:
436:
420:
352:general discussion
215:Mathematics portal
154:
139:biography articles
45:content assessment
651:comment added by
589:
536:
505:
473:
472:
469:
468:
465:
464:
461:
460:
334:Philosophy portal
276:
275:
272:
271:
171:
170:
167:
166:
920:
778:in February 2021
767:
763:
762:
691:Eric Temple Bell
663:
568:
515:
510:present in I.
484:
405:
395:
369:
368:
365:
362:
359:
336:
331:
330:
329:
320:
313:
312:
307:
304:
285:
278:
248:
247:
244:
241:
238:
217:
212:
211:
201:
194:
193:
188:
180:
173:
141:
140:
137:
134:
131:
117:join the project
106:
104:Biography portal
101:
100:
99:
90:
83:
82:
77:
66:
59:
42:
33:
32:
25:
24:
16:
928:
927:
923:
922:
921:
919:
918:
917:
788:
787:
774:in October 2013
760:
758:
754:, October 2012
745:
687:
646:
638:
596:
569:—The preceding
516:—The preceding
485:—The preceding
478:
403:
366:
363:
360:
357:
356:
332:
327:
325:
305:
291:
245:
242:
239:
236:
235:
213:
206:
186:
138:
135:
132:
129:
128:
102:
97:
95:
72:
43:on Knowledge's
40:
30:
12:
11:
5:
926:
924:
916:
915:
910:
905:
900:
895:
890:
885:
880:
875:
870:
865:
860:
855:
850:
845:
840:
835:
830:
825:
820:
815:
810:
805:
800:
790:
789:
786:
785:
744:
741:
740:
739:
738:
737:
717:Moonriddengirl
686:
683:
672:
671:
653:85.137.219.152
637:
634:
633:
632:
631:
630:
612:
611:
595:
592:
591:
590:
560:
559:
550:
549:
508:
491:144.132.24.212
477:
474:
471:
470:
467:
466:
463:
462:
459:
458:
453:
443:
442:
437:
427:
426:
421:
411:
410:
408:
406:
400:
399:
391:
390:
383:Mid-importance
379:
373:
372:
370:
338:
337:
321:
309:
308:
306:Mid‑importance
286:
274:
273:
270:
269:
258:
252:
251:
249:
232:the discussion
219:
218:
202:
190:
189:
181:
169:
168:
165:
164:
155:
145:
144:
142:
108:
107:
91:
79:
78:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
925:
914:
911:
909:
906:
904:
901:
899:
896:
894:
891:
889:
886:
884:
881:
879:
876:
874:
871:
869:
866:
864:
861:
859:
856:
854:
851:
849:
846:
844:
841:
839:
836:
834:
831:
829:
826:
824:
821:
819:
816:
814:
811:
809:
806:
804:
801:
799:
796:
795:
793:
783:
779:
775:
771:
766:
757:
756:
755:
753:
748:
736:
732:
728:
723:
722:
721:
718:
714:
711:
710:
709:
708:
704:
700:
696:
692:
684:
682:
681:
678:
669:
668:
667:
664:
662:
658:
654:
650:
642:
629:
625:
621:
616:
615:
614:
613:
610:
607:
603:
602:
601:
600:
593:
588:
584:
580:
576:
575:202.36.179.65
572:
566:
562:
561:
557:
552:
551:
547:
543:
539:
538:
537:
535:
531:
527:
523:
522:63.226.178.47
519:
511:
506:
504:
500:
496:
492:
488:
481:
475:
457:
449:
445:
444:
441:
433:
429:
428:
425:
417:
413:
412:
409:
407:
402:
401:
396:
392:
388:
384:
378:
375:
374:
371:
354:
353:
348:
344:
343:
335:
324:
322:
319:
315:
314:
310:
303:
299:
295:
290:
287:
284:
280:
267:
263:
262:High-priority
257:
254:
253:
250:
233:
229:
225:
224:
216:
210:
205:
203:
200:
196:
195:
191:
187:High‑priority
185:
182:
179:
175:
162:
161:
151:
147:
146:
143:
126:
125:documentation
122:
118:
114:
113:
105:
94:
92:
89:
85:
84:
80:
76:
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
784:, April 2022
764:
749:
746:
688:
673:
665:
647:— Preceding
643:
639:
598:
597:
564:
555:
546:ideal number
512:
507:
482:
479:
424:Philosophers
382:
350:
340:
302:Contemporary
294:Philosophers
261:
221:
158:
110:
51:WikiProjects
34:
776:. Finally,
476:Fix request
237:Mathematics
228:mathematics
184:Mathematics
792:Categories
727:Psychonaut
358:Philosophy
347:philosophy
289:Philosophy
130:Biography
70:Biography
39:is rated
693:'s book
649:unsigned
606:Ihope127
583:contribs
571:unsigned
530:contribs
518:unsigned
499:contribs
487:unsigned
699:Albmont
385:on the
264:on the
41:C-class
677:Boyton
47:scale.
620:euyyn
542:ideal
440:Logic
298:Logic
28:This
782:Anne
765:Done
752:Anne
731:talk
703:talk
685:Life
657:talk
624:talk
579:talk
544:and
526:talk
495:talk
256:High
119:and
377:Mid
794::
733:)
705:)
659:)
626:)
585:)
581:•
567:.
532:)
528:•
501:)
497:•
404:/
300:/
296:/
292::
73::
729:(
725:—
701:(
655:(
622:(
577:(
524:(
493:(
389:.
268:.
163:.
127:.
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.