{"id":"W1571887931","doi":"10.1007/978-3-642-30870-3_12","title":"An Undecidable Nested Recurrence Relation","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Undecidable problem; Mathematics; Combinatorics; Relation (database); Recurrence relation; Turing; Left and right; Discrete mathematics; Computer science; Decidability","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.001414569,0.0004904574,0.0004295259,0.0006836477,0.0003032465,0.0006544248,0.003819322,0.0003840845,0.00005612798],"category_scores_gemma":[0.00006506565,0.0004501263,0.00009483186,0.0007398423,0.0004768448,0.002231658,0.0007853163,0.0007588531,0.0001466846],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002916533,"about_ca_system_score_gemma":0.0003970291,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002044829,"about_ca_topic_score_gemma":0.00002712297,"domain_scores_codex":[0.9963487,0.00006804279,0.0004928267,0.001408474,0.0009159853,0.0007659905],"domain_scores_gemma":[0.996756,0.0004277117,0.0003260207,0.002026383,0.0001869012,0.0002770413],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000325267,0.00004972602,0.0001274493,0.00001730022,0.000004452786,0.0000232224,0.0006440065,0.006930765,0.0002622589,0.1217788,0.00001616288,0.8701426],"study_design_scores_gemma":[0.0001939103,0.0002106571,0.001017153,0.0003500573,0.000008651456,0.00009007303,2.000632e-7,0.5795273,0.001008418,0.414717,0.002046002,0.0008306065],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0003030983,0.0008938128,0.9926103,0.0002468538,0.002221944,0.0003121399,0.000003480186,0.0003297773,0.003078597],"genre_scores_gemma":[0.5110387,0.00009077468,0.4861665,0.001286741,0.0009612295,0.00001360138,0.00002066163,0.00005712605,0.0003647188],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.869312,"threshold_uncertainty_score":0.999795,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01961635530253146,"score_gpt":0.2509982774693665,"score_spread":0.231381922166835,"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."}}