{"id":"W2056156043","doi":"10.1017/s0012217309090015","title":"La descente infinie, l’induction transfinie et le tiers exclu","year":2009,"lang":"fr","type":"article","venue":"Dialogue","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Mathematics; Humanities; Philosophy","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.002523225,0.0003461742,0.0004706301,0.001102281,0.001741,0.00277948,0.0007981966,0.001157453,0.004842302],"category_scores_gemma":[0.002929655,0.0003693462,0.0006806886,0.0007707124,0.01240518,0.007082777,0.002466359,0.004565225,0.0009941207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003149412,"about_ca_system_score_gemma":0.001215874,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002421668,"about_ca_topic_score_gemma":0.00202697,"domain_scores_codex":[0.9984195,0.0005126883,0.00008826258,0.0003675483,0.0004638702,0.0001480886],"domain_scores_gemma":[0.9979125,0.001170706,0.0001238563,0.0003221531,0.0003915448,0.00007931126],"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.00001154736,0.000002804402,0.00009784149,0.00001159055,0.000001605314,0.00001948935,0.000362146,0.0001118361,0.0002478557,0.9959692,0.000282657,0.002881458],"study_design_scores_gemma":[0.000009707125,0.00001727287,0.0003594886,0.00003058687,0.000006884827,0.0001283701,0.0001898691,0.001048233,0.001118648,0.9600521,0.03702562,0.00001314516],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.07629494,0.005298343,0.5537485,0.01506859,0.0008781631,0.00005702419,0.0002566315,0.0004354613,0.3479623],"genre_scores_gemma":[0.8655908,0.001898857,0.06731366,0.002169761,0.0006271143,0.000129479,0.0001558845,0.0002237871,0.06189081],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.004842302,"threshold_uncertainty_score":0.02285063,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04296221335383731,"score_gpt":0.2835772163003062,"score_spread":0.2406150029464689,"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."}}