{"id":"W2487366639","doi":"10.1017/cbo9780511809835.006","title":"The undecidability theorem","year":2012,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Mathematics; Philosophy; Calculus (dental); Medicine","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.002724685,0.001649735,0.001244094,0.001483446,0.003210471,0.004969342,0.002896043,0.002119483,0.02681215],"category_scores_gemma":[0.01022477,0.0009142437,0.002746274,0.001159841,0.006488556,0.01632826,0.004301897,0.01086408,0.006550563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00359798,"about_ca_system_score_gemma":0.002950659,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003741901,"about_ca_topic_score_gemma":0.003609141,"domain_scores_codex":[0.9964163,0.0006976638,0.0001983376,0.001077032,0.001032729,0.0005779557],"domain_scores_gemma":[0.9905449,0.006383376,0.0001866245,0.00138295,0.001295631,0.0002066078],"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.00003996237,0.00004072305,0.0001387797,0.0002985997,0.00002357098,0.0001027263,0.000177351,0.001257968,0.0004156675,0.9408519,0.0311152,0.02553757],"study_design_scores_gemma":[0.0000201203,0.000009408438,0.0001116063,0.00007993748,0.00002072417,0.0001021516,0.00005020981,0.00235344,0.0009520233,0.9550046,0.04128511,0.00001064458],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01361751,0.00767455,0.2832241,0.02418778,0.003010493,0.0002718028,0.002538951,0.002038792,0.6634361],"genre_scores_gemma":[0.4954845,0.0155675,0.1378066,0.01923055,0.005302327,0.002065291,0.007327032,0.002535412,0.3146808],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02681215,"threshold_uncertainty_score":0.08969563,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02777551962934758,"score_gpt":0.2031569189473135,"score_spread":0.1753813993179659,"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."}}