The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The creating subject, the Brouwer-Kripke schema, and infinite proofs
scientific article

    Statements

    The creating subject, the Brouwer-Kripke schema, and infinite proofs (English)
    0 references
    0 references
    8 October 2018
    0 references
    Brouwer, L. E. J., Brouwer-Kripke schema
    0 references
    creating subject
    0 references
    infinite proofs
    0 references
    intuitionistic logic
    0 references
    intuitionistic mathematics
    0 references
    Kreisel, G., Kripke, S., Myhill, J., Troelstra, A.S., theory of the creating subject
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers