{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.00937188,0.0003567798,0.0008206064,0.00008357849,0.0004039297,0.00002521542,0.001228192,0.0001542634,0.0004285645],"category_scores_gemma":[0.005286204,0.0001555551,0.0003017006,0.0003311966,0.004919709,0.00007381258,0.0003258964,0.0006043389,0.0001364872],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001248496,"about_ca_system_score_gemma":0.0001112913,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004479369,"about_ca_topic_score_gemma":0.00000631092,"domain_scores_codex":[0.99648,0.0007467201,0.001253016,0.0002653934,0.0007998268,0.0004549806],"domain_scores_gemma":[0.9770058,0.02061957,0.0007962086,0.001290621,0.000195383,0.00009242551],"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.00007720089,0.0002339367,7.541254e-7,0.001025527,0.0001492036,0.000001563469,0.02380866,0.000005408843,0.0002636095,0.9124836,0.06059711,0.001353463],"study_design_scores_gemma":[0.0002924577,0.00008814639,8.079238e-7,0.0002215595,0.0002228492,0.00002261637,0.007180192,0.00506741,0.002241029,0.9637265,0.02073903,0.000197377],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2965406,0.04796977,0.2552122,0.02465223,0.006081131,0.01842779,0.0002146624,0.001759625,0.349142],"genre_scores_gemma":[0.7369596,0.002435921,0.01072529,0.000521103,0.0002739638,0.0007383018,0.000008246358,0.0003500778,0.2479875],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.440419,"threshold_uncertainty_score":0.9977883,"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."}}