20:
426:
of a single variable. Reviewer D. R. Dickinson wrote that it "contains much novel and interesting material"; however, he also complained of its pedantic avoidance of variables (using identity functions in their place), its unnecessary insistence on considering only functions whose derivative has the
469:. Its goal is both to show how the real numbers can be developed from simpler concepts in arithmetic, and to demonstrate the impact of logic on the rest of mathematics. As well as covering the title topics, it also contains a long section on the axioms for several algebraic structures:
578:
Queen's
University annually awards the Albert Harold Lightstone Scholarship, named for Lightstone, to a fourth year honors undergraduate student majoring in mathematics or statistics. The scholarship was established by Lightstone's wife after his death.
344:
is an infinite hypernatural. The extended decimal notation provides a rigorous mathematical implementation of student intuitions of an infinitesimal of the form 0.000...01. Such student intuitions and their usefulness in the learning of
195:
247:, which is a typical infinite hypernatural. The semicolon separates the digits at finite ranks from the digits at infinite ranks. Thus, the number 0.000...;...01, with digit "1" at infinite rank
1359:
335:
782:. This article is a field study involving a student who developed a Leibnizian-style theory of infinitesimals to help her understand calculus, and in particular to account for
279:
1274:
225:
1354:
1339:
1219:
1150:
350:
245:
515:. It was based on an initial draft by Robinson, and finished posthumously by Lightstone, who himself died soon after. It begins with an introduction to
1304:
704:
99:
1349:
500:
546:
452:
63:
911:
462:
1248:
1344:
595:
843:
1206:
723:
643:
81:
1282:
294:
396:(Prentice Hall, 1964). This introductory textbook is divided into two parts, one providing an informal introduction to
482:
569:. However, it was criticized for the slow pace of its first section and for its overall lack of mathematical rigor.
93:
rank rather than merely a digit for every rank given by a natural number. Such a hyperreal decimal is written as
916:
558:
1312:
554:
346:
701:
528:
516:
508:
362:
51:
31:
1369:
1364:
1026:
660:
625:
621:
562:
512:
503:. This is an introductory textbook that attempts to make the material from Robinson's 1966 monograph
630:
Lightstone, A. H. and
Robinson, Abraham. North-Holland Pub. Co. (Amsterdam and New York), 1975.
478:
470:
59:
1087:
1042:
989:
952:
924:
816:
740:
677:
520:
474:
427:
same domain as the function itself, and its "dull and lengthy discussions of elementary topics".
409:
401:
459:
Symbolic Logic and the Real Number System: an
Introduction to the Foundations of Number Systems
1017:
542:
532:
448:
254:
1228:
1159:
1079:
1063:
1034:
981:
883:
852:
808:
732:
669:
550:
405:
370:
366:
86:
35:
1193:
1121:
894:
866:
828:
752:
689:
541:(Mathematical Concepts and Methods in Science and Engineering, vol. 9, Plenum Press, 1978,
203:
1190:
1118:
891:
862:
824:
748:
708:
685:
490:
1030:
766:
230:
1333:
1137:
423:
400:
and the second using formal methods to prove the consistency and completeness of the
397:
1233:
1210:
1164:
1141:
673:
486:
466:
378:
374:
285:
90:
1038:
566:
524:
639:
485:. One idiosyncrasy is that, rather than axiomatizing the real numbers using
54:
in 1955, under the supervision of
Abraham Robinson; his thesis was entitled
857:
30:(1926–1976) was a Canadian mathematician. He was one of the pioneers of
19:
419:
389:
Lightstone was the author or co-author of several books on mathematics:
190:{\displaystyle a.a_{1}a_{2}\ldots ;\ldots a_{H-1}a_{H}a_{H+1}\ldots \,.}
1091:
1046:
993:
956:
928:
841:
Lightstone, A. H. (1968), "Group theory and the principle of duality",
820:
744:
681:
658:
Lightstone, A. H. (1962), "A Construction for
Trisecting the Angle",
284:
The difference 1 - 0.000...;...01 is 0.999...;...9, with an infinite
1083:
985:
972:
Hunt, Burrowes (1969). "Symbolic Logic and the Real Number System".
812:
736:
85:
in 1972, Lightstone described an extended decimal notation for the
18:
404:. It is aimed at students who already have some familiarity with
288:'s worth of digits 9. An alternative notation for the latter is
702:
Queen's
University Academic Calendar, Mathematics and Statistics
799:
Lightstone, A. H. (1968), "Two methods of inverting matrices",
519:
with many helpful examples, brings in the necessary tools from
493:, it bases its axiomatization on sequences of decimal numbers.
561:, and a third part on applications of model theory including
598:
Mathematical
Concepts and Methods in Science and Engineering
535:, and finishes with three chapters on asymptotic expansions.
461:(Harper and Row, 1965). This book provides a course in the
394:
The
Axiomatic Method: An Introduction to Mathematical Logic
767:"Nonstandard student conceptions about infinitesimals"
507:
more accessible, and to demonstrate the usefulness of
297:
257:
233:
206:
102:
1311:. www.queensu.ca: Queen's University. Archived from
1281:. www.queensu.ca: Queen's University. Archived from
549:). This book was published posthumously, edited by
539:
437:
Solutions to the exercises for
Concepts of Calculus
349:were analyzed in a 2010 study by Robert Ely in the
721:Lightstone, A. H. (March 1972), "Infinitesimals",
418:(Harper and Row, 1965). This is a textbook on the
330:{\displaystyle 0.\underbrace {999\ldots 9} _{H}\,}
329:
273:
239:
219:
189:
38:, and later a co-author with Robinson of the book
361:Lightstone's main research contributions were in
1360:Academic staff of Queen's University at Kingston
408:, and one of its themes is an algebraic view of
553:. It is organized into three parts, one on the
497:Nonarchimedean Fields and Asymptotic Expansions
40:Nonarchimedean Fields and Asymptotic Expansions
499:(with Abraham Robinson, North-Holland, 1975).
1220:Bulletin of the American Mathematical Society
1151:Bulletin of the American Mathematical Society
774:Journal for Research in Mathematics Education
351:Journal for Research in Mathematics Education
56:Contributions To The Theory Of Quantification
8:
1277:Mathematics & Statistics Specific Awards
1058:
1056:
527:, spends two chapters describing how to do
1177:
1175:
1232:
1163:
856:
653:
651:
326:
320:
302:
296:
262:
256:
232:
211:
205:
183:
168:
158:
142:
123:
113:
101:
1307:The Albert Harold Lightstone Scholarship
1251:The Albert Harold Lightstone Scholarship
1105:
1103:
1101:
1132:
1130:
1011:Webber, G. Cuthbert (1966). "Review of
967:
965:
786:falling short of 1 by an infinitesimal
587:
79:In his article "Infinitesimals" in the
58:. He was a professor of mathematics at
1006:
1004:
1355:Academic staff of Carleton University
1255:. www.canadian-universities.net. 2010
7:
1340:20th-century Canadian mathematicians
807:(1), University of Wisconsin: 1–7,
251:, corresponds to the infinitesimal
50:Lightstone earned his PhD from the
89:. Here there is a digit at every
14:
974:The American Mathematical Monthly
463:construction of the real numbers
447:(Appleton-Century-Crofts, 1969,
1234:10.1090/S0273-0979-1979-14718-9
1165:10.1090/S0002-9904-1977-14277-8
844:Canadian Mathematical Bulletin
674:10.1080/0025570X.1962.11975312
445:Fundamentals of Linear Algebra
1:
724:American Mathematical Monthly
644:Mathematics Genealogy Project
82:American Mathematical Monthly
1350:University of Toronto alumni
1039:10.1126/science.153.3735.519
431:Concepts of Calculus, vol. 2
944:by D. R. Dickinson (1966),
365:. He also wrote papers on
1386:
1185:by J. M. Plotkin (1980),
917:Journal of Symbolic Logic
640:Albert Harold Lightstone
34:, a doctoral student of
28:Albert Harold Lightstone
23:A.H. Lightstone at chess
711:, retrieved 2011-03-31.
707:March 27, 2010, at the
274:{\displaystyle 10^{-H}}
1345:Mathematical logicians
858:10.4153/cmb-1968-006-9
602:. www.faqs.org: Plenum
555:propositional calculus
517:non-Archimedean fields
439:(Harper and Row, 1966)
433:(Harper and Row, 1966)
373:, and applications of
347:infinitesimal calculus
331:
275:
241:
221:
191:
24:
16:Canadian mathematician
1144:Nonarchimedean Fields
1111:Nonarchimedean Fields
626:asymptotic expansions
622:Nonarchimedean fields
529:non-standard analysis
513:asymptotic expansions
509:non-standard analysis
505:Non-Standard Analysis
363:non-standard analysis
332:
276:
242:
222:
220:{\displaystyle a_{H}}
192:
52:University of Toronto
32:non-standard analysis
22:
1315:on December 24, 2010
1187:Mathematical Reviews
1115:Mathematical Reviews
1072:Mathematical Gazette
946:Mathematical Gazette
942:Concepts of Calculus
908:The Axiomatic Method
888:Mathematical Reviews
880:The Axiomatic Method
765:Ely, Robert (2010),
661:Mathematics Magazine
563:nonstandard analysis
416:Concepts of Calculus
295:
255:
231:
204:
100:
1066:(1967). "Review of
1031:1966Sci...153..519L
557:, a second part on
410:mathematical proofs
60:Carleton University
1213:Mathematical Logic
1183:Mathematical Logic
574:Awards and honours
521:mathematical logic
402:predicate calculus
327:
325:
318:
271:
237:
217:
187:
75:Decimal hyperreals
64:Queen's University
25:
1285:on March 29, 2012
533:Levi-Civita field
303:
301:
240:{\displaystyle H}
1377:
1325:
1324:
1322:
1320:
1301:
1295:
1294:
1292:
1290:
1271:
1265:
1264:
1262:
1260:
1245:
1239:
1238:
1236:
1227:(6): 1003–1005.
1203:
1197:
1179:
1170:
1169:
1167:
1134:
1125:
1107:
1096:
1095:
1064:Goodstein, R. L.
1060:
1051:
1050:
1008:
999:
997:
969:
960:
951:(373): 329–330,
938:
932:
904:
898:
876:
870:
869:
860:
838:
832:
831:
796:
790:
789:
785:
781:
771:
762:
756:
755:
718:
712:
699:
693:
692:
655:
646:
637:
631:
618:
612:
611:
609:
607:
592:
559:formal semantics
551:Herbert Enderton
501:2016 pbk reprint
491:Cauchy sequences
483:Boolean algebras
406:abstract algebra
371:matrix inversion
367:angle trisection
336:
334:
333:
328:
324:
319:
314:
280:
278:
277:
272:
270:
269:
246:
244:
243:
238:
227:appears at rank
226:
224:
223:
218:
216:
215:
196:
194:
193:
188:
179:
178:
163:
162:
153:
152:
128:
127:
118:
117:
36:Abraham Robinson
1385:
1384:
1380:
1379:
1378:
1376:
1375:
1374:
1330:
1329:
1328:
1318:
1316:
1303:
1302:
1298:
1288:
1286:
1273:
1272:
1268:
1258:
1256:
1247:
1246:
1242:
1207:Crossley, J. N.
1205:
1204:
1200:
1180:
1173:
1136:
1135:
1128:
1108:
1099:
1084:10.2307/3613659
1062:
1061:
1054:
1010:
1009:
1002:
986:10.2307/2316722
971:
970:
963:
939:
935:
905:
901:
884:R. L. Goodstein
877:
873:
840:
839:
835:
813:10.2307/2687951
798:
797:
793:
787:
783:
769:
764:
763:
759:
737:10.2307/2316619
720:
719:
715:
709:Wayback Machine
700:
696:
657:
656:
649:
638:
634:
619:
615:
605:
603:
594:
593:
589:
585:
576:
387:
359:
304:
293:
292:
258:
253:
252:
229:
228:
207:
202:
201:
200:Here the digit
164:
154:
138:
119:
109:
98:
97:
77:
72:
48:
17:
12:
11:
5:
1383:
1381:
1373:
1372:
1367:
1362:
1357:
1352:
1347:
1342:
1332:
1331:
1327:
1326:
1296:
1266:
1240:
1198:
1171:
1158:(2): 231–235.
1138:Loeb, Peter A.
1126:
1097:
1068:Symbolic Logic
1052:
1013:Symbolic Logic
1000:
961:
933:
923:(1): 106–108,
899:
871:
833:
791:
757:
731:(3): 242–251,
713:
694:
647:
632:
613:
586:
584:
581:
575:
572:
571:
570:
536:
494:
456:
442:
441:
440:
434:
424:real functions
413:
386:
383:
358:
357:Other research
355:
338:
337:
323:
317:
313:
310:
307:
300:
268:
265:
261:
236:
214:
210:
198:
197:
186:
182:
177:
174:
171:
167:
161:
157:
151:
148:
145:
141:
137:
134:
131:
126:
122:
116:
112:
108:
105:
76:
73:
71:
68:
47:
44:
15:
13:
10:
9:
6:
4:
3:
2:
1382:
1371:
1368:
1366:
1363:
1361:
1358:
1356:
1353:
1351:
1348:
1346:
1343:
1341:
1338:
1337:
1335:
1314:
1310:
1308:
1300:
1297:
1284:
1280:
1278:
1270:
1267:
1254:
1252:
1244:
1241:
1235:
1230:
1226:
1222:
1221:
1216:
1214:
1208:
1202:
1199:
1195:
1192:
1188:
1184:
1178:
1176:
1172:
1166:
1161:
1157:
1153:
1152:
1147:
1145:
1139:
1133:
1131:
1127:
1123:
1120:
1116:
1113:by I. Fenyo,
1112:
1106:
1104:
1102:
1098:
1093:
1089:
1085:
1081:
1077:
1073:
1069:
1065:
1059:
1057:
1053:
1048:
1044:
1040:
1036:
1032:
1028:
1025:(3735): 519.
1024:
1020:
1019:
1014:
1007:
1005:
1001:
995:
991:
987:
983:
979:
975:
968:
966:
962:
958:
954:
950:
947:
943:
937:
934:
930:
926:
922:
919:
918:
913:
912:Peter Andrews
909:
903:
900:
896:
893:
889:
885:
881:
875:
872:
868:
864:
859:
854:
850:
846:
845:
837:
834:
830:
826:
822:
818:
814:
810:
806:
802:
795:
792:
779:
775:
768:
761:
758:
754:
750:
746:
742:
738:
734:
730:
726:
725:
717:
714:
710:
706:
703:
698:
695:
691:
687:
683:
679:
675:
671:
668:(2): 99–102,
667:
663:
662:
654:
652:
648:
645:
641:
636:
633:
629:
627:
623:
617:
614:
601:
599:
591:
588:
582:
580:
573:
568:
564:
560:
556:
552:
548:
547:0-306-30894-0
544:
540:
537:
534:
530:
526:
522:
518:
514:
510:
506:
502:
498:
495:
492:
488:
487:Dedekind cuts
484:
480:
476:
472:
468:
464:
460:
457:
454:
453:0-390-56050-2
450:
446:
443:
438:
435:
432:
429:
428:
425:
421:
417:
414:
411:
407:
403:
399:
398:Boolean logic
395:
392:
391:
390:
384:
382:
380:
376:
372:
368:
364:
356:
354:
352:
348:
343:
321:
315:
311:
308:
305:
298:
291:
290:
289:
287:
282:
266:
263:
259:
250:
234:
212:
208:
184:
180:
175:
172:
169:
165:
159:
155:
149:
146:
143:
139:
135:
132:
129:
124:
120:
114:
110:
106:
103:
96:
95:
94:
92:
88:
84:
83:
74:
69:
67:
65:
61:
57:
53:
45:
43:
41:
37:
33:
29:
21:
1317:. Retrieved
1313:the original
1306:
1299:
1287:. Retrieved
1283:the original
1276:
1269:
1257:. Retrieved
1250:
1243:
1224:
1218:
1212:
1201:
1186:
1182:
1155:
1149:
1143:
1114:
1110:
1075:
1071:
1067:
1022:
1016:
1012:
977:
973:
948:
945:
941:
936:
920:
915:
907:
902:
887:
879:
874:
848:
842:
836:
804:
800:
794:
780:(2): 117–146
777:
773:
760:
728:
722:
716:
697:
665:
659:
635:
620:
616:
604:. Retrieved
597:
590:
577:
538:
511:in studying
504:
496:
467:formal logic
458:
444:
436:
430:
415:
393:
388:
379:formal logic
375:group theory
360:
341:
339:
286:hypernatural
283:
248:
199:
91:hypernatural
80:
78:
55:
49:
39:
27:
26:
1370:1976 deaths
1365:1926 births
1211:"Review of
1142:"Review of
1078:(375): 78.
525:ultrapowers
1334:Categories
1181:Review of
1109:Review of
980:(6): 716.
940:Review of
906:Review of
878:Review of
788:0.000...1.
784:"0.999..."
583:References
567:set theory
531:using the
523:including
87:hyperreals
1319:March 31,
1289:March 31,
1259:March 31,
851:: 43–50,
606:March 31,
465:based on
412:in logic.
316:⏟
309:…
264:−
181:…
147:−
136:…
130:…
46:Biography
1209:(1979).
1140:(1977).
914:(1966),
705:Archived
420:calculus
70:Research
1194:0497355
1122:0414354
1092:3613660
1047:1719891
1027:Bibcode
1018:Science
994:2316722
957:3614713
929:2270630
895:0163834
867:0229507
829:0231832
821:2687951
753:0300889
745:2316619
690:1571175
682:2688331
642:at the
1090:
1045:
992:
955:
927:
865:
827:
819:
751:
743:
688:
680:
545:
481:, and
479:fields
471:groups
451:
340:where
1088:JSTOR
1043:JSTOR
990:JSTOR
953:JSTOR
925:JSTOR
817:JSTOR
801:Delta
770:(PDF)
741:JSTOR
678:JSTOR
475:rings
385:Books
1321:2011
1291:2011
1261:2011
624:and
608:2011
565:and
543:ISBN
449:ISBN
62:and
1229:doi
1160:doi
1080:doi
1070:".
1035:doi
1023:153
1015:".
982:doi
910:by
882:by
853:doi
809:doi
733:doi
670:doi
489:or
422:of
377:to
306:999
1336::
1223:.
1217:.
1191:MR
1189:,
1174:^
1156:83
1154:.
1148:.
1129:^
1119:MR
1117:,
1100:^
1086:.
1076:51
1074:.
1055:^
1041:.
1033:.
1021:.
1003:^
988:.
978:76
976:.
964:^
949:50
921:31
892:MR
890:,
886:,
863:MR
861:,
849:11
847:,
825:MR
823:,
815:,
805:41
803:,
778:41
776:,
772:,
749:MR
747:,
739:,
729:79
727:,
686:MR
684:,
676:,
666:35
664:,
650:^
477:,
473:,
381:.
369:,
353:.
299:0.
281:.
260:10
66:.
42:.
1323:.
1309:"
1305:"
1293:.
1279:"
1275:"
1263:.
1253:"
1249:"
1237:.
1231::
1225:1
1215:"
1196:)
1168:.
1162::
1146:"
1124:.
1094:.
1082::
1049:.
1037::
1029::
998:.
996:.
984::
959:.
931:.
897:.
855::
811::
735::
672::
628:.
610:.
600:"
596:"
455:)
342:H
322:H
312:9
267:H
249:H
235:H
213:H
209:a
185:.
176:1
173:+
170:H
166:a
160:H
156:a
150:1
144:H
140:a
133:;
125:2
121:a
115:1
111:a
107:.
104:a
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.