Statements (75)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:concept
|
| gptkbp:bfsLayer |
3
|
| gptkbp:bfsParent |
gptkb:Alan_Turing
|
| gptkbp:applies_to |
gptkb:currency
Numerical Analysis |
| gptkbp:defines |
Mathematical Texts
Effective Computation Effective Procedures |
| gptkbp:examines |
gptkb:collection
Information Theory Algorithmic Theory |
| gptkbp:exhibited_at |
Finite State Machines
Computational Examples |
| https://www.w3.org/2000/01/rdf-schema#label |
Computable Numbers
|
| gptkbp:illustrated_by |
Computational Models
Computational Examples Examples of Algorithms |
| gptkbp:includes |
Rational Numbers
Transcendental Numbers Certain Irrational Numbers |
| gptkbp:ingredients |
Formal Systems
|
| gptkbp:introduced |
gptkb:Alan_Turing
|
| gptkbp:is_a |
Subset of Real Numbers
|
| gptkbp:is_analyzed_in |
gptkb:Artificial_Intelligence
Computational Complexity Theory |
| gptkbp:is_associated_with |
gptkb:Algorithmic_Information_Theory
|
| gptkbp:is_challenged_by |
gptkb:Halting_Problem
gptkb:physicist Non-deterministic Algorithms |
| gptkbp:is_characterized_by |
Decidability
|
| gptkbp:is_compared_to |
Real Numbers
Non-computable Numbers Turing computable functions |
| gptkbp:is_connected_to |
Formal Languages
|
| gptkbp:is_considered |
Algorithmic Verification
Mathematical Experiments |
| gptkbp:is_described_as |
Recursive Functions
Numbers that can be computed by a finite algorithm |
| gptkbp:is_discussed_in |
gptkb:Mathematician
Computational Mathematics Mathematical Philosophy |
| gptkbp:is_essential_for |
gptkb:Artificial_Intelligence
|
| gptkbp:is_evaluated_by |
Computational Models
|
| gptkbp:is_explored_in |
Computational Models
Algorithm Design Theoretical Computer Science Computability Theory Algorithmic Complexity Mathematical Theorems Computational Theory |
| gptkbp:is_fundamental_to |
Theory of Computation
|
| gptkbp:is_influenced_by |
Gödel's Incompleteness Theorems
|
| gptkbp:is_linked_to |
Data Structures
Mathematical Proofs |
| gptkbp:is_maintained_by |
Logical Frameworks
|
| gptkbp:is_noted_for |
Limitations in Computability
|
| gptkbp:is_referenced_in |
Computer Algorithms
|
| gptkbp:is_reflected_in |
Computer Science Education
Programming Paradigms Computer Programming Languages Computer Science Research |
| gptkbp:is_related_to |
gptkb:Church-Turing_Thesis
|
| gptkbp:is_represented_in |
Decimal Expansions
|
| gptkbp:is_studied_in |
Discrete Mathematics
Mathematical Computation |
| gptkbp:is_supported_by |
Mathematical Logic
Mathematical Foundations |
| gptkbp:is_tested_for |
Algorithmic Processes
|
| gptkbp:is_used_in |
Computer Science
Mathematical Logic |
| gptkbp:is_utilized_in |
gptkb:architect
gptkb:software_framework |
| gptkbp:related_to |
gptkb:Turing_Machines
|
| gptkbp:scientific_classification |
Countable Sets
Discrete Structures |