{"id":"W4390545134","doi":"10.1007/978-3-031-30488-0_1","title":"Some Elementary Informal Set Theory","year":2024,"lang":"en","type":"book-chapter","venue":"Synthesis lectures on mathematics and statistics","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Sophistication; Set theory; Set (abstract data type); Elementary theory; Cantor set; Mathematics; Universal set; Section (typography); Elementary mathematics; Calculus (dental); Pure mathematics; Mathematical economics; Computer science; Mathematics education; Sociology; Social science","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000687598,0.0006666091,0.0007252007,0.0003097943,0.0001809415,0.0005052858,0.000875521,0.0002865087,0.000244786],"category_scores_gemma":[0.000246178,0.0005347686,0.0001542015,0.00005207983,0.0001950585,0.0001225719,0.000661121,0.0006191133,0.0002285981],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008824118,"about_ca_system_score_gemma":0.0001155994,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002890717,"about_ca_topic_score_gemma":0.000009290985,"domain_scores_codex":[0.9974423,0.00003361531,0.0007156019,0.0006776851,0.0007087836,0.0004219794],"domain_scores_gemma":[0.9953042,0.003167727,0.0002780398,0.0009857001,0.00009187012,0.0001724568],"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.000005236901,0.00002992926,2.170687e-7,0.0006099245,0.0001733207,0.00007373666,0.0006102791,0.00003349198,0.00000210626,0.9098364,0.003311274,0.0853141],"study_design_scores_gemma":[0.00006554205,0.0001604673,0.000004066837,0.0002988243,0.0001483569,0.00004587827,0.00001766718,0.03829734,0.00007050164,0.9382533,0.02207913,0.0005589359],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000163776,0.001974539,0.8869141,0.0003472319,0.0008742185,0.0006542683,0.001670682,0.0003569157,0.1071916],"genre_scores_gemma":[0.0006713622,0.001133608,0.9167481,0.001163764,0.000724252,0.00006477535,0.00009579009,0.0002012141,0.07919713],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.08475516,"threshold_uncertainty_score":0.9997104,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01786763284873942,"score_gpt":0.2451820137967482,"score_spread":0.2273143809480088,"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."}}