{"id":"W2226273852","doi":"10.1017/s0960129516000098","title":"On computability and disintegration","year":2016,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Computability; Measure (data warehouse); Limit (mathematics); Separable space; Operator (biology); Projection (relational algebra); Uniform limit theorem; Metric space; Basis (linear algebra); Computable number; Pure mathematics; Discrete mathematics; Combinatorics; Computable analysis; Mathematical analysis; Computer science; Algorithm; Geometry","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.001418263,0.0005182711,0.0006106325,0.001799512,0.00178342,0.002625442,0.0007970345,0.0008294003,0.003998233],"category_scores_gemma":[0.006102988,0.0003017966,0.0008665262,0.001769589,0.01005365,0.008804456,0.004699723,0.003465672,0.0004206361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002455616,"about_ca_system_score_gemma":0.0007182073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002018461,"about_ca_topic_score_gemma":0.001022552,"domain_scores_codex":[0.9982418,0.0004172148,0.0001155373,0.0004236167,0.0005366809,0.0002651048],"domain_scores_gemma":[0.9958515,0.002421948,0.0003165542,0.0006865715,0.0004398793,0.0002835561],"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.00000429743,0.000002829853,0.00007252627,0.000009300988,0.00000180068,0.00001821587,0.0001023818,0.0003768929,0.0001825454,0.9977977,0.00009420767,0.001337309],"study_design_scores_gemma":[0.000003507865,0.000008764877,0.0002025246,0.000009932503,0.000003086462,0.00005715297,0.00005758717,0.003854173,0.0003987446,0.9925096,0.002889665,0.000005213402],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2757522,0.003695603,0.5515075,0.006940604,0.0001904112,0.00006956836,0.0002055098,0.0003156246,0.1613229],"genre_scores_gemma":[0.955869,0.001254386,0.03237403,0.0004139947,0.0002698772,0.00009824742,0.0001366244,0.0000985322,0.009485401],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003998233,"threshold_uncertainty_score":0.01781684,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01304934107978247,"score_gpt":0.2612357940108767,"score_spread":0.2481864529310942,"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."}}