{"id":"W2297809299","doi":"","title":"David Corfield , Towards a Philosophy of Real Mathematics . Reviewed by","year":2004,"lang":"en","type":"article","venue":"","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Philosophy; Epistemology; Contemporary philosophy","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.0004329413,0.000181841,0.0003966297,0.00005747928,0.00004397756,0.00005077409,0.001194786,0.00008069856,0.0000609351],"category_scores_gemma":[0.0001073134,0.0001467162,0.0001368392,0.0004636942,0.00008076878,0.0002269918,0.0004978602,0.000128802,0.00004532255],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006323104,"about_ca_system_score_gemma":0.0001176529,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001918842,"about_ca_topic_score_gemma":0.000007388867,"domain_scores_codex":[0.9983525,0.00004128819,0.0005209194,0.0004028916,0.0004313442,0.0002510371],"domain_scores_gemma":[0.9984222,0.0001007931,0.0001612318,0.0010462,0.0001597828,0.0001097582],"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.000006113735,0.001482233,0.0001656274,0.0006630673,0.00005602805,0.00002301888,0.002908599,0.0001644303,0.001753495,0.904002,0.00434013,0.08443529],"study_design_scores_gemma":[0.001488834,0.0008709664,0.0006625826,0.0002881305,0.00003404975,0.00007429509,0.0000603465,0.02024853,0.01718822,0.9550205,0.003273959,0.000789533],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007410157,0.000374094,0.9386066,0.004561657,0.0003165231,0.0004290975,0.000006563474,0.0003008408,0.04799449],"genre_scores_gemma":[0.3032768,0.0002610058,0.6953212,0.000711641,0.0001011897,0.00001982942,0.000003866709,0.00001527275,0.0002891854],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2958666,"threshold_uncertainty_score":0.5982912,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03026066711323959,"score_gpt":0.2691692706651382,"score_spread":0.2389086035518986,"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."}}