{"id":"W2792985180","doi":"10.1017/s0012217318000070","title":"De la logique à l’arithmétique. Pourquoi des logiques et des mathématiques constructivistes?","year":2018,"lang":"fr","type":"article","venue":"Dialogue","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.005392539,0.0006179989,0.0008105246,0.0001916496,0.0005697642,0.0003178733,0.0005558367,0.0009327817,0.001272935],"category_scores_gemma":[0.005630957,0.0006286608,0.0002913196,0.0002359951,0.008682603,0.0005501601,0.0001952573,0.0008343254,0.0005623134],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004955957,"about_ca_system_score_gemma":0.0005818819,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000185771,"about_ca_topic_score_gemma":0.0004947896,"domain_scores_codex":[0.9939591,0.003569244,0.0007893071,0.0004899991,0.0002759499,0.0009163719],"domain_scores_gemma":[0.9922017,0.005847733,0.0004483059,0.0006916836,0.0004725461,0.0003379929],"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.00005776179,0.0007472569,0.00121443,0.001700149,0.0001872022,0.0001614737,0.03352007,0.00000305142,0.0006492625,0.9407218,0.008919858,0.01211771],"study_design_scores_gemma":[0.0004631309,0.0004630332,0.0007319815,0.001447862,0.0001883684,0.0009529942,0.0009759316,0.0003156617,0.007670997,0.9600302,0.02610992,0.0006499487],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.488071,0.002932929,0.2400638,0.0006593098,0.0007259009,0.0005944706,0.0002057149,0.0006295859,0.2661172],"genre_scores_gemma":[0.490144,0.00115994,0.4979235,0.0008602609,0.0008893044,0.00007760745,0.00002544284,0.0001799892,0.008739895],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.2578597,"threshold_uncertainty_score":0.99964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0413046288699708,"score_gpt":0.3250516940540872,"score_spread":0.2837470651841164,"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."}}