Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212)

From MaRDI portal
Revision as of 23:40, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article; zbMATH DE number 6436519
Language Label Description Also known as
English
Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
scientific article; zbMATH DE number 6436519

    Statements

    Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (English)
    0 references
    0 references
    19 May 2015
    0 references
    recursive functions
    0 references
    constructive functions
    0 references
    theory of creating subject
    0 references
    Kripke's schema
    0 references
    BHK meaning-explanations
    0 references
    Kreisel-Myhill connective
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references