{"id":"W4388397411","doi":"10.1093/oso/9780198500513.003.0003","title":"Formalization of arithmetic, Godel’s theorems","year":2001,"lang":"en","type":"book-chapter","venue":"","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Peano axioms; Axiom; Mathematical proof; Simple (philosophy); Second-order arithmetic; Mathematics; Multiplication (music); Arithmetic; Set (abstract data type); Natural number; Discrete mathematics; Algebra over a field; Computer science; Pure mathematics; Programming language; Epistemology; Combinatorics","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.001421416,0.0005396061,0.0004213118,0.001199032,0.001158343,0.003237334,0.001085959,0.0006911936,0.005514379],"category_scores_gemma":[0.002000595,0.0003604105,0.0005148337,0.001022523,0.006708749,0.005916816,0.001340758,0.003287756,0.0010309],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002724707,"about_ca_system_score_gemma":0.001376547,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001656275,"about_ca_topic_score_gemma":0.001924212,"domain_scores_codex":[0.9994054,0.0002099664,0.00002893705,0.00009366131,0.0002193047,0.00004274564],"domain_scores_gemma":[0.9994435,0.0002638237,0.00004658555,0.00007980881,0.0001257818,0.00004052668],"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.000001858334,0.000004728202,0.000008737446,0.00001434547,0.000001084413,0.00001250054,0.00009785983,0.0002553799,0.00007914047,0.996707,0.001278715,0.001538673],"study_design_scores_gemma":[0.000008768258,0.000006755815,0.00006067485,0.00004190961,0.000004175702,0.00004576258,0.00007608487,0.001775853,0.0002720028,0.9407442,0.05695771,0.000006154432],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.03656565,0.01849763,0.2793548,0.01095593,0.001377747,0.00006855837,0.0004119756,0.0008175474,0.6519502],"genre_scores_gemma":[0.7955617,0.009499983,0.09564742,0.001927815,0.001462482,0.0001457839,0.000489031,0.0002890637,0.09497667],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.005514379,"threshold_uncertainty_score":0.01976925,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05311795535613324,"score_gpt":0.2719663535772212,"score_spread":0.218848398221088,"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."}}