{"id":"W4231253503","doi":"10.1093/phimat/nks003","title":"GIOVANNI SOMMARUGA, ed., Foundational Theories of Classical and Constructive Mathematics","year":2012,"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":"","funders":"","keywords":"Constructive; Series (stratigraphy); Mathematics education; Calculus (dental); Mathematics; Epistemology; Philosophy; Computer science; Programming language; Medicine; Process (computing)","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001197557,0.001713582,0.001304922,0.004221942,0.001142859,0.003697393,0.001262087,0.00179366,0.03572769],"category_scores_gemma":[0.0026362,0.001141822,0.0008890218,0.005043246,0.002828721,0.00775677,0.001771102,0.004377911,0.02194551],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002520467,"about_ca_system_score_gemma":0.003213756,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007974132,"about_ca_topic_score_gemma":0.01340311,"domain_scores_codex":[0.9991251,0.0001666688,0.00006495145,0.0002052732,0.000384289,0.00005381774],"domain_scores_gemma":[0.998669,0.0007423221,0.0001202621,0.00008961098,0.0002469917,0.0001318112],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005270162,0.00002597014,0.0005011467,0.001310194,0.00003825162,0.0001216463,0.001021475,0.0008145476,0.0003374395,0.09131226,0.6846778,0.2197865],"study_design_scores_gemma":[0.000008412873,0.000008257678,0.000569081,0.000976496,0.00001845915,0.0003799389,0.0001654593,0.0002702085,0.000144595,0.08054432,0.9168938,0.00002095381],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.0003720213,0.9344918,0.0051462,0.01335536,0.004058054,0.00001216347,0.0003319606,0.0001931166,0.04203932],"genre_scores_gemma":[0.009948331,0.9073167,0.009791691,0.002487077,0.006833089,0.00006837389,0.0008768686,0.0002713497,0.0624065],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.03572769,"threshold_uncertainty_score":0.119521,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02433455766305792,"score_gpt":0.2645840601744854,"score_spread":0.2402495025114275,"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."}}