{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001236833,0.0002633987,0.0003171481,0.0002490024,0.0001951979,0.000425572,0.001781299,0.00006050865,0.00003091499],"category_scores_gemma":[0.000458381,0.0001523021,0.00005397329,0.0008388159,0.001080709,0.0007218213,0.001264211,0.0001659851,0.00002538881],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002112764,"about_ca_system_score_gemma":0.00008814572,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006052713,"about_ca_topic_score_gemma":0.000005041021,"domain_scores_codex":[0.9969381,0.0001236942,0.0004573415,0.001146131,0.0007970488,0.0005376819],"domain_scores_gemma":[0.9972471,0.001239936,0.00008941555,0.00107896,0.0001162091,0.0002283526],"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.000003686866,0.00007634585,0.0007830067,0.00001421943,0.000001269507,0.000009283691,0.0002218755,0.0001991346,0.0002061544,0.5722073,0.00002023828,0.4262575],"study_design_scores_gemma":[0.0002226333,0.0000865495,0.03070707,0.00003981889,7.277673e-7,0.00004174269,0.000001433898,0.3446154,0.0004642721,0.6236473,0.0000119947,0.0001610466],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1993044,0.00001202423,0.7982957,0.001356855,0.0004190378,0.0002387773,0.000001398365,0.0001468249,0.0002250321],"genre_scores_gemma":[0.7315593,0.000001002612,0.2681431,0.0002337028,0.00004827367,0.000006492488,1.089786e-7,0.000004865965,0.000003242671],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5322549,"threshold_uncertainty_score":0.6210698,"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."}}