页面历史
2021年2月3日 (星期三)
无编辑摘要
+453
无编辑摘要
-52
→See also
+57
→Professional organizations
+147
→Name
+7
→Name
+94
→Relationships between definability, proof and computability
+1,041
→Continuous computability theory
+453
→Generalizations of Turing computability
+546
→Inductive inference
-10
→Frequency computation
+22
→Frequency computation
+255
→Kolmogorov complexity
+336
→Automorphism problems
+52
→Relative computability and the Turing degrees
→The lattice of recursively enumerable sets
+22
→The priority method
+149
→Numberings
+206
→Reverse mathematics
+94
→Reverse mathematics
+126
→Reverse mathematics
+17
→Rice's theorem and the arithmetical hierarchy
-30
→Other reducibilities
+473
→Relative computability and the Turing degrees
+379
→Relative computability and the Turing degrees
+38
→Relative computability and the Turing degrees
+58
→Relative computability and the Turing degrees
+67
→Relative computability and the Turing degrees
+125
→Relative computability and the Turing degrees
+148
→Relative computability and the Turing degrees
+11
→Areas of research
+73
→Turing computability
+44
→Computable and uncomputable sets
+1
→Turing computability
+455
→Computable and uncomputable sets
-6
→Turing computability
+17
→Computable and uncomputable sets
+28
→Computable and uncomputable sets
+14
→Computable and uncomputable sets
+1,300