736:
have come across any of it that happens to elucidate any aspects of ultrafinitism in particular. But for
Wildberger, I see it as problematic that he is now currently in the business of monitizing youtube videos that feature unsubstantiated attacks on mainstream mathematics by a wide range of obvious deception mechanisms such as straw man tactics as well as a variety of the strategies described on the Knowledge page on Equivocation. It is not reasonable to include the name of a recognizable crackpot among names of recognized mathematicians, as it is bound to tarnish their well-owned reputations.
84:
74:
53:
323:
307:
291:
22:
193:
158:
203:
708:
There's a citation on the sentence, that's fine. What's troubling to me is that this summary is incomplete. I do not understand Lavine's work, but I don't think it is acceptable to summarize the work like this. What you've essentially said is "this guy, who works only on numbers that can actually be
735:
It is not reasonable to include Norman
Wildberger in the list of people who "worked on ultrafinitism". I can personally vouch for mathematicians like Ed Nelson and Doron Zeilberger, who have both done valuable contributions to actual mathematics. I am aware of their work, though I cannot say that I
617:
I'd be cautious using a word like "extreme" to describe a philosophy. It may be a minority opinion, but saying that it is an extreme form of finitism may be misleading, as it may suggest to the reader that it is held in some kind of disrepute by mainstream philosophers. Also, it is not extreme in
534:
It appears, after a quick search on Google, that this concept is much more commonly referred to as "ultrafinitism", but that the two terms are synonymous. I could be wrong, not being terribly familiar with either of the terms, but it seems that the article should probably be renamed in favor of the
495:
Under the section about notable personalities associated with ultrafinism
Wittgenstein is listed. I'm curious, and this is certainly relevant to the article in my opinion: was this "early," "middle," or "late" Wittgenstein as the Stanford Encyclopedia of Philosophy might definite it?
636:
I think that the claim "it may not even be physically possible to do so" needs clarification. I suggest comparing it to a number such as the believed number of particles in the universe, which I think is significantly less? Someone who knows more should clarify.
758:
I haven't looked deeply into
Wildberger, but he seems to have a position at a legit university. He holds unusual views that I don't share, but then all ultrafinitists do; I'm not sure by what clear criterion we're going to separate Wildberger from the others
709:
written, has created a system that allows for no largest integer by allowing it to not be written." That makes no sense. Can someone who is familiar with Lavine's work please clean up this sentence and give it some more explanation ?
548:
I believe that Strict
Finitism is more standard terminology than Ultrafinitism. I suggest either renaming this article to "Strict Finitism" or, if the name "Ultrafinitism" is left, then redirecting Strict Finitism here.
704:
The current page has this text: Lavine has shown that the basic principles of arithmetic such as "there is no largest natural number" can be upheld, as Lavine allows for the inclusion of "indefinitely large" numbers.
766:
forcefully in the course of his other mathematical work, but he does not seem to publish serious papers in foundations, at least that I have seen in a cursory search from his webpage. Let me know if I've missed
140:
853:
848:
858:
762:
Zeilberger may be more problematic as an example of someone who has "worked in the topic". I'm not actually aware that he has, in any serious way. He expresses his
224:
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
774:. Whether Wildberger's "rational trigonometry" is serious or not I haven't looked into enough to offer an opinion, but it does seem to be work on the topic. --
823:
662:" are wonderful science-fictional takes on ultrafinitism. I can't quite bring myself to add a "Ultrafinitism in fiction" section to this article, though. --
298:
168:
813:
261:
251:
803:
130:
818:
798:
401:, nor searching the American Mathematical Society site! I remember Penelope Maddy somewhere referring to ultrafinitism, but with no reference. Thanks.
330:
176:
828:
808:
682:
838:
106:
226:
743:
833:
497:
843:
512:
416:
97:
58:
393:
Hi, does anyone know further references about the subject, expecially from a mathematical point of view? I could not find the word
446:
216:
163:
411:
589:
The link to
Completed infinity is bogus. It redirects to Infinity and there is no clear explanation of the term there.
33:
314:
172:
566:
Ultra-finitism is more commonly used as far as I know. I think we should redirect the other names to ultra-finitism.
473:
541:
Since I've filled this out with information from
Troelstra, who says "ultra-finitism", I've made the switch. --
430:
Indeed. I've added it to the article as an external link; we could also expand/rewrite the article based on it.
683:
http://www.maa.org/sites/default/files/images/upload_library/46/HOMSIGMAA/Shell_1st-Maloney-constructivists.pdf
747:
370:
It was added by an IP editor at the beginning of March; I undid that edit. Thanks for pointing it out. — Carl
21:
501:
516:
355:
What does this word means? If you google it the only hit is this page and a couple of copies of this page.
655:
618:
the sense of being an extension of finitist principles. Rather than being extreme finitism, it is merely
420:
511:
He has a book on philosophy of mathematics. I think this is mainly related to what he says in the book.
39:
83:
638:
739:
720:
435:
398:
779:
690:
667:
623:
571:
480:
461:
360:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
714:
402:
89:
73:
52:
454:
567:
542:
476:
457:
447:
http://math.stackexchange.com/questions/531/what-is-ultrafinitism-and-why-do-people-believe-it
208:
556:
431:
453:
Good idea. There are also a considerable number of discussions on the FOM mailing list:
775:
686:
663:
412:
http://mathoverflow.net/questions/44208/is-there-any-formal-foundation-to-ultrafinitism
356:
322:
306:
290:
792:
710:
659:
377:
600:
590:
536:
102:
474:
http://golem.ph.utexas.edu/category/2011/09/the_inconsistency_of_arithmeti.html
641:
552:
221:
198:
79:
651:
373:
220:, a collaborative effort to improve the coverage of content related to
783:
751:
724:
694:
671:
626:
603:
593:
575:
560:
520:
505:
484:
465:
439:
424:
405:
382:
364:
192:
157:
770:
Nelson, on the other hand, did seriously "work in the topic", in
15:
455:
http://www.google.com/search?q=site:cs.nyu.edu+ultrafinitism
321:
305:
289:
101:, a collaborative effort to improve the coverage of
700:
The Lavine section needs help, sounds contradictory
272:
8:
472:Another discussion on ultrafinitim is here:
854:Low-importance Analytic philosophy articles
19:
737:
718:
269:
152:
47:
849:Start-Class Analytic philosophy articles
859:Analytic philosophy task force articles
681:This looks like it might be relevant:
154:
49:
230:about philosophy content on Knowledge.
7:
214:This article is within the scope of
95:This article is within the scope of
824:Low-importance metaphysics articles
38:It is of interest to the following
814:Low-importance Philosophy articles
14:
804:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
819:Start-Class metaphysics articles
799:Start-Class mathematics articles
236:Knowledge:WikiProject Philosophy
201:
191:
156:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
829:Metaphysics task force articles
809:Start-Class Philosophy articles
256:This article has been rated as
239:Template:WikiProject Philosophy
135:This article has been rated as
627:01:17, 28 September 2005 (UTC)
1:
839:Low-importance logic articles
506:02:29, 12 December 2011 (UTC)
440:06:52, 17 February 2011 (UTC)
425:22:52, 16 February 2011 (UTC)
109:and see a list of open tasks.
485:15:28, 23 October 2011 (UTC)
875:
834:Start-Class logic articles
594:07:52, 30 March 2007 (UTC)
561:22:46, 17 April 2011 (UTC)
383:02:16, 31 March 2013 (UTC)
365:20:51, 30 March 2013 (UTC)
262:project's importance scale
844:Logic task force articles
784:05:29, 17 July 2018 (UTC)
752:19:58, 16 July 2018 (UTC)
604:11:23, 10 June 2007 (UTC)
576:02:19, 10 June 2011 (UTC)
545:23:15, 15 Oct 2003 (UTC)
466:02:22, 10 June 2011 (UTC)
406:16:04, 2 March 2007 (UTC)
329:
313:
297:
268:
255:
186:
134:
67:
46:
725:04:07, 2 July 2017 (UTC)
695:13:56, 7 June 2015 (UTC)
672:13:13, 7 June 2015 (UTC)
521:07:04, 9 June 2012 (UTC)
141:project's priority scale
642:05:24, 1 May 2006 (UTC)
273:Associated task forces:
98:WikiProject Mathematics
772:Predicative Arithmetic
326:
310:
294:
217:WikiProject Philosophy
28:This article is rated
631:
410:This is informative:
325:
309:
293:
535:more popular term. -
121:mathematics articles
331:Analytic philosophy
242:Philosophy articles
654:'s short stories "
585:Completed infinity
327:
311:
295:
227:general discussion
90:Mathematics portal
34:content assessment
754:
742:comment added by
727:
381:
348:
347:
344:
343:
340:
339:
336:
335:
209:Philosophy portal
151:
150:
147:
146:
866:
620:more constrained
371:
280:
270:
244:
243:
240:
237:
234:
211:
206:
205:
204:
195:
188:
187:
182:
179:
160:
153:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
874:
873:
869:
868:
867:
865:
864:
863:
789:
788:
733:
702:
679:
677:Further reading
649:
634:
622:than finitism.
615:
599:I removed it.--
587:
532:
530:Strict Finitism
493:
391:
353:
278:
241:
238:
235:
232:
231:
207:
202:
200:
180:
166:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
872:
870:
862:
861:
856:
851:
846:
841:
836:
831:
826:
821:
816:
811:
806:
801:
791:
790:
787:
786:
768:
760:
744:90.185.105.208
732:
729:
723:comment added
701:
698:
678:
675:
648:
645:
633:
632:Skewes' Number
630:
624:Twelvethirteen
614:
611:
609:
607:
606:
586:
583:
581:
579:
578:
531:
528:
526:
524:
523:
492:
489:
488:
487:
469:
468:
450:
449:
443:
442:
390:
387:
386:
385:
352:
351:Inexistifyable
349:
346:
345:
342:
341:
338:
337:
334:
333:
328:
318:
317:
312:
302:
301:
296:
286:
285:
283:
281:
275:
274:
266:
265:
258:Low-importance
254:
248:
247:
245:
213:
212:
196:
184:
183:
181:Low‑importance
161:
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:
871:
860:
857:
855:
852:
850:
847:
845:
842:
840:
837:
835:
832:
830:
827:
825:
822:
820:
817:
815:
812:
810:
807:
805:
802:
800:
797:
796:
794:
785:
781:
777:
773:
769:
765:
761:
757:
756:
755:
753:
749:
745:
741:
730:
728:
726:
722:
716:
712:
706:
699:
697:
696:
692:
688:
684:
676:
674:
673:
669:
665:
661:
660:Dark Integers
657:
653:
647:Dark Integers
646:
644:
643:
640:
629:
628:
625:
621:
612:
610:
605:
602:
598:
597:
596:
595:
592:
584:
582:
577:
573:
569:
565:
564:
563:
562:
558:
554:
550:
546:
544:
539:
538:
529:
527:
522:
518:
514:
510:
509:
508:
507:
503:
499:
498:108.218.2.235
491:Wittgenstein?
490:
486:
482:
478:
475:
471:
470:
467:
463:
459:
456:
452:
451:
448:
445:
444:
441:
437:
433:
429:
428:
427:
426:
422:
418:
414:
413:
408:
407:
404:
400:
396:
395:ultrafinitism
388:
384:
379:
375:
369:
368:
367:
366:
362:
358:
350:
332:
324:
320:
319:
316:
308:
304:
303:
300:
292:
288:
287:
284:
282:
277:
276:
271:
267:
263:
259:
253:
250:
249:
246:
229:
228:
223:
219:
218:
210:
199:
197:
194:
190:
189:
185:
178:
174:
170:
165:
162:
159:
155:
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:
771:
763:
738:— Preceding
734:
707:
703:
680:
650:
635:
619:
616:
608:
588:
580:
551:
547:
543:Toby Bartels
540:
533:
525:
513:24.52.220.88
494:
417:71.141.88.54
415:
409:
394:
392:
354:
257:
225:
215:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
719:—Preceding
639:Philip Ross
299:Metaphysics
169:Metaphysics
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
793:Categories
767:something.
731:Wildberger
432:Shreevatsa
399:MathSciNet
389:References
233:Philosophy
222:philosophy
164:Philosophy
776:Trovatore
687:The Anome
664:The Anome
652:Greg Egan
613:Extremism
357:PuercoPop
764:opinions
740:unsigned
711:AristosM
656:Luminous
177:Analytic
721:undated
658:" and "
601:Patrick
260:on the
139:on the
591:Yecril
537:Chinju
403:Popopp
36:scale.
759:here.
553:Dagme
315:Logic
173:Logic
780:talk
748:talk
715:talk
691:talk
668:talk
572:talk
557:talk
517:talk
502:talk
481:talk
462:talk
436:talk
421:talk
378:talk
361:talk
717:)
685:--
568:rdt
477:rdt
458:rdt
397:on
374:CBM
252:Low
131:Low
795::
782:)
750:)
693:)
670:)
637:--
574:)
559:)
519:)
504:)
483:)
464:)
438:)
423:)
376:·
363:)
279:/
175:/
171:/
167::
778:(
746:(
713:(
689:(
666:(
570:(
555:(
515:(
500:(
479:(
460:(
434:(
419:(
380:)
372:(
359:(
264:.
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.