{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002348768,0.000127394,0.0002113856,0.00008862328,0.0001260415,0.00003500819,0.0003508316,0.00005266953,0.00001213411],"category_scores_gemma":[0.00002747753,0.0001083685,0.0000388837,0.0003450822,0.000079743,0.0001360478,0.0002969578,0.00009232189,0.00002428339],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005700705,"about_ca_system_score_gemma":0.00002088944,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000107649,"about_ca_topic_score_gemma":0.00000336973,"domain_scores_codex":[0.9989423,0.00001878502,0.0002022163,0.0004200372,0.0001823253,0.0002344034],"domain_scores_gemma":[0.9993307,0.00003809048,0.00006237905,0.0003844381,0.00009049903,0.00009387808],"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.00005347619,0.0003916351,0.0007335478,0.0001115687,0.00005830777,0.00002975093,0.006280714,0.004084668,0.01335985,0.7218298,0.03617804,0.2168886],"study_design_scores_gemma":[0.0007369177,0.001174323,0.05593351,0.00001820007,0.00001843021,0.0003088987,0.0004003007,0.003024457,0.2458084,0.6146452,0.07658147,0.001349878],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6995391,0.0005778499,0.2690671,0.02536469,0.0004708943,0.0004471224,0.000002445378,0.0002781773,0.004252707],"genre_scores_gemma":[0.9767657,0.00005910971,0.02176875,0.0008254322,0.0004767411,0.00001450334,0.000001565127,0.000004611539,0.00008357694],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2772267,"threshold_uncertainty_score":0.441914,"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."}}