{"id":"W2268926769","doi":"10.4171/em/291","title":"Would real analysis be complete without the fundamental theorem of calculus?","year":2015,"lang":"en","type":"preprint","venue":"Elemente der Mathematik","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Acadia University; University of Waterloo","funders":"","keywords":"Completeness (order theory); Differentiable function; Calculus (dental); Real analysis; Gödel's completeness theorem; Mathematics; Characterization (materials science); Variable (mathematics); Key (lock); Fundamental theorem of calculus; Fundamental theorem; Discrete mathematics; Pure mathematics; Computer science; Fixed-point theorem; Mathematical analysis","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.007816576,0.0005352895,0.0009516363,0.001148735,0.002074618,0.005792678,0.001087592,0.0026298,0.004231453],"category_scores_gemma":[0.01514427,0.0004037491,0.001203966,0.0007129167,0.01353078,0.01867704,0.002939309,0.004649122,0.001884675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002152574,"about_ca_system_score_gemma":0.002293709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001011239,"about_ca_topic_score_gemma":0.0005498651,"domain_scores_codex":[0.9969003,0.001244183,0.0001380794,0.0006668593,0.0007967557,0.0002539144],"domain_scores_gemma":[0.9936002,0.003869833,0.0003672878,0.0008876103,0.0009979461,0.0002771053],"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.000008450958,0.000004236226,0.00003313929,0.00002065471,0.000002695322,0.000006507429,0.00006078531,0.000183524,0.00003932766,0.9947742,0.002755546,0.002111019],"study_design_scores_gemma":[0.000004104142,0.000003211617,0.00002633334,0.000008012172,0.000001087755,0.000009876904,0.00002626707,0.0004175344,0.00005348216,0.9907307,0.008716023,0.000003237905],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04102561,0.01636258,0.5215498,0.1500495,0.004015601,0.0001041956,0.0007492821,0.0006638698,0.2654795],"genre_scores_gemma":[0.8181136,0.007846343,0.1151892,0.01436695,0.006415545,0.0002896398,0.0007423792,0.0004249199,0.03661144],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007816576,"threshold_uncertainty_score":0.04133856,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07532331418679879,"score_gpt":0.3217630950585604,"score_spread":0.2464397808717616,"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."}}