{"id":"W3100307655","doi":"10.1145/1507244.1507252","title":"Differential recursion","year":2009,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Japan Society for the Promotion of Science","keywords":"Recursion (computer science); Mathematics; Algebra over a field; Computable function; μ operator; Primitive recursive function; Computation; Class (philosophy); Differential (mechanical device); Computability theory; Algebraic number; Discrete mathematics; Computer science; Pure mathematics; Algorithm; Recursive functions","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.0008916049,0.0004160225,0.0005072037,0.0009862995,0.001290473,0.002222133,0.001123538,0.0008799337,0.008068248],"category_scores_gemma":[0.002741556,0.0002155119,0.0008686789,0.0008647224,0.003752692,0.004537167,0.002261956,0.002295791,0.001599899],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001997872,"about_ca_system_score_gemma":0.0007397936,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001058721,"about_ca_topic_score_gemma":0.00102014,"domain_scores_codex":[0.9991504,0.0001768563,0.00003696112,0.0001977108,0.0003253188,0.0001127763],"domain_scores_gemma":[0.9991705,0.0003084781,0.00006069923,0.0002107821,0.0001694,0.00008005088],"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.000001276315,0.000001615371,0.00001822437,0.000004713291,6.45832e-7,0.000008685189,0.00003210333,0.0001751061,0.00009336614,0.9969637,0.0003739283,0.002326582],"study_design_scores_gemma":[0.000002924485,0.000007488202,0.00003379914,0.000009251229,0.000003450032,0.00007323348,0.00001737387,0.004492283,0.000371191,0.9614223,0.03356116,0.000005506215],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01688537,0.003371753,0.7280754,0.003708824,0.0009172006,0.0000544396,0.0002455403,0.0003446757,0.2463968],"genre_scores_gemma":[0.7160951,0.00443411,0.2024132,0.002657173,0.001206942,0.0001912191,0.0002778453,0.0002958142,0.07242849],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008068248,"threshold_uncertainty_score":0.02699095,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02643501812986163,"score_gpt":0.2741020397308102,"score_spread":0.2476670216009485,"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."}}