{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002888964,0.0002128752,0.0004902207,0.001386293,0.001607477,0.003234602,0.0006443479,0.0008846245,0.002949153],"category_scores_gemma":[0.004002869,0.0003320118,0.0005840242,0.0007579991,0.007199979,0.005982962,0.002892986,0.001490887,0.0002484946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001130039,"about_ca_system_score_gemma":0.0004370893,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005115899,"about_ca_topic_score_gemma":0.0005179992,"domain_scores_codex":[0.9979851,0.0008312184,0.000162184,0.0003677982,0.0004199803,0.0002337072],"domain_scores_gemma":[0.9966137,0.001525933,0.0002492873,0.0008640016,0.0005593303,0.0001877453],"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.00001004748,0.00000353704,0.0001568131,0.000009769249,0.000002595871,0.00004167801,0.000331936,0.0001074627,0.0005121218,0.9979033,0.0001137791,0.0008069083],"study_design_scores_gemma":[0.00001511897,0.00001520184,0.0003708936,0.00001216972,0.000007111947,0.000114875,0.000421391,0.001857986,0.001269719,0.9927059,0.00319789,0.00001181687],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7185591,0.0007177269,0.1490463,0.002351856,0.0001724483,0.00004518486,0.0002564821,0.0004941634,0.1283568],"genre_scores_gemma":[0.9927565,0.00006812374,0.005406487,0.000111107,0.00003683291,0.00001461355,0.00005179067,0.00003114548,0.001523468],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003234602,"threshold_uncertainty_score":0.01527846,"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."}}