{"id":"W1979127885","doi":"10.1016/j.apal.2008.04.005","title":"Introduction to Turing categories","year":2008,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa; University of Calgary","funders":"","keywords":"Turing machine; Turing; Categorical variable; Mathematics; Computability theory; Description number; Recursion (computer science); Computability; Generality; Super-recursive algorithm; Algebra over a field; Exposition (narrative); Universal Turing machine; Computer science; Computation; Discrete mathematics; Algorithm; Pure mathematics; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009962759,0.0008434203,0.001160726,0.003413511,0.002420883,0.004061549,0.001088877,0.001590359,0.02450617],"category_scores_gemma":[0.003371249,0.0007146199,0.0009830587,0.004009274,0.006549979,0.007167874,0.002855367,0.005910259,0.007090834],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002645588,"about_ca_system_score_gemma":0.001608251,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001175622,"about_ca_topic_score_gemma":0.001502803,"domain_scores_codex":[0.9990609,0.0002903557,0.00005238811,0.0002343226,0.0002702248,0.00009175252],"domain_scores_gemma":[0.9984879,0.0008200911,0.00004514267,0.0002570912,0.0002596666,0.0001300638],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000043884,0.000006306965,0.00004730584,0.00006171776,0.000004013813,0.00001393399,0.0001623869,0.0001463268,0.0001085771,0.9651636,0.02227498,0.01200637],"study_design_scores_gemma":[0.000002259357,0.000004473044,0.00009874615,0.00003927135,0.000003712501,0.00005874529,0.00003477676,0.0002460569,0.00008366782,0.7678422,0.2315794,0.000006688062],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.006748931,0.1374633,0.1927157,0.03642326,0.01877081,0.00008750962,0.00151127,0.001194773,0.6050844],"genre_scores_gemma":[0.3426507,0.07511504,0.09080631,0.01535342,0.04456965,0.0006179149,0.00143879,0.001331715,0.4281164],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02450617,"threshold_uncertainty_score":0.08198136,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04680070270485933,"score_gpt":0.2678986461075334,"score_spread":0.2210979434026741,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}