{"id":"W2034594082","doi":"10.1016/j.top.2007.02.002","title":"Betti numbers of finitely presented groups and very rapidly growing functions","year":2007,"lang":"en","type":"article","venue":"Topology","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Betti number; Mathematics; Turing machine; Halting problem; Combinatorics; Turing; Function (biology); Discrete mathematics; Group (periodic table); Algorithm; Computer science","routes":{"ca_aff":true,"ca_fund":true,"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.001856041,0.0007280469,0.001165677,0.003888085,0.002209846,0.004529902,0.00141419,0.001584484,0.00587069],"category_scores_gemma":[0.01504358,0.0006067936,0.0005860072,0.002272106,0.005677451,0.01018471,0.002695643,0.003960577,0.0005723968],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002193736,"about_ca_system_score_gemma":0.00050928,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006270697,"about_ca_topic_score_gemma":0.0005216159,"domain_scores_codex":[0.9991453,0.0002234001,0.0000338975,0.0001401788,0.0003023001,0.0001548507],"domain_scores_gemma":[0.9916643,0.005945059,0.0006141574,0.0004561926,0.000432083,0.0008882979],"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.00003118314,0.000007813306,0.0002367837,0.00002084461,0.000003580691,0.00002897892,0.000239335,0.0009127135,0.0003805304,0.9952738,0.0003158274,0.002548717],"study_design_scores_gemma":[0.000007137086,0.000005483859,0.000200296,0.000008231768,0.000003529416,0.00004784811,0.00003879262,0.004368111,0.0002349047,0.9940785,0.00100065,0.000006497424],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7478,0.005234872,0.1496597,0.006054887,0.0005084827,0.0000581192,0.0002558305,0.0003925537,0.09003552],"genre_scores_gemma":[0.9701484,0.001154379,0.0142061,0.0002575519,0.0006346265,0.0001030149,0.0001602377,0.00007485237,0.01326085],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00587069,"threshold_uncertainty_score":0.01963943,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01598620159817707,"score_gpt":0.2591690357356309,"score_spread":0.2431828341374538,"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."}}