31:
149:, which was awarded in 1901. He then spent his entire career at Harvard, retiring in 1941. He taught in the engineering school, becoming Professor of Mechanics in 1919. Although Huntington's research was mainly in pure mathematics, he valued teaching mathematics to engineering students. He advocated mechanical calculators and had one in his office. He had an interest in
211:. His 1902 axiomatization of the real numbers has been characterized as "one of the first successes of abstract mathematics" and as having "filled the last gap in the foundations of Euclidean geometry". Huntington excelled at proving axioms independent of each other by finding a sequence of
530:
520:
525:
540:
334:
535:
515:
458:
326:
479:
473:
322:
505:
254:
510:
480:
NEW SETS OF INDEPENDENT POSTULATES FOR THE ALGEBRA OF LOGIC, WITH SPECIAL REFERENCE TO WHITEHEAD AND RUSSELL’S PRINCIPIA MATHEMATICA
380:
51:
330:
237:
on a sound axiomatic foundation. He revisited
Boolean axiomatics in 1933, proving that Boolean algebra required but a single
409:
309:
430:
305:
301:
176:) who proposed axiom sets for a variety of mathematical systems. In so doing, they helped found what is now known as
161:
354:
250:
463:
165:
146:
95:
70:
434:
234:
164:. He was one of the "American postulate theorists" (according to Michael Scanlan, the expression is due to
226:" (Scanlan 1999). Yet Huntington and the other American postulate theorists played no role in the rise of
318:. This mathematical algorithm has been used in the U.S. since 1941 and is currently the method used.
500:
495:
372:
227:
453:
469:
449:
192:
138:
114:
82:
325:, which he helped found as a charter member and its first vice-president. He was elected to the
187:
Huntington was perhaps the most prolific of the
American postulate theorists, devising sets of
376:
204:
316:
293:
238:
142:
110:
30:
413:
246:
177:
395:
242:
208:
153:, unusual for the time, and worked on statistical problems for the USA military during
489:
196:
173:
126:
220:
212:
181:
313:
169:
154:
406:
223:
215:, each one satisfying all but one of the axioms in a given set. His 1917 book
150:
200:
168:), American mathematicians active early in the 20th century (including
312:
to the states, as a function of their populations determined in the
125:(April 26, 1874 – November 25, 1952) was an American
188:
90:
86:
353:
Scanlan, M. (1991) "Who were the
American Postulate Theorists?",
99:
141:
in 1895 and 1897, respectively. After two years' teaching at
531:
521:
Harvard
University Department of Mathematics faculty
321:In 1919, Huntington was the third President of the
106:
78:
59:
37:
21:
429:Scanlan, M. (1999) "Edward Vermilye Huntington,"
219:was in its day "...a widely read introduction to
245:'+') that commutes and associates, and a single
137:Huntington was awarded the B.A. and the M.A. by
526:Fellows of the American Statistical Association
160:Huntington's primary research interest was the
335:Fellow of the American Statistical Association
217:The Continuum and Other Types of Serial Order
8:
541:People from Clinton, Oneida County, New York
255:only further axiom Boolean algebra requires
29:
18:
482:by EDWARD V. HUNTINGTON from January 1933
230:then taking place in continental Europe.
459:MacTutor History of Mathematics Archive
346:
333:in 1933. In 1942 he was elected as a
327:American Academy of Arts and Sciences
7:
536:20th-century American mathematicians
474:Mathematical Association of America
323:Mathematical Association of America
191:(which he called "postulates") for
296:, Huntington is credited with the
253:, denoted by a postfix prime. The
14:
396:MAA presidents: E. V. Huntington
516:University of Strasbourg alumni
470:Photograph of E. V. Huntington
407:View/Search Fellows of the ASA
331:American Philosophical Society
145:, he began a doctorate at the
1:
310:U.S. House of Representatives
454:"Edward Vermilye Huntington"
431:American National Biography
298:method of equal proportions
557:
162:foundations of mathematics
123:Edward Vermilye Huntington
23:Edward Vermilye Huntington
506:Harvard University alumni
355:Journal of Symbolic Logic
28:
511:Williams College faculty
464:University of St Andrews
367:Smith, James T. (2000).
233:In 1904, Huntington put
147:University of Strasbourg
96:University of Strasbourg
71:Cambridge, Massachusetts
435:Oxford University Press
292:Revising a method from
416:, accessed 2016-07-23.
302:Huntington–Hill method
16:American mathematician
373:John Wiley & Sons
450:Robertson, Edmund F.
228:axiomatic set theory
448:O'Connor, John J.;
369:Methods of Geometry
472:, courtesy of the
412:2016-06-16 at the
287:Huntington's axiom
241:(denoted below by
139:Harvard University
115:Harvard University
83:Harvard University
205:real number field
120:
119:
63:November 25, 1952
52:Clinton, New York
548:
466:
417:
404:
398:
393:
387:
386:
364:
358:
351:
329:in 1913 and the
308:of seats in the
294:Joseph Adna Hill
239:binary operation
143:Williams College
111:Williams College
66:
47:
45:
33:
19:
556:
555:
551:
550:
549:
547:
546:
545:
486:
485:
447:
444:
426:
421:
420:
414:Wayback Machine
405:
401:
394:
390:
383:
366:
365:
361:
352:
348:
343:
251:complementation
247:unary operation
235:Boolean algebra
209:complex numbers
178:metamathematics
135:
113:
94:
74:
68:
64:
55:
49:
43:
41:
24:
17:
12:
11:
5:
554:
552:
544:
543:
538:
533:
528:
523:
518:
513:
508:
503:
498:
488:
487:
484:
483:
477:
467:
443:
442:External links
440:
439:
438:
425:
422:
419:
418:
399:
388:
381:
375:. p. 49.
359:
345:
344:
342:
339:
283:
282:
197:abelian groups
134:
131:
118:
117:
108:
104:
103:
80:
76:
75:
69:
67:(aged 78)
61:
57:
56:
50:
48:April 26, 1874
39:
35:
34:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
553:
542:
539:
537:
534:
532:
529:
527:
524:
522:
519:
517:
514:
512:
509:
507:
504:
502:
499:
497:
494:
493:
491:
481:
478:
475:
471:
468:
465:
461:
460:
455:
451:
446:
445:
441:
436:
432:
428:
427:
423:
415:
411:
408:
403:
400:
397:
392:
389:
384:
382:0-471-25183-6
378:
374:
370:
363:
360:
357:56, 981–1002.
356:
350:
347:
340:
338:
336:
332:
328:
324:
319:
317:
315:
311:
307:
306:apportionment
303:
299:
295:
290:
288:
285:now known as
280:
276:
272:
268:
264:
260:
259:
258:
256:
252:
248:
244:
240:
236:
231:
229:
225:
222:
218:
214:
210:
206:
202:
198:
194:
190:
185:
183:
179:
175:
174:Oswald Veblen
171:
167:
166:John Corcoran
163:
158:
156:
152:
148:
144:
140:
132:
130:
128:
127:mathematician
124:
116:
112:
109:
105:
101:
97:
92:
88:
84:
81:
77:
72:
62:
58:
53:
40:
36:
32:
27:
20:
457:
433:11: 534-36,
402:
391:
368:
362:
349:
320:
297:
291:
286:
284:
278:
274:
270:
266:
262:
232:
216:
186:
182:model theory
159:
136:
122:
121:
65:(1952-11-25)
501:1952 deaths
496:1874 births
314:U.S. Census
170:E. H. Moore
155:World War I
107:Employer(s)
490:Categories
424:References
224:set theory
151:statistics
44:1874-04-26
221:Cantorian
133:Biography
79:Education
410:Archived
201:geometry
379:
213:models
207:, and
203:, the
193:groups
189:axioms
73:, U.S.
54:, U.S.
341:Notes
277:)' =
269:')'+(
243:infix
377:ISBN
257:is:
180:and
172:and
60:Died
38:Born
304:of
300:or
100:PhD
492::
462:,
456:,
452:,
371:.
337:.
289:.
273:'+
265:'+
249:,
199:,
195:,
184:.
157:.
129:.
91:MA
89:,
87:BA
476:.
437:.
385:.
281:,
279:a
275:b
271:a
267:b
263:a
261:(
102:)
98:(
93:)
85:(
46:)
42:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.