Mathematics Colloquia and Seminars

Return to Colloquia & Seminar listing

Nonstandard Analysis and Applications

Student-Run Research Seminar

Speaker: Eddie Kim, UC Davis
Location: 2112 MSB
Start time: Wed, Feb 22 2006, 12:00AM

Leibniz and Newton, both independently credited as inventors of calculus, relied on the concept of an infinitesimal (nonzero "numbers" that were "infinitely small") in their development. Our standard rigorous treatment of calculus involves an "arbitrary epsilon" limit definiton. There's an alternative rigorous study of calculus beyond the limits of real analysis. In 1961, Robinson constructed the "hyperreal line" as a direct consequence of the compactness theorem of first order logic. We will examine some typical proofs of known statements in advanced calculus and extend the nonstandard framework to other mathematical fields.