{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001995211,0.0003505432,0.0006528044,0.00009162187,0.0001960421,0.00004415033,0.0004170601,0.0003609808,0.00004113715],"category_scores_gemma":[0.005355658,0.0002718437,0.0001418031,0.0001409276,0.0005267981,0.0001101048,0.0004139613,0.0008936889,0.00002671264],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009053541,"about_ca_system_score_gemma":0.000185703,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006330859,"about_ca_topic_score_gemma":0.0001682307,"domain_scores_codex":[0.997512,0.0004715608,0.0009195557,0.0004213251,0.0003172107,0.0003583623],"domain_scores_gemma":[0.9947536,0.003142791,0.0008527558,0.0009537035,0.0002058189,0.00009134552],"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.0008874976,0.009707619,0.02914564,0.01416313,0.001413677,0.001159844,0.04258298,0.00004225563,0.0001373795,0.8179565,0.00794445,0.07485904],"study_design_scores_gemma":[0.001813422,0.0005518436,0.002964845,0.002903495,0.0008207162,0.000407185,0.003273809,0.0007492168,0.0004080575,0.8438863,0.1409679,0.001253213],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9247115,0.002512247,0.0002062283,0.001469699,0.0004883918,0.002242545,0.0000159495,0.0001517085,0.06820175],"genre_scores_gemma":[0.9725989,0.00102001,0.02117435,0.0001627758,0.0001084276,0.0005231859,0.00001436031,0.0001047012,0.004293354],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1330234,"threshold_uncertainty_score":0.9999734,"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."}}