{"id":"W4379644184","doi":"10.1017/9781009089005.007","title":"Mathematical Induction","year":2023,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematical proof; Mathematical induction; Cardinality (data modeling); Mathematics education; Focus (optics); Computer science; Process (computing); Perspective (graphical); Mathematical practice; Mathematics; Artificial intelligence; Programming language","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.0007097208,0.0007411071,0.0006799929,0.001288256,0.001264396,0.002702491,0.001194769,0.0005998739,0.05386405],"category_scores_gemma":[0.001978946,0.0004715363,0.0009455294,0.0009174778,0.002360928,0.003258157,0.002691677,0.003719423,0.03206051],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001881487,"about_ca_system_score_gemma":0.001069484,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007053451,"about_ca_topic_score_gemma":0.001273445,"domain_scores_codex":[0.9991415,0.0001633939,0.00005098746,0.000226535,0.0003432284,0.00007431314],"domain_scores_gemma":[0.999297,0.0002495502,0.00004023717,0.0001454121,0.0002106179,0.00005705933],"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.00001027604,0.00001195422,0.00008737067,0.00017561,0.000006628152,0.00004999808,0.0002597065,0.0002219708,0.0004078489,0.8349597,0.1164856,0.04732339],"study_design_scores_gemma":[0.000005111232,0.000008486928,0.0001570679,0.0001041958,0.000003993331,0.0001682995,0.00004672171,0.000528316,0.000333516,0.3053588,0.6932788,0.000006698025],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.001221088,0.008573974,0.07631024,0.0041086,0.002131553,0.00007537182,0.0008137107,0.0009723715,0.9057931],"genre_scores_gemma":[0.08647151,0.01718129,0.1296945,0.005760774,0.002939774,0.0004278315,0.002799364,0.001364345,0.7533606],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.05386405,"threshold_uncertainty_score":0.1801932,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07474279239312183,"score_gpt":0.2408520899818349,"score_spread":0.1661092975887131,"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."}}