{"id":"W2784127639","doi":"10.1007/978-3-319-70996-3_1","title":"Reflections on Proof as Explanation","year":2018,"lang":"en","type":"book-chapter","venue":"ICME-13 monographs","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; Institute for Christian Studies","funders":"","keywords":"Mathematical proof; Epistemology; Mathematical practice; Explanatory model; Calculus (dental); Value (mathematics); Mathematics; Computer science; Philosophy","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.004127017,0.0007757765,0.0008338129,0.001858501,0.002471821,0.007562729,0.001983632,0.004353692,0.04213757],"category_scores_gemma":[0.012374,0.0005551899,0.0008617439,0.001457012,0.02149624,0.01775048,0.003185398,0.01050871,0.008104809],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007053893,"about_ca_system_score_gemma":0.002736324,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004653895,"about_ca_topic_score_gemma":0.003282286,"domain_scores_codex":[0.9966291,0.002051046,0.00008487077,0.0003824054,0.0006253793,0.0002272854],"domain_scores_gemma":[0.9941408,0.0041621,0.0001551234,0.0007455215,0.0006625345,0.0001339736],"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.000003107576,0.000002808747,0.000006935352,0.00001576446,7.151059e-7,0.000003920365,0.0001485346,0.00003845439,0.0000100744,0.9884721,0.009375338,0.001922205],"study_design_scores_gemma":[0.000005883381,0.000002134783,0.00001942852,0.00004403292,0.000001153619,0.00001157855,0.00009611595,0.0001067094,0.00004014048,0.9004597,0.09920995,0.000003116147],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001721849,0.02249224,0.03998122,0.08817323,0.004215346,0.00004431705,0.0002580994,0.0002794608,0.8428342],"genre_scores_gemma":[0.3590953,0.01807454,0.02917728,0.0329919,0.008674391,0.0003749796,0.0004824302,0.001297371,0.5498317],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.04213757,"threshold_uncertainty_score":0.1409642,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1021390934132066,"score_gpt":0.3514771443541909,"score_spread":0.2493380509409843,"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."}}