{"id":"W4324152536","doi":"10.1007/s10992-022-09696-y","title":"Varieties of Self-Reference in Metamathematics","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Azrieli Foundation; Leverhulme Trust","keywords":"Diagonal; Computer science; Coding (social sciences); Sentence; Operator (biology); Accidental; Mathematics; Algebra over a field; Pure mathematics; Artificial intelligence; Physics; Geometry","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000714316,0.0001113223,0.0003932829,0.000287268,0.0000280642,0.00002155758,0.00084853,0.00008787969,0.00001368458],"category_scores_gemma":[0.0002872324,0.00007592675,0.0001114385,0.0008620697,0.00006050801,0.0003155408,0.0001854086,0.0003587121,0.00002914195],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002498208,"about_ca_system_score_gemma":0.00006522558,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":3.95841e-7,"about_ca_topic_score_gemma":2.971762e-7,"domain_scores_codex":[0.9985095,0.00009202303,0.000641397,0.0001298314,0.0004275869,0.0001996502],"domain_scores_gemma":[0.9987973,0.0003270403,0.0003981434,0.0002361689,0.0001599355,0.00008141442],"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.000007126311,0.0001362076,0.0001734707,0.00003759767,0.00001859648,0.0001262206,0.0002799177,0.0004844911,0.0006740909,0.9974622,0.00003853126,0.0005615851],"study_design_scores_gemma":[0.0002677798,0.000292802,0.002188897,0.00003270956,0.000009484084,0.00006758261,0.00002095018,0.003503148,0.0003142616,0.9931085,0.0001114684,0.00008240423],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5677455,0.001414922,0.3664953,0.04929837,0.001439716,0.0004171477,0.00000560842,0.0004151505,0.01276824],"genre_scores_gemma":[0.9599726,0.0001328325,0.03960683,0.0001865521,0.00008053715,0.000001282805,2.334905e-7,0.000004519097,0.00001459464],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3922271,"threshold_uncertainty_score":0.3096203,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06161155011563364,"score_gpt":0.2971888337484152,"score_spread":0.2355772836327816,"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."}}