{"id":"W4366809288","doi":"10.1353/rss.2019.0003","title":"Russell’s Corrected Page Proofs of Principia Mathematica","year":2019,"lang":"en","type":"article","venue":"Russell the Journal of Bertrand Russell Studies","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematical proof; Possession (linguistics); Relation (database); Set (abstract data type); Calculus (dental); Mathematics; Philosophy; Computer science; Programming language; Linguistics; Geometry; Medicine; Data mining","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"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.004418692,0.0005051902,0.001691441,0.0002293022,0.0002992661,0.00002530319,0.0008990436,0.000174211,0.0004726583],"category_scores_gemma":[0.0008559819,0.0002861109,0.0005295166,0.0003940857,0.0004600035,0.000232491,0.0001332077,0.000649284,0.0001460972],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009882527,"about_ca_system_score_gemma":0.0001317431,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002603227,"about_ca_topic_score_gemma":0.000009261317,"domain_scores_codex":[0.9958278,0.0005275223,0.001991686,0.0002288306,0.000929912,0.0004942672],"domain_scores_gemma":[0.9920529,0.004290195,0.002126396,0.000791806,0.0005949507,0.0001437616],"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.006456291,0.00907822,0.001527379,0.02772821,0.01675946,0.0002616617,0.3533581,0.0004900559,0.08849674,0.406592,0.08494062,0.004311349],"study_design_scores_gemma":[0.007981995,0.002913478,0.0003489426,0.005940333,0.005021004,0.001753222,0.0265541,0.0005728856,0.08130044,0.82718,0.03861683,0.001816824],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9756549,0.005615711,0.001148598,0.0004210241,0.001108989,0.0009846861,0.0000108991,0.00006264907,0.01499255],"genre_scores_gemma":[0.9820832,0.0025906,0.006230795,0.0000765845,0.0002191437,0.000008161862,8.37965e-7,0.00009570834,0.008694988],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.420588,"threshold_uncertainty_score":0.9999591,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04233697243042376,"score_gpt":0.2954044020638881,"score_spread":0.2530674296334643,"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."}}