{"id":"W2033086528","doi":"10.1016/j.apal.2003.10.014","title":"What is the world of mathematics?","year":2003,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Topos theory; Intuitionism; Mathematics; Type theory; Type (biology); Category theory; Model theory; Set theory; Theory of computation; Algebra over a field; Pure mathematics; Discrete mathematics; Computer science; Algorithm; Set (abstract data type)","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.0004690864,0.00008993113,0.0001930985,0.00004070007,0.00005272227,0.00008132576,0.0003317185,0.00003890037,0.00002059414],"category_scores_gemma":[0.000008738023,0.00005111684,0.00005587751,0.0002360991,0.00007882638,0.0001164487,0.00006236816,0.00005791772,0.00001291331],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":9.656295e-7,"about_ca_system_score_gemma":0.00001207938,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003361025,"about_ca_topic_score_gemma":0.000007270352,"domain_scores_codex":[0.9992915,0.00002495578,0.0002125107,0.0001586491,0.0001568516,0.0001555128],"domain_scores_gemma":[0.9993215,0.000083428,0.0001635456,0.0003462764,0.00005076542,0.00003450522],"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":[7.434334e-7,0.00005237326,0.00003955045,0.0000485987,0.00001622397,5.9454e-7,0.001143598,0.000001953062,0.0002205909,0.9888175,0.001697408,0.007960923],"study_design_scores_gemma":[0.0001453214,0.00007961586,0.0001038267,0.00001316295,0.000009363473,0.000007672806,0.001237688,0.00007461714,0.0379464,0.9194468,0.04080548,0.0001300288],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.08652288,0.0376187,0.3195678,0.02181665,0.001827347,0.003166024,0.000004810802,0.0003313517,0.5291445],"genre_scores_gemma":[0.9962572,0.0002124886,0.001758577,0.0009905506,0.00001948236,0.00001137344,2.906338e-7,0.000003410024,0.0007465612],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9097344,"threshold_uncertainty_score":0.2084484,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05969010755121887,"score_gpt":0.2905512454920389,"score_spread":0.23086113794082,"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."}}