{"id":"W2925028912","doi":"","title":"Working on proof as contribution to conceptualisation – The case of R-completness","year":2018,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Mathematical proof; Dedekind cut; Conceptualization; Mathematics; Decimal; Pure mathematics; Algebra over a field; Axiom; Epistemology; Computer science; Arithmetic; Artificial intelligence; 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"],"consensus_categories":[],"category_scores_codex":[0.008335236,0.0003012159,0.0004653163,0.0001444428,0.0005021058,0.0001206908,0.0009099284,0.0002478022,0.0002161512],"category_scores_gemma":[0.006690517,0.0002558904,0.0001908566,0.0002579468,0.0004482658,0.0000511187,0.0006037145,0.0004705629,0.00005195375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001310303,"about_ca_system_score_gemma":0.0001481921,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007800257,"about_ca_topic_score_gemma":0.0003981642,"domain_scores_codex":[0.9927518,0.005448829,0.0007018228,0.0004830289,0.0003541198,0.0002603442],"domain_scores_gemma":[0.9902105,0.004972971,0.0009275537,0.002133721,0.001636989,0.0001182338],"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.00003525108,0.0004038673,0.00001637607,0.0001803797,0.00006598619,0.00001635332,0.02820408,0.00002831702,0.0003875886,0.9641615,0.001074582,0.005425742],"study_design_scores_gemma":[0.0007038111,0.000003915156,0.0000294728,0.005826477,0.0001778143,0.0001620654,0.001131742,0.004342244,0.1135649,0.8525586,0.02090462,0.0005944084],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7090033,0.0001625346,0.2345274,0.003982589,0.0005412962,0.00166399,0.00005704686,0.000173259,0.04988859],"genre_scores_gemma":[0.9792476,0.000009590372,0.01679619,0.000111037,0.00005443831,0.0001185563,0.0000865723,0.00004432075,0.00353169],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2702443,"threshold_uncertainty_score":0.9999893,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.050679674182244,"score_gpt":0.294032844785907,"score_spread":0.243353170603663,"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."}}