Video Introduction 2

Here is the first in a series of videos introducing basic concepts, methods, tools and visions of Mathematical Simulation Technology in a short presentation of constructive calculus:

Summary: Constructive calculus is classical calculus restricted by the limits of finite precision computation and augmented by the new capacities of automated computation by the computer. In constructive calculus, the elementary functions are computed solving differential equations by time stepping, which decodes the reality behind symbols like sin(1) and exp(2) and shows how these symbols are to be used. In constructive calculus the student actively constructs models of the world from scratch in the form of computer programs (like a composer writes a partiture), which is given life by a computer running the program (like an orchestra performing the composed music). Constructive calculus is today booming with the computer, while classical calculus was perfected in the 19th century.