{"id":"W1503390214","doi":"10.1007/bfb0032065","title":"Provable computable functions on abstract data types","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Assertion; Primitive recursive function; Corollary; Computable function; Computability; Scheme (mathematics); Computer science; Context (archaeology); Theoretical computer science; Data type; Mathematics; Type (biology); Natural number; Function (biology); Algebra over a field; Discrete mathematics; 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.002524307,0.001652221,0.001371879,0.001494982,0.001598328,0.007250394,0.002977633,0.002141817,0.01105487],"category_scores_gemma":[0.01170607,0.002203556,0.002341943,0.00258801,0.004683549,0.02320706,0.005422274,0.01099802,0.003190229],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00259708,"about_ca_system_score_gemma":0.0018451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006912298,"about_ca_topic_score_gemma":0.0007551584,"domain_scores_codex":[0.9964578,0.0007762614,0.0003493963,0.0007317722,0.001352301,0.0003325129],"domain_scores_gemma":[0.9914083,0.005937915,0.000242896,0.001625946,0.0006099998,0.0001749903],"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.00004650085,0.00002582484,0.0001312902,0.0002516741,0.00001281127,0.00004432333,0.0003091502,0.001422387,0.001240457,0.960357,0.004366664,0.03179189],"study_design_scores_gemma":[0.00001979281,0.00001057286,0.0000717958,0.00006096923,0.00001581853,0.00008040273,0.0000436193,0.003148606,0.002085218,0.9754087,0.01904163,0.00001289072],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0120651,0.001301092,0.928419,0.002825023,0.0004699381,0.0001089359,0.0008136297,0.002875531,0.05112182],"genre_scores_gemma":[0.3626652,0.003678328,0.5423959,0.002114077,0.00113246,0.0007526468,0.003307616,0.003010027,0.0809438],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01105487,"threshold_uncertainty_score":0.03698224,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04394122110418095,"score_gpt":0.2713834169118484,"score_spread":0.2274421958076675,"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."}}