{"id":"W2027737305","doi":"10.1016/j.apal.2010.07.004","title":"A measure-theoretic proof of Turing incomparability","year":2010,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Lemma (botany); Turing; Mathematics; Existential quantification; Description number; Discrete mathematics; Turing machine; Combinatorics; NSPACE; Set (abstract data type); Measure (data warehouse); Computer science; Universal Turing machine; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.004250488,0.001248507,0.002013579,0.003077142,0.004016656,0.005718455,0.003840776,0.003404357,0.008769649],"category_scores_gemma":[0.02078198,0.001274267,0.003093167,0.002568451,0.0139337,0.01559109,0.007788422,0.009341216,0.001126085],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004535824,"about_ca_system_score_gemma":0.002007098,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001442865,"about_ca_topic_score_gemma":0.001083878,"domain_scores_codex":[0.995509,0.001198401,0.0002465356,0.0008282717,0.001739875,0.0004779099],"domain_scores_gemma":[0.9839883,0.01122298,0.0005374363,0.001946759,0.001590833,0.0007136084],"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.00001062986,0.00001074609,0.00005246729,0.00001749594,0.000006859172,0.00002256646,0.00006713677,0.000407664,0.0001139171,0.9972528,0.0007935906,0.001244199],"study_design_scores_gemma":[0.000009845783,0.000005843645,0.00005431214,0.00000869242,0.000005354862,0.00002504808,0.00001735438,0.002741317,0.0001746714,0.9955884,0.001361685,0.000007526422],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09178384,0.003426168,0.6610458,0.03300532,0.002626038,0.0001158625,0.0006645177,0.0009744113,0.206358],"genre_scores_gemma":[0.9184222,0.0008295919,0.0595847,0.003171802,0.001820097,0.0002397046,0.0002520549,0.0002899352,0.01538989],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008769649,"threshold_uncertainty_score":0.03290987,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04048729888383151,"score_gpt":0.2811536320011267,"score_spread":0.2406663331172952,"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."}}