{"id":"W4388936020","doi":"10.1007/s00283-023-10311-4","title":"The Story of Proof: Logic and the History of Mathematics by John Stillwell","year":2023,"lang":"en","type":"article","venue":"The Mathematical Intelligencer","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Calculus (dental); Mathematics; Mathematical logic; Mathematics education; Medicine; Algorithm","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.003281933,0.0005362774,0.0006400067,0.001913727,0.005312167,0.007832439,0.001192356,0.003628269,0.008731721],"category_scores_gemma":[0.01188331,0.0005470755,0.0004246384,0.002328553,0.02391601,0.02026804,0.002498913,0.008149161,0.001251134],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006940843,"about_ca_system_score_gemma":0.005786712,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02218917,"about_ca_topic_score_gemma":0.02204194,"domain_scores_codex":[0.9982456,0.0007869088,0.00005935224,0.0002687119,0.0004871975,0.0001522736],"domain_scores_gemma":[0.9926312,0.005875846,0.0002720057,0.0002930331,0.0006070503,0.0003208325],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002338001,0.00001225267,0.0000692044,0.00007906956,0.00000472588,0.00005428668,0.001454304,0.0001523607,0.00005420531,0.873761,0.1132127,0.01112244],"study_design_scores_gemma":[0.00001349117,0.00000783712,0.00009502448,0.0002422076,0.000003785478,0.00005353402,0.0006833569,0.0001982415,0.00007565673,0.3802803,0.6183321,0.00001438465],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"commentary","genre_gemma":"review","genre_scores_codex":[0.003465491,0.3373085,0.007194871,0.460053,0.0106696,0.00002200235,0.0001311697,0.00008117238,0.1810742],"genre_scores_gemma":[0.3372566,0.257204,0.007958286,0.08515957,0.02880734,0.0001285214,0.0001494209,0.0004113464,0.2829249],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.02218917,"threshold_uncertainty_score":0.05035955,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07541631078867272,"score_gpt":0.3084226724959908,"score_spread":0.233006361707318,"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."}}