2016/09/07 by Sam Sanders, Sanders, Sam
Computer Science · Mathematics · Psychology · #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #Philosophy and Theoretical Science
paper · pdf · doi:10.48550/arxiv.1609.01919
openalex publication_date 2016/09/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
As suggested by the title, it has recently become clear that theorems of Nonstandard Analysis (NSA) give rise to theorems in computability theory (no longer involving NSA). Now, the aforementioned discipline divides into classical and higher-order computability theory, where the former (resp. the latter) sub-discipline deals with objects of type zero and one (resp. of all types). The aforementioned results regarding NSA deal exclusively with the higher-order case; we show in this paper that theorems of NSA also give rise to theorems in classical computability theory by considering so-called textbook proofs.