{"id":"W3049379650","doi":"10.1007/978-3-030-54249-8_7","title":"A Diagram of Choice: The Curious Case of Wallis’s Attempted Proof of the Parallel Postulate and the Axiom of Choice","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Diagrammatic reasoning; Axiom; Constructive; Axiom of choice; Euclidean geometry; Computer science; Mathematical proof; Mathematical economics; Constructive proof; Appeal; Diagram; Constructive set theory; Mathematics; Calculus (dental); Discrete mathematics; Set theory; Programming language","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.002263605,0.0004740786,0.0005247871,0.001149922,0.00310945,0.005063572,0.001381025,0.003003219,0.01451312],"category_scores_gemma":[0.006764059,0.000687364,0.0006671151,0.001119253,0.01206532,0.01349942,0.00275777,0.00569447,0.002696974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002491091,"about_ca_system_score_gemma":0.001931706,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002909485,"about_ca_topic_score_gemma":0.003474423,"domain_scores_codex":[0.9985977,0.0006883951,0.00004457579,0.0002244011,0.0003464768,0.00009849775],"domain_scores_gemma":[0.9979497,0.00130917,0.00006896606,0.0003208873,0.0002495744,0.0001017554],"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.000002376474,7.751699e-7,0.000004042603,0.000004504949,4.805077e-7,0.000007861461,0.0001055082,0.00002377801,0.00003330046,0.9980462,0.001101302,0.0006698583],"study_design_scores_gemma":[0.000004493881,0.000001974956,0.000009308935,0.00001422067,0.000001340992,0.00002725885,0.00006402902,0.0002185596,0.0001406092,0.9673529,0.03216202,0.000003284449],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.008426261,0.002596542,0.3075788,0.0220289,0.001682733,0.000072823,0.0002538933,0.000329989,0.6570302],"genre_scores_gemma":[0.6099164,0.003983989,0.168934,0.004887665,0.0009247292,0.0002967955,0.0002457677,0.0008403398,0.2099703],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9968905,"threshold_uncertainty_score":0.0485512,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02726963966863015,"score_gpt":0.274433470983158,"score_spread":0.2471638313145278,"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."}}