Limit-Computable Mathematics and its Applications Susumu Hayashi & Yohji Akama Sep, 22, 2002 CSL’02, Edinburgh, Scotland, UK LCM : Limit-Computable Mathematics Constructive mathematics is a mathematics based on D 0 1 -functions , i.e. recursive functions.
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Susumu Hayashi & Yohji Akama
Sep, 22, 2002
CSL’02, Edinburgh, Scotland, UK
limn → ∞f(n) = x
“x is computable in thelimit”
semi-classical principles hold
The arrows indicate derivability