{"id":"W2036366580","doi":"10.1093/philmat/nkt042","title":"Finitistic Arithmetic and Classical Logic†","year":2014,"lang":"en","type":"article","venue":"Philosophia Mathematica","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Predicative expression; Arithmetic; Intuition; Mathematics; Classical logic; Algebra over a field; Quantifier (linguistics); Relation (database); Computer science; Calculus (dental); Epistemology; Discrete mathematics; Pure mathematics; Philosophy; Artificial intelligence; Linguistics","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":[],"consensus_categories":[],"category_scores_codex":[0.0006405229,0.0002684264,0.000450268,0.0001166999,0.000154903,0.0002434266,0.0008991195,0.0000960636,0.00004882775],"category_scores_gemma":[0.0008993835,0.0002253007,0.00008505148,0.0002753524,0.0002486042,0.0002247796,0.0007048369,0.0002251603,0.0003428079],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003408975,"about_ca_system_score_gemma":0.00002818032,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000171173,"about_ca_topic_score_gemma":7.087629e-7,"domain_scores_codex":[0.9979295,0.0001623415,0.0004174976,0.0006595885,0.000428518,0.0004025771],"domain_scores_gemma":[0.9972867,0.001235399,0.0001125566,0.001039967,0.00008573437,0.0002396018],"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.000001377619,0.0001570884,0.00002145718,0.00009553214,0.00001017956,0.00001246996,0.000144537,0.000006146061,0.00002889363,0.9888548,0.0001347857,0.01053276],"study_design_scores_gemma":[0.0002139001,0.0001377418,0.0005615485,0.000027919,0.00001295566,0.0001222741,0.000002297935,0.2391358,0.00002697487,0.7589676,0.0005782474,0.000212747],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001839897,0.00008465587,0.9485869,0.02028016,0.0002581507,0.0002857923,0.000002681609,0.0004372331,0.02822455],"genre_scores_gemma":[0.7136989,0.000005193956,0.2852932,0.0006568019,0.000240939,0.00003027348,0.000001144445,0.00001545407,0.00005812619],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7118589,"threshold_uncertainty_score":0.9187495,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03340117916933689,"score_gpt":0.2537953424692618,"score_spread":0.2203941632999249,"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."}}