{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005082199,0.0006036457,0.0005422244,0.0001586708,0.000845759,0.0003657235,0.004013008,0.0003843494,0.000009359251],"category_scores_gemma":[0.00002092521,0.0005395404,0.0003871295,0.00002988752,0.0006713932,0.0002065227,0.002349725,0.0008829368,0.00003571248],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003674087,"about_ca_system_score_gemma":0.0002635509,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003212108,"about_ca_topic_score_gemma":0.00001335426,"domain_scores_codex":[0.9971932,0.0002119401,0.0003449867,0.001110318,0.00054405,0.0005954995],"domain_scores_gemma":[0.9960861,0.0005594441,0.0003565087,0.002386692,0.0003558184,0.0002554272],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001416777,0.000009996397,9.518134e-7,0.00003903866,0.00009251319,0.0001839934,0.00004306281,0.000004539856,0.000007006005,0.9732036,0.01838243,0.008018713],"study_design_scores_gemma":[0.0003827888,0.00006082178,0.00002092439,0.00004151351,0.00004129587,0.00006799683,0.00001174377,0.001365109,0.000148202,0.002492323,0.9947307,0.0006365802],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0000310067,0.0002913219,0.06350902,0.0001168982,0.001116668,0.000585284,0.00009183796,0.0003284717,0.9339295],"genre_scores_gemma":[0.0003326918,0.00004634699,0.001961242,0.0002839614,0.000140925,0.000001582732,0.000008286862,0.00004483629,0.9971801],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9763483,"threshold_uncertainty_score":0.9997056,"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."}}