841:
831:
865:
67:
Kleene and Rosser were able to show that both systems are able to characterize and enumerate their provably total, definable number-theoretic functions, which enabled them to construct a term that essentially replicates
75:
Curry later managed to identify the crucial ingredients of the calculi that allowed the construction of this paradox, and used this to construct a much simpler paradox, now known as
277:
906:
425:
935:
168:
486:
940:
455:
292:
217:
711:
51:, introduced in 1932–1933, both originally intended as systems of formal logic. The paradox was exhibited by
930:
101:
704:
899:
528:
358:
880:
480:
420:
76:
475:
548:
523:
925:
643:
892:
771:
731:
608:
405:
323:
227:
222:
161:
648:
538:
806:
791:
766:
761:
689:
633:
613:
518:
353:
247:
118:
811:
796:
786:
751:
699:
628:
543:
415:
410:
333:
328:
257:
69:
8:
573:
533:
497:
430:
297:
267:
262:
232:
197:
192:
116:
Kleene, S. C. & Rosser, J. B. (1935). "The inconsistency of certain formal logics".
872:
844:
801:
781:
746:
721:
694:
492:
445:
435:
393:
388:
348:
343:
252:
212:
154:
135:
834:
816:
756:
736:
726:
653:
638:
558:
553:
383:
378:
338:
207:
88:
40:
776:
741:
716:
668:
593:
568:
563:
465:
440:
127:
684:
663:
658:
618:
460:
450:
287:
282:
272:
237:
48:
876:
623:
598:
588:
583:
513:
313:
202:
52:
919:
603:
470:
318:
44:
36:
400:
373:
368:
56:
32:
28:
578:
20:
16:
Paradox that shows that certain systems of formal logic are inconsistent
139:
146:
131:
178:
864:
242:
917:
27:is a paradox that shows that certain systems of
900:
162:
115:
907:
893:
830:
169:
155:
102:The inconsistency of certain formal logics
918:
176:
150:
859:
110:Stanford Encyclopedia of Philosophy
13:
487:What the Tortoise Said to Achilles
14:
952:
863:
840:
839:
829:
106:Paradoxes and Contemporary Logic
35:, in particular the version of
62:
1:
94:
879:. You can help Knowledge by
7:
82:
25:Kleene–Rosser paradox
10:
957:
936:Self-referential paradoxes
858:
825:
677:
506:
306:
185:
941:Mathematical logic stubs
43:introduced in 1930, and
406:Paradoxes of set theory
931:Mathematical paradoxes
875:-related article is a
119:Annals of Mathematics
772:Kavka's toxin puzzle
544:Income and fertility
72:in formal language.
431:Temperature paradox
354:Free choice paradox
218:Fitch's knowability
873:mathematical logic
807:Prisoner's dilemma
493:Heat death paradox
481:Unexpected hanging
446:Chicken or the egg
888:
887:
853:
852:
524:Arrow information
100:Andrea Cantini, "
89:List of paradoxes
70:Richard's paradox
41:combinatory logic
948:
909:
902:
895:
867:
860:
843:
842:
833:
832:
644:Service recovery
498:Olbers's paradox
198:Buridan's bridge
171:
164:
157:
148:
147:
143:
956:
955:
951:
950:
949:
947:
946:
945:
926:Lambda calculus
916:
915:
914:
913:
856:
854:
849:
821:
732:Decision-making
678:Decision theory
673:
502:
426:Hilbert's Hotel
359:Grelling–Nelson
302:
181:
175:
132:10.2307/1968646
97:
85:
77:Curry's paradox
65:
49:lambda calculus
17:
12:
11:
5:
954:
944:
943:
938:
933:
928:
912:
911:
904:
897:
889:
886:
885:
868:
851:
850:
848:
847:
837:
826:
823:
822:
820:
819:
814:
809:
804:
799:
794:
789:
784:
779:
774:
769:
764:
759:
754:
749:
744:
739:
734:
729:
724:
719:
714:
709:
708:
707:
702:
697:
687:
681:
679:
675:
674:
672:
671:
666:
661:
656:
651:
649:St. Petersburg
646:
641:
636:
631:
626:
621:
616:
611:
606:
601:
596:
591:
586:
581:
576:
571:
566:
561:
556:
551:
546:
541:
536:
531:
526:
521:
516:
510:
508:
504:
503:
501:
500:
495:
490:
483:
478:
473:
468:
463:
458:
453:
448:
443:
438:
433:
428:
423:
418:
413:
408:
403:
398:
397:
396:
391:
386:
381:
376:
366:
361:
356:
351:
346:
341:
336:
331:
326:
321:
316:
310:
308:
304:
303:
301:
300:
295:
290:
285:
280:
278:Rule-following
275:
270:
265:
260:
255:
250:
245:
240:
235:
230:
225:
220:
215:
210:
205:
203:Dream argument
200:
195:
189:
187:
183:
182:
174:
173:
166:
159:
151:
145:
144:
126:(3): 630–636.
113:
96:
93:
92:
91:
84:
81:
64:
61:
53:Stephen Kleene
15:
9:
6:
4:
3:
2:
953:
942:
939:
937:
934:
932:
929:
927:
924:
923:
921:
910:
905:
903:
898:
896:
891:
890:
884:
882:
878:
874:
869:
866:
862:
861:
857:
846:
838:
836:
828:
827:
824:
818:
815:
813:
810:
808:
805:
803:
800:
798:
795:
793:
790:
788:
785:
783:
780:
778:
777:Morton's fork
775:
773:
770:
768:
765:
763:
760:
758:
755:
753:
750:
748:
745:
743:
740:
738:
735:
733:
730:
728:
725:
723:
720:
718:
717:Buridan's ass
715:
713:
710:
706:
703:
701:
698:
696:
693:
692:
691:
690:Apportionment
688:
686:
683:
682:
680:
676:
670:
667:
665:
662:
660:
657:
655:
652:
650:
647:
645:
642:
640:
637:
635:
632:
630:
627:
625:
622:
620:
617:
615:
612:
610:
607:
605:
602:
600:
597:
595:
592:
590:
587:
585:
582:
580:
577:
575:
572:
570:
567:
565:
562:
560:
557:
555:
552:
550:
549:Downs–Thomson
547:
545:
542:
540:
537:
535:
532:
530:
527:
525:
522:
520:
517:
515:
512:
511:
509:
505:
499:
496:
494:
491:
488:
484:
482:
479:
477:
474:
472:
469:
467:
466:Plato's beard
464:
462:
459:
457:
454:
452:
449:
447:
444:
442:
439:
437:
434:
432:
429:
427:
424:
422:
419:
417:
414:
412:
409:
407:
404:
402:
399:
395:
392:
390:
387:
385:
382:
380:
377:
375:
372:
371:
370:
367:
365:
364:Kleene–Rosser
362:
360:
357:
355:
352:
350:
347:
345:
342:
340:
337:
335:
332:
330:
327:
325:
322:
320:
317:
315:
312:
311:
309:
305:
299:
296:
294:
291:
289:
288:Theseus' ship
286:
284:
281:
279:
276:
274:
271:
269:
266:
264:
261:
259:
256:
254:
251:
249:
248:Mere addition
246:
244:
241:
239:
236:
234:
231:
229:
226:
224:
221:
219:
216:
214:
211:
209:
206:
204:
201:
199:
196:
194:
191:
190:
188:
186:Philosophical
184:
180:
172:
167:
165:
160:
158:
153:
152:
149:
141:
137:
133:
129:
125:
121:
120:
114:
111:
107:
103:
99:
98:
90:
87:
86:
80:
78:
73:
71:
60:
58:
54:
50:
46:
45:Alonzo Church
42:
38:
37:Haskell Curry
34:
30:
26:
22:
881:expanding it
870:
855:
797:Preparedness
629:Productivity
609:Mandeville's
401:Opposite Day
363:
329:Burali-Forti
324:Bhartrhari's
123:
117:
109:
105:
74:
66:
57:J. B. Rosser
47:'s original
33:inconsistent
29:formal logic
24:
18:
727:Condorcet's
579:Giffen good
539:Competition
293:White horse
268:Omnipotence
63:The paradox
21:mathematics
920:Categories
802:Prevention
792:Parrondo's
782:Navigation
767:Inventor's
762:Hedgehog's
722:Chainstore
705:Population
700:New states
634:Prosperity
614:Mayfield's
456:Entailment
436:Barbershop
349:Epimenides
104:", in the
95:References
817:Willpower
812:Tolerance
787:Newcomb's
752:Fredkin's
639:Scitovsky
559:Edgeworth
554:Easterlin
519:Antitrust
416:Russell's
411:Richard's
384:Pinocchio
339:Crocodile
258:Newcomb's
228:Goodman's
223:Free will
208:Epicurean
179:paradoxes
108:entry of
59:in 1935.
845:Category
742:Ellsberg
594:Leontief
574:Gibson's
569:European
564:Ellsberg
534:Braess's
529:Bertrand
507:Economic
441:Catch-22
421:Socratic
263:Nihilism
233:Hedonism
193:Analysis
177:Notable
83:See also
747:Fenno's
712:Arrow's
695:Alabama
685:Abilene
664:Tullock
619:Metzler
461:Lottery
451:Drinker
394:Yablo's
389:Quine's
344:Curry's
307:Logical
283:Sorites
273:Preface
253:Moore's
238:Liberal
213:Fiction
140:1968646
112:(2007).
654:Thrift
624:Plenty
599:Lerner
589:Jevons
584:Icarus
514:Allais
476:Ross's
314:Barber
298:Zeno's
243:Meno's
138:
23:, the
871:This
757:Green
737:Downs
669:Value
604:Lucas
471:Raven
379:No-no
334:Court
319:Berry
136:JSTOR
877:stub
835:List
659:Toil
374:Card
369:Liar
55:and
31:are
128:doi
39:'s
19:In
922::
134:.
124:36
122:.
79:.
908:e
901:t
894:v
883:.
489:"
485:"
170:e
163:t
156:v
142:.
130::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.