{"id":"W2911434043","doi":"10.1080/17445760.2015.1079321","title":"Nonuniversality explained","year":2015,"lang":"en","type":"article","venue":"International Journal of Parallel Emergent and Distributed Systems","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Counterexample; Computation; Universality (dynamical systems); Turing machine; Computer science; Turing; Theoretical computer science; Calculus (dental); Arithmetic; Algorithm; Mathematics; Discrete mathematics; Programming language; Physics","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.002388492,0.00059861,0.0006985974,0.001106068,0.00281304,0.004499548,0.001876578,0.00183682,0.01383049],"category_scores_gemma":[0.007730917,0.0003778182,0.001092368,0.0008234449,0.01369733,0.01095529,0.005302536,0.004342984,0.002291104],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003272608,"about_ca_system_score_gemma":0.001568214,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001662616,"about_ca_topic_score_gemma":0.0009534677,"domain_scores_codex":[0.9969745,0.0007757868,0.0001763982,0.001128007,0.0005275855,0.0004177499],"domain_scores_gemma":[0.9958204,0.001600951,0.0002275101,0.001492343,0.0006577897,0.0002008882],"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.000007444238,0.000003103419,0.00008800083,0.00002018506,0.000002583244,0.00002821834,0.0002659816,0.0001557053,0.00009690427,0.9961831,0.0009883089,0.002160338],"study_design_scores_gemma":[0.000006906748,0.000007895535,0.0001572478,0.00003610976,0.00000669342,0.0001118793,0.0001029936,0.001562128,0.0005419662,0.9494821,0.04797441,0.000009662066],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.042415,0.008196457,0.3181327,0.01874163,0.001534146,0.000158279,0.0005994907,0.001025763,0.6091965],"genre_scores_gemma":[0.9126903,0.001878596,0.03002695,0.002186988,0.0005229887,0.0003234293,0.0005713112,0.0004760963,0.05132328],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01383049,"threshold_uncertainty_score":0.04626757,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04338346268264646,"score_gpt":0.2821526329982421,"score_spread":0.2387691703155956,"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."}}