Statements (78)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:physicist
|
| gptkbp:applies_to |
gptkb:quantum_computing
gptkb:software_framework gptkb:currency |
| gptkbp:has_impact_on |
computability theory
decidability |
| https://www.w3.org/2000/01/rdf-schema#label |
Church-Turing Thesis
|
| gptkbp:is_a_basis_for |
gptkb:language
gptkb:Cloud_Computing_Service formal languages social network analysis digital computation |
| gptkbp:is_a_framework_for |
gptkb:computer_science
gptkb:software_framework algorithm design data structures parallel computing information retrieval understanding computation understanding algorithms |
| gptkbp:is_about |
gptkb:Footballer
|
| gptkbp:is_analyzed_in |
computational models
computational problems |
| gptkbp:is_associated_with |
recursive functions
|
| gptkbp:is_cited_in |
academic papers
|
| gptkbp:is_connected_to |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:is_considered |
a hypothesis
|
| gptkbp:is_described_as |
algorithmic computability
|
| gptkbp:is_discussed_in |
philosophy of mathematics
computer science literature |
| gptkbp:is_influential_in |
gptkb:Artificial_Intelligence
|
| gptkbp:is_often_associated_with |
Turing's thesis
|
| gptkbp:is_related_to |
computational complexity
Turing machines lambda calculus |
| gptkbp:key |
information theory
|
| gptkbp:legal_issue |
gptkb:robot
network security mathematical logic fuzzy logic software engineering systems theory algorithmic information theory information theory. artificial life |
| gptkbp:named_after |
gptkb:Alonzo_Church
gptkb:Alan_Turing |
| gptkbp:proposed_by |
equivalence of computation models
|
| gptkbp:related_concept |
data science
distributed systems network theory complex systems cybernetics semantic web discrete mathematics computational ethics |
| gptkbp:significance |
theoretical computer science
|
| gptkbp:subject |
gptkb:physicist
gptkb:archaeological_site computational linguistics human-computer interaction knowledge representation bioinformatics quantum information theory digital humanities mathematical research digital forensics computational geometry computational neuroscience philosophical inquiry debate among philosophers algorithmic game theory computational finance computational sociology computer ethics |
| gptkbp:suitable_for |
functions computable by algorithms
|
| gptkbp:bfsParent |
gptkb:Computable_Numbers
|
| gptkbp:bfsLayer |
4
|