{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","description":"This cluster of papers explores topics in computational complexity and algorithmic information theory, including Kolmogorov complexity, randomness, Turing machines, compression-based distance measures, universal intelligence, computational depth, fractal dimension, and causal discovery.","keywords":[{"id":"https://openalex.org/keywords/computability","display_name":"computability","score":0.5247},{"id":"https://openalex.org/keywords/computability-theory","display_name":"computability theory","score":0.8015},{"id":"https://openalex.org/keywords/turing-machines","display_name":"Turing machines","score":0.4186},{"id":"https://openalex.org/keywords/turing-degrees","display_name":"Turing degrees","score":0.8898},{"id":"https://openalex.org/keywords/undecidability","display_name":"undecidability","score":0.2065},{"id":"https://openalex.org/keywords/computably-enumerable-sets","display_name":"computably enumerable sets","score":0.7886},{"id":"https://openalex.org/keywords/recursive-functions","display_name":"recursive functions","score":0.5519},{"id":"https://openalex.org/keywords/kolmogorov-complexity","display_name":"Kolmogorov complexity","score":0.5097},{"id":"https://openalex.org/keywords/godel-s-incompleteness-theorems","display_name":"G\u00f6del's incompleteness theorems","score":0.259},{"id":"https://openalex.org/keywords/computable-analysis","display_name":"computable analysis","score":0.7006},{"id":"https://openalex.org/keywords/algorithmic-information-theory","display_name":"algorithmic information theory","score":0.662},{"id":"https://openalex.org/keywords/halting-problem","display_name":"halting problem","score":0.6352},{"id":"https://openalex.org/keywords/algorithmic-randomness","display_name":"algorithmic randomness","score":0.8261},{"id":"https://openalex.org/keywords/formal-systems","display_name":"formal systems","score":0.2056},{"id":"https://openalex.org/keywords/complexity-classes","display_name":"complexity classes","score":0.2154},{"id":"https://openalex.org/keywords/reverse-mathematics","display_name":"reverse mathematics","score":0.4878},{"id":"https://openalex.org/keywords/martin-lof-randomness","display_name":"Martin-L\u00f6f randomness","score":0.9369},{"id":"https://openalex.org/keywords/church-turing-thesis","display_name":"Church-Turing thesis","score":0.6551},{"id":"https://openalex.org/keywords/limits-of-computation","display_name":"limits of computation","score":0.2935},{"id":"https://openalex.org/keywords/turing-computability","display_name":"Turing computability","score":0.6926},{"id":"https://openalex.org/keywords/primitive-recursive-functions","display_name":"primitive recursive functions","score":0.6062},{"id":"https://openalex.org/keywords/universal-turing-machine","display_name":"universal Turing machine","score":0.4889},{"id":"https://openalex.org/keywords/computable-model-theory","display_name":"computable model theory","score":0.7227},{"id":"https://openalex.org/keywords/degree-structure","display_name":"degree structure","score":0.4293},{"id":"https://openalex.org/keywords/proof-theoretic-strength","display_name":"proof-theoretic strength","score":0.284}],"legacy_keywords":"Algorithmic Information Theory; Computability; Kolmogorov Complexity; Randomness; Turing Machines; Compression-based Distance; Universal Intelligence; Computational Depth; Fractal Dimension; Causal Discovery","ids":{"openalex":"https://openalex.org/T12002","wikipedia":"https://en.wikipedia.org/wiki/Computational_complexity_theory"},"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"},"siblings":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification"},{"id":"https://openalex.org/T10211","display_name":"Computational Drug Discovery Methods"},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research"},{"id":"https://openalex.org/T10545","display_name":"Optimization and Variational Analysis"},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs"},{"id":"https://openalex.org/T10792","display_name":"Matrix Theory and Algorithms"},{"id":"https://openalex.org/T10848","display_name":"Advanced Multi-Objective Optimization Algorithms"},{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic"},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling"},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation"},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory"},{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms"},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic"},{"id":"https://openalex.org/T12100","display_name":"Advanced Mathematical Modeling in Engineering"},{"id":"https://openalex.org/T12162","display_name":"Cellular Automata and Applications"},{"id":"https://openalex.org/T12469","display_name":"Chaos, Complexity, and Education"},{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis"},{"id":"https://openalex.org/T12541","display_name":"Graph Labeling and Dimension Problems"},{"id":"https://openalex.org/T12794","display_name":"Adaptive Dynamic Programming Control"},{"id":"https://openalex.org/T12809","display_name":"Contact Mechanics and Variational Inequalities"},{"id":"https://openalex.org/T13182","display_name":"Quantum-Dot Cellular Automata"},{"id":"https://openalex.org/T13286","display_name":"Modeling and Simulation Systems"},{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing"}],"works_count":36324,"cited_by_count":350420,"works_api_url":"https://api.openalex.org/works?filter=topics.id:T12002","updated_date":"2026-10-20T03:01:21","created_date":"2024-01-23T15:27:12"}