Statements (64)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematics
|
| gptkbp:declined_in |
law of excluded middle
|
| gptkbp:developed_by |
gptkb:Errett_Bishop
gptkb:20th_century modern mathematics constructive mathematicians |
| gptkbp:emphasizes |
algorithmic content
|
| gptkbp:focuses_on |
constructive proofs
|
| https://www.w3.org/2000/01/rdf-schema#label |
constructive mathematics
|
| gptkbp:includes |
constructive analysis
constructive topology |
| gptkbp:is_applied_in |
gptkb:C_programming_language
algorithm design data science mathematical logic numerical analysis software verification |
| gptkbp:is_associated_with |
computational mathematics
proof theory Bishop's constructivism |
| gptkbp:is_based_on |
constructive set theory
|
| gptkbp:is_characterized_by |
constructive algorithms
constructive methods constructive logic constructive existence proofs constructive reasoning |
| gptkbp:is_compared_to |
classical mathematics
|
| gptkbp:is_connected_to |
category theory
|
| gptkbp:is_considered_as |
alternative to classical mathematics
|
| gptkbp:is_criticized_for |
philosophers of mathematics
classical mathematicians lack of classical results |
| gptkbp:is_explored_in |
mathematical education
mathematical logic philosophy of mathematics mathematical philosophy foundational studies |
| gptkbp:is_influenced_by |
gptkb:L._E._J._Brouwer
gptkb:Martin-Löf_type_theory computational complexity theory computational mathematics computational interpretations Hilbert's program |
| gptkbp:is_part_of |
mathematical foundations
mathematical logic foundations of mathematics |
| gptkbp:is_related_to |
mathematical logic
computability theory proof theory intuitionism formal methods proof assistants |
| gptkbp:is_taught_in |
mathematics education
|
| gptkbp:is_used_in |
gptkb:computer_science
formal verification theoretical computer science mathematical modeling mathematical research mathematical proofs proof theory discrete mathematics algorithmic mathematics |
| gptkbp:bfsParent |
gptkb:Heyting_algebra
|
| gptkbp:bfsLayer |
6
|