{"id":"W3000371917","doi":"10.1007/978-3-030-66545-6_7","title":"Aspects of Categorical Recursion Theory","year":2021,"lang":"en","type":"book-chapter","venue":"Outstanding contributions to logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Recursion (computer science); Categorical variable; Focus (optics); Computation; Category theory; Computer science; Epistemology; Mathematical economics; Mathematics; Calculus (dental); Algebra over a field; Pure mathematics; Algorithm; Philosophy; Physics; Machine learning","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.0006418188,0.0003839288,0.0004079669,0.0009519255,0.001795336,0.003847175,0.0008766876,0.0009602879,0.01523156],"category_scores_gemma":[0.001953637,0.0002800326,0.0003922739,0.001504161,0.00467401,0.004843382,0.001474244,0.002851668,0.003665122],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0026316,"about_ca_system_score_gemma":0.001347068,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002213929,"about_ca_topic_score_gemma":0.00294901,"domain_scores_codex":[0.9993373,0.0001911659,0.00001642303,0.0001011631,0.0002850601,0.00006884246],"domain_scores_gemma":[0.9993615,0.0003415191,0.00002412709,0.000106403,0.0001146842,0.00005176011],"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.00000249642,0.000003266576,0.00003419344,0.00001248438,8.040758e-7,0.000006335001,0.0001032671,0.00009211244,0.00005194113,0.9817222,0.009603602,0.008367344],"study_design_scores_gemma":[0.000001329278,0.000001943377,0.00006279622,0.00001609601,9.806203e-7,0.00002235271,0.00004259196,0.000276762,0.00004466831,0.9053892,0.09413893,0.000002285826],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.003951411,0.02309903,0.05590771,0.009706892,0.00135231,0.00001472974,0.0001972747,0.0003214779,0.9054492],"genre_scores_gemma":[0.2561216,0.02025173,0.03300293,0.003705732,0.004225146,0.0001147694,0.0005217073,0.0003587632,0.6816977],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01523156,"threshold_uncertainty_score":0.05095458,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02911258193846895,"score_gpt":0.2776253606016518,"score_spread":0.2485127786631829,"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."}}