{"id":"W2253978528","doi":"10.1017/cbo9780511615559.003","title":"The Second Incompleteness Theorem","year":2003,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Mathematics; Gödel's incompleteness theorems; Mathematical economics; Philosophy; Epistemology","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.003975716,0.0007986492,0.001283551,0.00147564,0.001827191,0.00357082,0.001838611,0.00144168,0.009490131],"category_scores_gemma":[0.009662931,0.0004826721,0.001944288,0.0009511893,0.005001807,0.009028932,0.002818316,0.005047305,0.001921721],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002850827,"about_ca_system_score_gemma":0.00230197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002289102,"about_ca_topic_score_gemma":0.001269734,"domain_scores_codex":[0.9969417,0.0005243107,0.0001751416,0.0007124579,0.001288092,0.0003581903],"domain_scores_gemma":[0.9951679,0.002542574,0.0001801567,0.0007678697,0.00117342,0.000168124],"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.000007146186,0.000003645525,0.00004861381,0.00005399972,0.000005464476,0.0000335744,0.000140262,0.0003055368,0.0001752309,0.9912444,0.002666133,0.005315994],"study_design_scores_gemma":[0.00001236009,0.00001108163,0.0001132759,0.00005998417,0.000009829956,0.0001708534,0.00003971034,0.001985223,0.0008050769,0.9554478,0.04133154,0.00001329154],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.02530033,0.008079151,0.5642374,0.01109702,0.001337145,0.0001474575,0.001401609,0.0007545006,0.3876455],"genre_scores_gemma":[0.685948,0.006561729,0.149196,0.006188589,0.002416548,0.0006568043,0.00196459,0.0006602887,0.1464076],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.009490131,"threshold_uncertainty_score":0.03174764,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02070909646139017,"score_gpt":0.1906928111262148,"score_spread":0.1699837146648246,"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."}}