Dummett's case for intuitionism (Q3342527): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4133603 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4160889 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A computable ordinary differential equation which possesses no computable solution / rank
 
Normal rank
Property / cites work
 
Property / cites work: The wave equation with computable initial data such that its unique solution is not computable / rank
 
Normal rank
Property / cites work
 
Property / cites work: Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not / rank
 
Normal rank
Property / cites work
 
Property / cites work: Meaning and proofs: on the conflict between classical and intuitionistic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3158563 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Why propositions cannot be sets of truth-supporting circumstances / rank
 
Normal rank
Property / cites work
 
Property / cites work: The rejected parts of Brouwer's dissertation on the foundations of mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3952080 / rank
 
Normal rank

Latest revision as of 14:49, 14 June 2024

scientific article
Language Label Description Also known as
English
Dummett's case for intuitionism
scientific article

    Statements

    Identifiers