The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The creating subject, the Brouwer-Kripke schema, and infinite proofs |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
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.8226727843284607
0 references
0.8018935918807983
0 references
0.7813570499420166
0 references
0.781356930732727
0 references
0.7729322910308838
0 references
