{"id":"W4300569393","doi":"10.1515/9781400836123-031","title":"Why Do We Believe Theorems","year":2011,"lang":"en","type":"book-chapter","venue":"Princeton University Press eBooks","topic":"Mathematics Education and Teaching Techniques","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec en Outaouais","funders":"Natural Sciences and Engineering Research Council of Canada; Université du Québec en Outaouais","keywords":"Mathematical proof; Argument (complex analysis); Mathematical practice; Point (geometry); Epistemology; Calculus (dental); Formal description; Mathematics; Computer science; Philosophy; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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"],"consensus_categories":[],"category_scores_codex":[0.0004680385,0.0002315708,0.0002695899,0.0001626011,0.0005047928,0.00007214832,0.0008936725,0.0003945946,0.0007745154],"category_scores_gemma":[0.0000278433,0.0002586087,0.0001573188,0.000007895029,0.0005135953,0.00007883471,0.0002797864,0.0004517186,0.00002982397],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002071399,"about_ca_system_score_gemma":0.0002033936,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001339094,"about_ca_topic_score_gemma":0.0001814557,"domain_scores_codex":[0.9987936,0.0001114667,0.0001553417,0.000335683,0.000358616,0.0002452941],"domain_scores_gemma":[0.9988266,0.00009864983,0.000273603,0.0004945042,0.0001313919,0.0001753045],"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.000009682584,0.00001661744,0.000001260141,0.00003714149,0.00003987236,0.000007436464,0.01310248,1.664703e-8,0.000001150594,0.9677022,0.01138583,0.007696314],"study_design_scores_gemma":[0.00005411182,0.00001091733,2.647178e-7,0.0001581597,0.00004469524,5.424004e-7,0.0001396249,4.043229e-7,0.00003886926,0.2761814,0.7231629,0.0002081202],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000003803938,0.0001137297,0.003136353,0.0002139064,0.000213742,0.0004388547,0.00001798121,0.0004659411,0.9953957],"genre_scores_gemma":[0.0009703431,0.001405978,0.001749192,0.0001193352,0.0001440374,0.000001388872,0.000003922853,0.00003165844,0.9955741],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.7117771,"threshold_uncertainty_score":0.9999866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06488384389439153,"score_gpt":0.2739899426956952,"score_spread":0.2091060988013037,"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."}}