{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0008123592,0.0005553399,0.0006083945,0.0004279464,0.0009417966,0.001537409,0.002781234,0.0002430126,0.0001133293],"category_scores_gemma":[0.00001866234,0.000504695,0.0001346391,0.0005824028,0.001241953,0.0004618008,0.003278922,0.0004434904,0.0003123285],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000232673,"about_ca_system_score_gemma":0.0007099286,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007941882,"about_ca_topic_score_gemma":0.000005334936,"domain_scores_codex":[0.9963073,0.00001455402,0.0006506548,0.001671517,0.0007801409,0.0005758223],"domain_scores_gemma":[0.9970528,0.0003204517,0.0003189163,0.001718751,0.0003403517,0.0002487588],"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":[5.377957e-7,0.00004631676,0.000003053488,0.0000388289,0.00001252315,0.000004325867,0.0001534724,0.00008458993,0.00001210146,0.8771563,0.0006059566,0.121882],"study_design_scores_gemma":[0.0002165047,0.00006273414,0.0001453716,0.00007819671,0.00002870519,0.00005869183,0.000005961738,0.1389723,0.00001759895,0.8365214,0.02318747,0.0007051234],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003467075,0.00001976051,0.5778154,0.0003046182,0.0006894136,0.0003836997,0.000005591764,0.0002874204,0.4204594],"genre_scores_gemma":[0.003855807,0.0001331437,0.9547688,0.0005584972,0.0003874855,0.00004468484,0.00002188818,0.00002636798,0.04020326],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3802561,"threshold_uncertainty_score":0.9997405,"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."}}