{"id":"W78772236","doi":"10.1007/0-306-48214-2_15","title":"Wittgenstein’s Constructivization of Euler’s Proof of the Infinity of Primes","year":2003,"lang":"en","type":"book-chapter","venue":"Vienna Circle Institute yearbook","topic":"Wittgensteinian philosophy and applications","field":"Arts and Humanities","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"Wilfrid Laurier University; University of Ottawa","funders":"","keywords":"Infinity; Euler's formula; Mathematics; Calculus (dental); Pure mathematics; Mathematical analysis; Medicine","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":[],"consensus_categories":[],"category_scores_codex":[0.000115354,0.0002370914,0.0005166545,0.0001455536,0.0001347037,0.00001493266,0.0003456201,0.0001705035,0.0004860846],"category_scores_gemma":[0.00003272833,0.0002109655,0.0002544799,0.00004114288,0.002289261,0.0001557727,0.00007982375,0.0002311585,0.00001637912],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003049115,"about_ca_system_score_gemma":0.0002847882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004012813,"about_ca_topic_score_gemma":0.00008690865,"domain_scores_codex":[0.9985148,0.00002584807,0.0007299627,0.0002612931,0.0003286405,0.0001394395],"domain_scores_gemma":[0.9978192,0.00004198359,0.001008798,0.0006993437,0.0003882593,0.00004237901],"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.000009861857,0.00005876036,0.00001708851,0.0002841923,0.0001147636,4.74703e-7,0.001544625,0.00001424186,0.000445576,0.9943897,0.0003434657,0.002777296],"study_design_scores_gemma":[0.000445022,0.0001163411,0.0001121047,0.000851456,0.0002288314,0.000006464076,0.00008151499,0.000005899495,0.01052629,0.1206949,0.8665584,0.0003727647],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.003026346,0.0003682798,0.00004999074,0.0001188513,0.0006161748,0.0007822233,0.000354113,0.00002095313,0.9946631],"genre_scores_gemma":[0.8838544,0.00006173282,0.0001468582,0.000114473,0.0004058632,0.00002995077,0.00003992908,0.00006752519,0.1152792],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8808281,"threshold_uncertainty_score":0.8602923,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0320643469066531,"score_gpt":0.2085270454201338,"score_spread":0.1764626985134807,"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."}}