{"id":"W1982009277","doi":"10.1093/philmat/nku019","title":"Wilfried Sieg. Hilbert's Programs and Beyond. Oxford: Oxford University Press, 2013. ISBN 978-0-19-537222-9 (hbk); 978-0-19-970715-7 (e-book). Pp. xii + 439","year":2014,"lang":"en","type":"article","venue":"Philosophia Mathematica","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Media studies; Classics; Philosophy; History; Sociology","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001094501,0.0007230061,0.0009427348,0.0001881461,0.0006603878,0.0005837317,0.002061954,0.0003528633,0.00006869956],"category_scores_gemma":[0.0002286853,0.0006350575,0.0002892625,0.0005304666,0.000456205,0.001267442,0.00108485,0.0004510498,0.0001387592],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001291625,"about_ca_system_score_gemma":0.0001501212,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001749478,"about_ca_topic_score_gemma":0.00002887386,"domain_scores_codex":[0.9956436,0.0003414755,0.0007734145,0.001294909,0.0008693984,0.001077231],"domain_scores_gemma":[0.9961128,0.0004167437,0.000577042,0.001884461,0.0002200325,0.000788876],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003247218,0.0004486795,0.0002803221,0.0005306172,0.0001341481,0.00004577092,0.00153946,0.000005776427,0.00001643718,0.9759806,0.009307684,0.01167805],"study_design_scores_gemma":[0.001057359,0.0003452796,0.00004597922,0.00004306889,0.00009192654,0.00008586657,0.00008034446,0.007691115,0.00003977681,0.3105612,0.6792833,0.0006748494],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.001994694,0.005319332,0.4292624,0.03477784,0.001763366,0.005221963,0.00002178982,0.003122838,0.5185158],"genre_scores_gemma":[0.9570982,0.0008358204,0.0338593,0.001360847,0.0009067361,0.0001270898,0.0000545165,0.00012936,0.005628136],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9551035,"threshold_uncertainty_score":0.9996101,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02543042145335401,"score_gpt":0.2286248586280086,"score_spread":0.2031944371746546,"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."}}