{"id":"W4409708667","doi":"10.1007/978-3-031-85352-4_13","title":"Real Number Mathematics","year":2025,"lang":"en","type":"book-chapter","venue":"Computer science foundations and applied logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics education; Mathematics; Computer science","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.0004087871,0.0006673845,0.0005639771,0.001322145,0.0008471406,0.002905599,0.0005342415,0.0005897594,0.03695892],"category_scores_gemma":[0.001278933,0.0002645015,0.0003182222,0.001548719,0.001938814,0.002941555,0.0009289639,0.002358987,0.01611909],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001644465,"about_ca_system_score_gemma":0.00072116,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008676436,"about_ca_topic_score_gemma":0.001363201,"domain_scores_codex":[0.9997095,0.00006195585,0.00001151732,0.00006067031,0.0001389221,0.00001731647],"domain_scores_gemma":[0.9997562,0.0001071799,0.00001301569,0.00004795473,0.00005795317,0.00001775356],"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.000007877402,0.00001116333,0.00005280335,0.0001335132,0.000004147356,0.00001918146,0.0001324701,0.0002631573,0.0003496683,0.8259311,0.1130195,0.06007545],"study_design_scores_gemma":[0.000003208746,0.000006634766,0.0001618616,0.00007695191,0.000002988941,0.00008316115,0.0000321857,0.0003717798,0.0001694471,0.371046,0.6280417,0.000003942269],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0009741473,0.02648252,0.01609621,0.003064862,0.001799338,0.00002854002,0.0002051952,0.0001902445,0.951159],"genre_scores_gemma":[0.04681513,0.02649491,0.01615855,0.00212502,0.00362986,0.0001039203,0.0005361573,0.0003185773,0.9038178],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03695892,"threshold_uncertainty_score":0.1236399,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02741957767346594,"score_gpt":0.2730399116201744,"score_spread":0.2456203339467085,"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."}}