1406:" ....an infinite strictly decreasing sequence cannot exist, or equivalently, every strictly decreasing sequence of ordinals do terminate (and cannot be infinite)." The grammar seems to have gone awry here. Most of us use a singular verb after "every". "All things come to an end" but "Every man comes to an end". Apart from that, the statement seems (to the uninitiated) incorrect. The sequence ω, ω - 1, ω - 2 .... looks strictly decreasing to me and it seems to go for ever. I think non-specialists would appreciate either a bit more explanation here or a reference to an article which explains the meaning of the statement about strictly decreasing sequences and proves that is true.
994:
sequences are a worldwide standard after all these years. Now that you have done that, what is the purpose in raising numbers up to a superscript, or bringing them down to a subscript. Are you suggesting they have exponential effects of some kind? In any case, don't pepper your examples up with 'C" source code, that's downright inscrutable. Just frame your argument in terms of ordinary lines of BASIC code, if you will, and I, like many others who come by this area, will probably understand what you are talking about.
1279:(as at the second link). The relationship to Goodstein's theorem is exactly the same for both representations of the Hydra game, so I suggest a more evenhanded treatment. The fact that the second link presents the game as the execution of a "program" composed of trees, and also explains a more general form of the game, would hardly seem to matter in this regard. On the other hand, if the concern is really about academic or other credentials (rather than relevancy), then I don't wish to pursue the matter. Discussion? —
84:
375:
problem is that "it cannot be expressed in PA language"?!! That's actually nice and reassuring because on a first glance it seems that one needs not to know the theory of infinite ordinal numbers, but that it should be sufficient (since actually equivalent) to "code" the numbers using "vectors" (nested lists) of finite length, together with sufficient description of how the "bump to base b+1" and "minus 1" is done with these vectors (i.e., keeping track of length and "height" of these vectors). —
74:
53:
22:
323:
It seems that original
Goodstein theorem (as written in his work) was a bit more strong. He does not restrict changing the base from 2 to 3, from 3 to 4 and so on. He says that if we have _any_ permutation of N and we will change bases accorgind to this permutation, anyway finally we will finish with
984:
notation make a lot more sense? Isn't Base 2 the same thing as binary? I think a lot more people would understand 35 in binary to be %00100011, and not 2 ^ 2 ^ 2 + 1. I guess all I am saying, is that the example given in the main page, seemed/seems to proceed from the assumption that binary was
515:
What about CON(PA), certainly a natural statement since the whole
Hilbert school was chasing after a proof of it before Gödel showed that was impossible? I guess both CON(PA) and Gentzen's induction principle would count as "metamathematical", though I personally don't see why that should matter.
993:
of the text counts as superscript, and how much farther it has to go, to be super-superscript, and conversely, how far below the baseline you should go, to make it a subscript, and so on. Naturally, I will assume you are already familiar with
Hewlett-Packard Laserjet escape sequences since those
988:
Articles written for
Knowledge should not be dumbed down, but they should be organized in such a way that ordinary people can make heads or tails out of what you are saying. If you want to use 35 as an example for some strange superscript/subscript notation system, you might want to start out by
328:
Yes, Goodstein states the theorem that way in his 1944 paper, which I just double-checked. But he isn't proving the independence from PA; he is just showing the the sequence must terminate. When stated in this general form, the theorem is not expressible in the language of Peano arithmetic. To
1571:
f(G(m)(n+1),n+2), as G'(m)(n)=G(m)(n+1)+1. is not an ordinal.” is hard to understand. Could please someone rewrite it starting with simple steps and ending with conclusions? Already the second sentence is not understandable, and the whole para (in fact, the whole claim) needs a complete clean
374:
So actually it's well possible that this version of the theorem is possible to (state and) prove in the PA, and only the one depending on some permutation β of the naturals is not...?! And actually one cannot even say that the "full" version cannot be proved in PA, but actually the main (only?)
312:
One has to be careful when saying things like "replace every instance of n with the first infinite ordinal number ω", as in all the definitions and examples above the coefficients appear on the left, and ordinal multiplication isn't commutative. You don't want to have, e.g., 3·ω = ω, but rather
1319:
it's a choice between the two, I recommend the first link, since pictorial graphs are the "standard" and are probably visually preferable. Aside from some generalisations, the second link primarily shows how these games can be played using bracket expressions rather than graphs. —
1182:
Unless I'm failing to see something, this expression is not a base-2 expression on any level, let alone on all levels, since it contains the digit 2. A base-n expression cannot contain a digit representing n, just like base-10 doesn't have a single digit representing the number 10.
1009:
This theorem is more or less the only place that hereditary base-n notation is used. So having an extra article on that would probably give it more weight than it deserves. When people learn the theorem, they are not likely to be familiar with hereditary base-n notation
324:
0 (starting with any natural number). And (as far as I understand) Goodstein theorem in this (strong) meaning cannot be proved from Peano axioms. It is not clear whether
Goodstein theorem in the written in the article (weak) meaning cannot be proved from Peano axioms.
268:
was sufficient to prove the consistency of PA; (c) Gödel's second incompleteness theorem says that it's impossible to prove that a system is consistent using methods available in the system itself; so therefore, PA is not capable of doing transfinite induction up to
361:. I don't think that the independence result would be sensitive to which increasing function you use, but checking it would be a lot of work. In any event, the theorem that is now known as Goodstein's theorem is the one mentioned in this article.
487:
The natural theorem expressible but not provable in PA is
Gentzen's induction principle. He maks this very clear in 1943 and it has been noted many times, e.g., in Schwichtenberg's paper in the Handbook of Mathematical Logic, ed. Barwise. 1977.
1378:
I corrected the proof since there were a misunderstanding of the argument (G(m) does note converge, G(m) terminates, the fact that P(m) dominates G(m) plays no role at all). Please carefully read it before blind cancellation of my edit... ;-)
1217:
It is a base-2 expansion, so a sum of powers of 2, not a base-2 expression. You start by expanding 35 as such a sum, viz. 35 = 2^5 + 2^1 + 2^0. Then you do the same for all of the exponents you used in that base-2 expansion: replace them with
199:
as an example of an undecidable but 'natural' statement of number theory. Its one and only interesting property is its undecidability. Since the undecidability is the most interesting thing about the theorem, it should be mentioned first.
329:
make the theorem expressible in the language, you have to choose some fixed increasing function to use for the base changes. The independence result proved by Kirby and Paris was for the version of the theorem using the increasing function
1299:. I think relevancy may have been the wrong reason for deletion, and I apologize for not checking more carefully. I'll to consider this more closely, and determine whether your page is the better one; if so, I'll restore it. —
1342:
The lede is carefully worded to avoid giving the impression that the result can be "proved" in PA but as a result the lede never actually states that
Goodstein actually proved anything, only "stated". Should this be clarified?
282:
Smorynski, Craig. Some rapidly growing functions, Math. Intell., 2 1980, 149-154. / The
Varieties of Arboreal Experience, Math. Intell., 4 1982, 182-188. / "Big" News from Archimedes to Friedman, Notices AMS, 30 1983, 251-256.
1426:
On your other point — you can't get an ordinal smaller than ω by subtracting 1. Every ordinal less than ω is finite. The expression "ω−1" either does not make sense at all, or else evaluates to ω, depending on your notational
1294:
I lean toward removing both, actually, but you really shouldn't add a link to your own research, even though your academic credentials are not being questioned—it's not a matter of academic credentials, but of
1509:
Thanks for clarifying that ordianls are not the same a surreal numbers. I get it now ω is not replaced by ω - 1 but by some number which is always finite. But I still think the articel could be clearer.
794:
699:
619:
562:, which makes it equivalent to CON(PA), but the article doesn't come out and say so, and I might be missing something. Could someone knowledgeable update the article one way or another? Thanks.
906:
659:
140:
236:
I actually found the theorem quite interesting even without the reference to its undecidability, but I'm not an expert at writing encyclopedias, so I'll not start an edit war today. :) --
1423:
I think you're absolutely right on the grammar. (There's a tiny question in my mind whether this could be a Yank–Brit difference but I don't think so.) I'll fix it if no one else does.
977:
be given an article all unto itself? The definition given so far, may make sense to a professional mathematician, but somehow the underlying gist escapes me, a fairly ordinary person.
866:
1143:
560:
359:
754:
1358:
Yeah, that's silly. The easiest solution is just to say "proved", and then explain further down how much strength you need to prove it, and that that's more than PA. --
1226:
100011. This doesn't quite agree with the way the article writes it, though I don't think it makes a difference to the construction since b^0=1 for any b anyway.
252:
I wanted to put that in, but it's complicated, and I wasn't personally certain of the details. I believe that one proof is that (a) Trnasfinite induction up to ε
1430:
As to how to explain this to non-specialists, open to suggestions. Is a detailed explication of the notion of ordinal really on-topic here? Maybe it actually
1701:
130:
1434:
be OK to say a little about it. Usually I'm skeptical about that sort of digression, but this is a topic where you might expect to attract readers who
1271:
A user removed the second link (but left the first one), commenting that it was "not directly related". However, trees can be represented using either
302:
L. A. S. Kirby and J. B. Paris. Accessible
Independence Results for Peano Arithmetic, Bulletin of the London Mathematical Society, 14, 1982, 285-293.
1015:
You are right that "hereditary base 2 notation" is not the same as "base 2 notation", but they are ver similar. In base 2, 35 is %100011 which means
1054:
Why is this notation system called "hereditary"? This basically looks like a way of avoiding superscripts (upward departures from the baseline).
985:
not the same thing as base 2, and base 2 was not binary, even though all these years (over 25 years) I have assumed the two were one and the same.
286:
The
Smorynski papers reprinted in: Harrington, L.A. et.al. (editors) Harvey Friedman's Research on the Foundations of Mathematics, Elsevier 1985.
951:
468:
claim to be the first natural theorems not provable by PA. I don't know which is true, but I suspect they can't both be true at the same time.
106:
1696:
169:
162:
I cannot find any result in the Kirby/Paris paper concerning the derivation length of the Goodstein sequence. Where should this be stated?
1587:
563:
517:
469:
439:'s definition is the correct one, so where does this claim come from? Can 3 · 2 − 1 be written differently? If so it should be altered. --
1227:
292:
Perhaps someone with access to a good library could find an accessible independence proof, write it up, and add it to the article.
97:
58:
1256:
The article had contained the following two external links (the second one, recently added, being to a page of my own creation):
504:
1572:
rewrite from scratch. A so-called “example” is not helpful the way it is written. Even if it were, an example is not a proof.
1315:
Perhaps it would be best to have a WP page on Hydra games; but, lacking that, I hope at least one of these links is retained.
1598:
I don't think it's that bad. Apparently the first sentence is considered self-evident since it just says replacing the base
221:
1395:
1222:
base-2 expansions, so 5 = 2^2 + 2^0, 1 = 2^0, and then 35 = 2^(2^2+2^0) + 2^(2^0) + 2^0. That corresponds to the base-2
759:
664:
584:
33:
1533:
tags with no more than one level of super/subscript to inline HTML, and corrected the italicization of such phrases as
1570:
The whole para “Then f(G(m)(n), n+1) = f(G'(m)(n), n+2). Now we apply the minus 1 operation, and f(G'(m)(n),n+2) : -->
1059:
999:
947:
908:
because only the 5s are replaced by ωs. If this is not what you are asking, could you rephrase your question? — Carl
1641:(which is maybe not that obvious, but at least somewhat intuitive), and the part after "as" is just the observation
435:
This is inconsistent as 3 ≠ 402653211. All references (and they are scarce) that I can find on the Internet suggest
871:
624:
535:
Is there some analysis of the ordinal strength of this theorem? It looks to me like it follows from induction on
974:
473:
465:
217:
173:
1583:
1023:
Note that the exponent "5" is not itself in base 2 notation. So in hereditary base 2 notation, we would write
799:
567:
521:
1231:
289:
Also perhaps: Spencer, Joel. Large numbers and unprovable theorems, Amer. Math. Monthly, Dec 1983, 669-675.
1550:
191:
The undecidability of this theorem is notable, but let's define and prove the theorem first, shall we ;-)
1557:
1500:
1303:
1083:
1055:
995:
943:
1579:
279:
Simpson, Stephen G. Unprovable theorems and fast-growing functions, Contemporary Math. 65 1987, 359-394.
990:
981:
39:
83:
1677:
1673:
1575:
1383:
939:
500:
496:
492:
165:
1453:
Sorry to be dim but if ω - 1 equates to ω how can we say that P(m) decreases? Surely P(m + 1)= P(m)
21:
1511:
1454:
1443:
1409:
1363:
362:
538:
105:
on Knowledge. If you would like to participate, please visit the project page, where you can join
1515:
1458:
1413:
1387:
706:
661:" - well I somewhat get that. However, can someone please describe what happens when we decrease
332:
314:
256:
is required to prove Goodstein's theorem, because the hereditary representations after replacing
89:
719:
73:
52:
1554:
1497:
1300:
1391:
1348:
1325:
1284:
1188:
440:
1493:
1469:
1439:
1359:
932:
436:
405:
397:
246:
306:
1690:
1668:
from the last paragraph stated in reverse. It probably could be better, but it's not
1156:
1038:
915:
702:
380:
1260:
970:"In order to define a Goodstein sequence, first define hereditary base-n notation."
1296:
293:
203:
1681:
1591:
1560:
1519:
1503:
1473:
1462:
1447:
1417:
1399:
1367:
1352:
1344:
1329:
1321:
1306:
1288:
1280:
1235:
1192:
1184:
1161:
1063:
1043:
1003:
980:
The main page of this article describes "Base 2 notation" but wouldn't standard
955:
920:
710:
571:
525:
508:
477:
453:
450:
443:
383:
365:
317:
225:
177:
102:
237:
184:
79:
396:
The value 0 is reached at base 3 · 2 − 1, which, curiously, is a generalized
1553:
does not see the difference.) If anyone objects, please let me know. —
1152:
1034:
911:
376:
1549:). (This looks more clear when you edit it in WikiText mode; using the
449:
Just move 2 from the right factor into the left. 3 · 2 = 402653184 · 2.
245:
How does one prove that this theorem is independent of Peano's axioms?
1080:
No, it does not avoid superscripts; 2^(2^2 + 2^0) + 2^1 + 2^0 means
1018:
35 = 1*2^5 + 0*2^4 + 0*2^3 + 0*2^2 + 1*2^1 + 1*2^0 = 2^5 + 2^1 + 2^0
216:
completely unimportant? Thats an extremely closeminded attitude.
1266:
Generalised Hydra game as a bracket-expression rewriting system
15:
1496:, ω - 1 does exist, but has nothing to do with this topic. —
1438:
really seen the concept, and it's central to the argument. --
1031:
Now everything is in base 2, including the exponents. — Carl
1265:
1145:. "Hereditary" means that everything is put into base
1086:
874:
802:
762:
722:
667:
627:
587:
541:
335:
264:(b) Gentzen showed that transfinite induction up to ε
101:, a collaborative effort to improve the coverage of
789:{\displaystyle \omega ^{\omega ^{\omega }}+\omega }
694:{\displaystyle \omega ^{\omega ^{\omega }}+\omega }
614:{\displaystyle \omega ^{\omega ^{\omega }}+\omega }
307:
http://www.u.arizona.edu/~miller/thesis/thesis.html
195:Let's not. The theorem is completely unimportant
1137:
900:
860:
788:
748:
693:
653:
613:
554:
353:
1622:. The second sentence makes use of the fact that
273:, and therefore can't prove Goodstein's theorem.
796:, the next element in the Goodstein sequence is
1532:I converted many of the inline < math: -->
931:The Hydra game appears to be a derivation of
901:{\displaystyle \omega ^{\omega ^{\omega }}+4}
654:{\displaystyle \omega ^{\omega ^{\omega }}+4}
8:
1261:The Hydra game implemented as a Java applet
1149:notation, not just the first level. — Carl
1573:
1374:Proof of termination of Goodstein sequence
47:
1123:
1099:
1091:
1085:
884:
879:
873:
861:{\displaystyle 5^{5^{5}}+5-1=5^{5^{5}}+4}
844:
839:
812:
807:
801:
772:
767:
761:
732:
727:
721:
677:
672:
666:
637:
632:
626:
597:
592:
586:
546:
540:
334:
963:Improving the main page of this Article
49:
19:
967:This is excerpted from the main page:
464:Both this article and the article for
416:is defined to be a number of the form
1138:{\displaystyle 2^{(2^{2}+1)}+2^{1}+1}
7:
1614:is equivalent to directly replacing
276:I do have some references, however:
95:This article is within the scope of
1275:(as at the first link) or by using
38:It is of interest to the following
260:with ω are precisely elements of ε
14:
1702:Low-priority mathematics articles
299:Another reference, with a proof:
115:Knowledge:WikiProject Mathematics
305:See also this undergrad thesis:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
1026:35 = 2^(2^2 + 2^0) + 2^1 + 2^0.
135:This article has been rated as
1111:
1092:
339:
1:
1520:00:06, 15 December 2014 (UTC)
1504:17:26, 11 December 2014 (UTC)
1236:04:38, 24 December 2022 (UTC)
555:{\displaystyle \epsilon _{0}}
444:21:08, 5 September 2007 (UTC)
384:20:06, 19 February 2017 (UTC)
109:and see a list of open tasks.
1697:C-Class mathematics articles
1592:20:51, 2 February 2024 (UTC)
1463:00:40, 6 December 2014 (UTC)
1448:16:28, 3 December 2014 (UTC)
1418:10:55, 3 December 2014 (UTC)
1162:22:56, 11 January 2010 (UTC)
1064:22:51, 11 January 2010 (UTC)
1044:12:31, 10 January 2010 (UTC)
1004:09:58, 10 January 2010 (UTC)
921:19:57, 2 November 2009 (UTC)
711:19:49, 2 November 2009 (UTC)
454:02:02, 18 October 2007 (UTC)
366:12:25, 3 November 2006 (UTC)
354:{\displaystyle n\mapsto n+1}
956:22:46, 9 January 2010 (UTC)
749:{\displaystyle 4^{4^{4}}+4}
1718:
975:hereditary base-n notation
478:20:35, 13 April 2009 (UTC)
414:generalized Woodall number
1561:23:23, 21 June 2015 (UTC)
1484:. As an ordinal number,
1330:14:26, 8 April 2010 (UTC)
1307:13:53, 8 April 2010 (UTC)
1289:12:53, 8 April 2010 (UTC)
1193:06:39, 20 July 2018 (UTC)
989:saying how far above the
318:17:55, 10 July 2006 (UTC)
296:01:50 Nov 24, 2002 (UTC)
249:22:30 Nov 23, 2002 (UTC)
134:
67:
46:
1682:05:56, 30 May 2024 (UTC)
1637:is strictly monotone in
1400:10:02, 18 May 2014 (UTC)
1368:19:15, 14 May 2012 (UTC)
1353:11:53, 14 May 2012 (UTC)
572:12:03, 1 June 2009 (UTC)
526:07:52, 1 June 2009 (UTC)
509:13:54, 24 May 2009 (UTC)
466:Paris-Harrington theorem
226:18:21, 22 May 2020 (UTC)
206:05:57, 9 Nov 2003 (UTC)
178:07:58, 9 July 2012 (UTC)
141:project's priority scale
1492:, doesn't exist. As a
868:, which corresponds to
756:, which corresponds to
240:02:23, 7 Dec 2003 (UTC)
98:WikiProject Mathematics
1139:
902:
862:
790:
750:
695:
655:
615:
556:
355:
28:This article is rated
1140:
927:Connected to Sprouts?
903:
863:
791:
751:
696:
656:
616:
557:
356:
1529:Long time no edit …
1488:, in the sense that
1084:
872:
800:
760:
720:
665:
625:
585:
539:
333:
121:mathematics articles
1277:bracket expressions
392:From this article:
1480:in the sense that
1135:
898:
858:
786:
746:
716:If you start with
691:
651:
611:
552:
351:
90:Mathematics portal
34:content assessment
1594:
1578:comment added by
1403:
1386:comment added by
1338:a statement made?
1160:
1056:Dexter Nextnumber
1042:
996:Dexter Nextnumber
959:
944:Dexter Nextnumber
942:comment added by
919:
577:Question on Proof
512:
495:comment added by
400:, just as all ...
168:comment added by
155:
154:
151:
150:
147:
146:
1709:
1667:
1636:
1491:
1487:
1483:
1479:
1402:
1380:
1150:
1144:
1142:
1141:
1136:
1128:
1127:
1115:
1114:
1104:
1103:
1032:
958:
936:
909:
907:
905:
904:
899:
891:
890:
889:
888:
867:
865:
864:
859:
851:
850:
849:
848:
819:
818:
817:
816:
795:
793:
792:
787:
779:
778:
777:
776:
755:
753:
752:
747:
739:
738:
737:
736:
700:
698:
697:
692:
684:
683:
682:
681:
660:
658:
657:
652:
644:
643:
642:
641:
620:
618:
617:
612:
604:
603:
602:
601:
561:
559:
558:
553:
551:
550:
531:ordinal strength
511:
489:
360:
358:
357:
352:
180:
158:Initial comments
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1717:
1716:
1712:
1711:
1710:
1708:
1707:
1706:
1687:
1686:
1642:
1623:
1568:
1527:
1490:(ω - 1) + 1 = ω
1489:
1485:
1482:1 + (ω - 1) = ω
1481:
1477:
1381:
1376:
1340:
1254:
1119:
1095:
1087:
1082:
1081:
971:
965:
937:
929:
880:
875:
870:
869:
840:
835:
808:
803:
798:
797:
768:
763:
758:
757:
728:
723:
718:
717:
673:
668:
663:
662:
633:
628:
623:
622:
593:
588:
583:
582:
579:
542:
537:
536:
533:
490:
485:
462:
331:
330:
272:
267:
263:
255:
170:138.232.192.183
163:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1715:
1713:
1705:
1704:
1699:
1689:
1688:
1685:
1684:
1580:PeterMuellerr0
1567:
1564:
1526:
1523:
1507:
1506:
1494:surreal number
1470:ordinal number
1451:
1450:
1428:
1424:
1375:
1372:
1371:
1370:
1339:
1336:
1335:
1334:
1333:
1332:
1310:
1309:
1269:
1268:
1263:
1253:
1250:
1249:
1248:
1247:
1246:
1245:
1244:
1243:
1242:
1241:
1240:
1239:
1238:
1204:
1203:
1202:
1201:
1200:
1199:
1198:
1197:
1196:
1195:
1171:
1170:
1169:
1168:
1167:
1166:
1165:
1164:
1134:
1131:
1126:
1122:
1118:
1113:
1110:
1107:
1102:
1098:
1094:
1090:
1071:
1070:
1069:
1068:
1067:
1066:
1047:
1046:
1029:
1028:
1027:
1021:
1020:
1019:
1012:
1011:
969:
964:
961:
933:Sprouts (game)
928:
925:
924:
923:
897:
894:
887:
883:
878:
857:
854:
847:
843:
838:
834:
831:
828:
825:
822:
815:
811:
806:
785:
782:
775:
771:
766:
745:
742:
735:
731:
726:
690:
687:
680:
676:
671:
650:
647:
640:
636:
631:
610:
607:
600:
596:
591:
581:"for example,
578:
575:
564:67.122.209.126
549:
545:
532:
529:
518:67.122.209.126
484:
481:
470:165.125.144.16
461:
458:
457:
456:
437:Woodall number
433:
432:
406:Woodall number
402:
401:
398:Woodall number
390:
389:
388:
387:
386:
369:
368:
350:
347:
344:
341:
338:
321:
310:
270:
265:
261:
253:
243:
242:
241:
234:
233:
232:
231:
230:
229:
228:
193:
192:
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:
1714:
1703:
1700:
1698:
1695:
1694:
1692:
1683:
1679:
1675:
1671:
1665:
1661:
1657:
1653:
1649:
1645:
1640:
1634:
1630:
1626:
1621:
1617:
1613:
1609:
1605:
1601:
1597:
1596:
1595:
1593:
1589:
1585:
1581:
1577:
1565:
1563:
1562:
1559:
1556:
1552:
1551:Visual Editor
1548:
1544:
1540:
1536:
1530:
1524:
1522:
1521:
1517:
1513:
1505:
1502:
1499:
1495:
1475:
1471:
1467:
1466:
1465:
1464:
1460:
1456:
1449:
1445:
1441:
1437:
1433:
1429:
1425:
1422:
1421:
1420:
1419:
1415:
1411:
1407:
1404:
1401:
1397:
1393:
1389:
1385:
1373:
1369:
1365:
1361:
1357:
1356:
1355:
1354:
1350:
1346:
1337:
1331:
1327:
1323:
1318:
1314:
1313:
1312:
1311:
1308:
1305:
1302:
1298:
1293:
1292:
1291:
1290:
1286:
1282:
1278:
1274:
1267:
1264:
1262:
1259:
1258:
1257:
1251:
1237:
1233:
1229:
1228:100.14.63.221
1225:
1221:
1216:
1215:
1214:
1213:
1212:
1211:
1210:
1209:
1208:
1207:
1206:
1205:
1194:
1190:
1186:
1181:
1180:
1179:
1178:
1177:
1176:
1175:
1174:
1173:
1172:
1163:
1158:
1154:
1148:
1132:
1129:
1124:
1120:
1116:
1108:
1105:
1100:
1096:
1088:
1079:
1078:
1077:
1076:
1075:
1074:
1073:
1072:
1065:
1061:
1057:
1053:
1052:
1051:
1050:
1049:
1048:
1045:
1040:
1036:
1030:
1025:
1024:
1022:
1017:
1016:
1014:
1013:
1008:
1007:
1006:
1005:
1001:
997:
992:
986:
983:
978:
976:
968:
962:
960:
957:
953:
949:
945:
941:
934:
926:
922:
917:
913:
895:
892:
885:
881:
876:
855:
852:
845:
841:
836:
832:
829:
826:
823:
820:
813:
809:
804:
783:
780:
773:
769:
764:
743:
740:
733:
729:
724:
715:
714:
713:
712:
708:
704:
688:
685:
678:
674:
669:
648:
645:
638:
634:
629:
621:decreases to
608:
605:
598:
594:
589:
576:
574:
573:
569:
565:
547:
543:
530:
528:
527:
523:
519:
513:
510:
506:
502:
498:
494:
482:
480:
479:
475:
471:
467:
459:
455:
452:
448:
447:
446:
445:
442:
438:
431:
427:
423:
419:
415:
411:
410:
409:
407:
399:
395:
394:
393:
385:
382:
378:
373:
372:
371:
370:
367:
364:
348:
345:
342:
336:
327:
326:
325:
320:
319:
316:
315:Shlomi Hillel
309:
308:
303:
300:
297:
295:
290:
287:
284:
280:
277:
274:
259:
250:
248:
239:
235:
227:
223:
219:
215:
214:
213:
212:
211:
210:
209:
208:
207:
205:
201:
198:
190:
189:
188:
186:
181:
179:
175:
171:
167:
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:
1669:
1663:
1659:
1655:
1651:
1647:
1643:
1638:
1632:
1628:
1624:
1619:
1615:
1611:
1607:
1606:+2 and then
1603:
1599:
1574:— Preceding
1569:
1555:Arthur Rubin
1546:
1542:
1538:
1534:
1531:
1528:
1525:Reformatting
1508:
1498:Arthur Rubin
1452:
1435:
1431:
1408:
1405:
1382:— Preceding
1377:
1341:
1316:
1301:Arthur Rubin
1276:
1272:
1270:
1255:
1223:
1219:
1146:
987:
979:
972:
966:
930:
580:
534:
514:
486:
463:
434:
429:
425:
421:
417:
413:
403:
391:
322:
311:
304:
301:
298:
291:
288:
285:
281:
278:
275:
257:
251:
244:
202:
196:
194:
182:
164:— Preceding
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
1474:subtraction
1252:Hydra games
1185:Denis Kasak
938:—Preceding
491:—Preceding
441:Alex Watson
424:− 1, where
112:Mathematics
103:mathematics
59:Mathematics
1691:Categories
1674:Bbbbbbbbba
1224:expression
973:Shouldn't
497:SternJacob
460:Two Firsts
1566:Bad proof
1478:ω - 1 = ω
1440:Trovatore
1360:Trovatore
1297:WP:EL#ADV
483:One First
428:+ 2 : -->
247:AxelBoldt
1588:contribs
1576:unsigned
1512:Bukovets
1472:, using
1455:Bukovets
1427:choices.
1410:Bukovets
1396:contribs
1384:unsigned
991:baseline
952:contribs
940:unsigned
703:Hirak 99
505:contribs
493:unsigned
363:CMummert
166:unsigned
1535:G(m)(n)
1436:haven't
313:ω·3...
294:Dominus
204:Dominus
139:on the
30:C-class
1618:+1 by
1610:+2 by
1602:+1 by
1558:(talk)
1501:(talk)
1468:As an
1388:Gasole
1345:Tkuvho
1322:r.e.s.
1304:(talk)
1281:r.e.s.
1273:graphs
1010:first.
982:binary
451:Goplat
197:except
36:scale.
1672:bad.
1486:ω - 1
1432:would
1220:their
404:From
238:Timwi
185:Timwi
183:Said
1678:talk
1670:that
1654:+1)=
1584:talk
1516:talk
1459:talk
1444:talk
1414:talk
1392:talk
1364:talk
1349:talk
1326:talk
1285:talk
1232:talk
1189:talk
1157:talk
1060:talk
1039:talk
1000:talk
948:talk
916:talk
707:talk
701:? --
568:talk
522:talk
501:talk
474:talk
381:Talk
222:talk
218:Rich
174:talk
1666:)-1
1537:to
1476:,
1328:)
1287:)
1153:CBM
1035:CBM
935:.
912:CBM
377:MFH
131:Low
1693::
1680:)
1662:)(
1656:G'
1650:)(
1631:,
1590:)
1586:•
1545:)(
1518:)
1461:)
1446:)
1416:)
1398:)
1394:•
1366:)
1351:)
1317:If
1234:)
1191:)
1155:·
1062:)
1037:·
1002:)
954:)
950:•
914:·
886:ω
882:ω
877:ω
827:−
784:ω
774:ω
770:ω
765:ω
709:)
689:ω
679:ω
675:ω
670:ω
639:ω
635:ω
630:ω
609:ω
599:ω
595:ω
590:ω
570:)
544:ϵ
524:)
507:)
503:•
476:)
420:·
412:A
408::
340:↦
224:)
187::
176:)
1676:(
1664:n
1660:m
1658:(
1652:n
1648:m
1646:(
1644:G
1639:u
1635:)
1633:k
1629:u
1627:(
1625:f
1620:ω
1616:n
1612:ω
1608:n
1604:n
1600:n
1582:(
1547:n
1543:m
1541:(
1539:G
1514:(
1457:(
1442:(
1412:(
1390:(
1362:(
1347:(
1324:(
1283:(
1230:(
1187:(
1159:)
1151:(
1147:n
1133:1
1130:+
1125:1
1121:2
1117:+
1112:)
1109:1
1106:+
1101:2
1097:2
1093:(
1089:2
1058:(
1041:)
1033:(
998:(
946:(
918:)
910:(
896:4
893:+
856:4
853:+
846:5
842:5
837:5
833:=
830:1
824:5
821:+
814:5
810:5
805:5
781:+
744:4
741:+
734:4
730:4
725:4
705:(
686:+
649:4
646:+
606:+
566:(
548:0
520:(
499:(
472:(
430:b
426:n
422:b
418:n
379::
349:1
346:+
343:n
337:n
271:0
269:ε
266:0
262:0
258:n
254:0
220:(
172:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.