World Scientific
Skip main navigation

Cookies Notification

We use cookies on this site to enhance your user experience. By continuing to browse the site, you consent to the use of our cookies. Learn More
×

System Upgrade on Tue, May 28th, 2024 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at customercare@wspc.com for any enquiries.

Chapter 1: Proof and Computation

    https://doi.org/10.1142/9789813270947_0001Cited by:3 (Source: Crossref)
    Abstract:

    The following sections are included:

    • Introduction

    • Basics of Computability

    • Hierarchies of Computability

    • Constructive Ordinal Proof Theory

    • Computability in Higher Types

    • Intuitionistic Mathematics and Human Creativity

    • Constructive Proof Mining

    • Constructive Reverse Mathematics

    • Analog Computability and Real Analysis

    • Perspectives of Proof and Computation for Mathematics, Computer Science and Philosophy

    • References