{"id":"W2084784291","doi":"10.2178/bsl/1294171130","title":"Von Neumann, Gödel and Complexity Theory","year":2010,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Von Neumann architecture; Von Neumann algebra; Algebra over a field; Mathematics; Computer science; Pure mathematics","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.001969898,0.0003790805,0.0006707787,0.001659108,0.002403716,0.00428008,0.0007572839,0.00165958,0.005470209],"category_scores_gemma":[0.00502495,0.0002462324,0.000400617,0.001826241,0.01327746,0.006260349,0.002100297,0.003757166,0.0006049261],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004168635,"about_ca_system_score_gemma":0.001994115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002431869,"about_ca_topic_score_gemma":0.001406404,"domain_scores_codex":[0.9985461,0.0005948672,0.00005854852,0.0002380189,0.0004341566,0.0001283302],"domain_scores_gemma":[0.9965013,0.002530404,0.0001866981,0.0002169905,0.0003723211,0.0001922518],"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.000002388009,0.000002012344,0.00002644681,0.00001635802,0.000001671053,0.00001013843,0.00005997774,0.0001853259,0.00001609099,0.9976573,0.001087064,0.0009352675],"study_design_scores_gemma":[0.00000192206,0.000001317446,0.00002484956,0.0000100161,6.243527e-7,0.000009815372,0.00001883789,0.0003003846,0.00001383155,0.9939873,0.005629438,0.00000155992],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05453357,0.08653483,0.07696578,0.1297066,0.002423394,0.0000834103,0.0004111844,0.0001597069,0.6491815],"genre_scores_gemma":[0.9404956,0.01573579,0.01142817,0.005014586,0.003175535,0.0001097532,0.0001726694,0.00004762591,0.02382019],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005470209,"threshold_uncertainty_score":0.03024566,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02405949454966243,"score_gpt":0.2422270050147449,"score_spread":0.2181675104650824,"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."}}