{"id":"W2950344886","doi":"10.48550/arxiv.math/0102189","title":"The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program","year":2001,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Mathematical proof; Consistency (knowledge bases); Calculus (dental); Mathematics; Pure mathematics; Discrete mathematics; Medicine; Geometry","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.008899487,0.0005278747,0.0006313762,0.002068367,0.002586111,0.004416579,0.001638032,0.001881031,0.003330117],"category_scores_gemma":[0.01306309,0.0007366812,0.00090293,0.002159229,0.01683212,0.01201126,0.003866927,0.005514407,0.0005811728],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005670002,"about_ca_system_score_gemma":0.00197756,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002602189,"about_ca_topic_score_gemma":0.001643679,"domain_scores_codex":[0.9949273,0.00302329,0.0002145535,0.0004753632,0.001038803,0.0003206987],"domain_scores_gemma":[0.9910524,0.007154762,0.0002817549,0.0008402786,0.000513972,0.0001568253],"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.000006513198,0.000002386152,0.00004377359,0.00001118882,0.000002019624,0.00002038826,0.0002256244,0.0002090862,0.0000403245,0.9965642,0.0004768533,0.002397573],"study_design_scores_gemma":[0.000006432105,0.000006489642,0.00004708408,0.00002074793,0.000003010952,0.0000275418,0.00004021312,0.0009810077,0.0002190776,0.9911491,0.007491937,0.000007424569],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04707064,0.01850195,0.7158453,0.02293482,0.001014726,0.00006566998,0.0001567482,0.000549508,0.1938606],"genre_scores_gemma":[0.8410268,0.006084423,0.1217646,0.002388991,0.000946091,0.0001663441,0.00008219016,0.0003034913,0.02723695],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008899487,"threshold_uncertainty_score":0.0470655,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0745183276839898,"score_gpt":0.3425438906204836,"score_spread":0.2680255629364938,"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."}}