Seminar series
Date
Wed, 29 May 2013
11:30
11:30
Location
Queen's College
Speaker
Levon Haykazyan
Concepts such as infinitesimal numbers and fluxions have been used by Leibnitz and Newton for the initial development of calculus. However, their non-rigorous nature has caused a lot of controversy and they have eventually been phased out by epsilon-delta definitions. In early 60s Abraham Robinson realised that methods of mathematical logic can be used to provide rigorous meaning to such concepts. This talk is a gentle introduction to some of Robinson's ideas.