{"id":"W4253273005","doi":"10.1007/978-3-662-07003-1_1","title":"Introduction","year":2004,"lang":"en","type":"book-chapter","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Natural number; Mathematics; Expressive power; Algebraically closed field; Real number; Algebra over a field; Discrete mathematics; Pure mathematics; Computer science; Theoretical computer 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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.000092651,0.0001952418,0.0001831356,0.00009491235,0.00006426161,0.00009959748,0.0005705941,0.0001973336,0.001885242],"category_scores_gemma":[0.00001152983,0.000157674,0.0001066162,0.00002738966,0.00003886844,0.0001681255,0.000200887,0.0002094332,0.003798621],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001078302,"about_ca_system_score_gemma":0.0001135814,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000780949,"about_ca_topic_score_gemma":0.00001071633,"domain_scores_codex":[0.9990246,0.000004481484,0.0001502622,0.0004827758,0.0001763229,0.0001615408],"domain_scores_gemma":[0.9991381,0.00001238814,0.00008040735,0.0006156475,0.00008577079,0.00006774003],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[4.766122e-7,0.000005580666,3.404415e-7,0.000006422126,0.00001044808,0.000007260572,0.00005543615,0.000002828545,0.000003363544,0.9504062,0.03268744,0.01681423],"study_design_scores_gemma":[0.00007097821,0.00003711246,0.000005032252,0.00001210522,0.000005387079,0.00002179301,4.730703e-7,0.00006495928,0.00006599267,0.3267485,0.6727881,0.0001795683],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[3.258074e-7,0.0002681466,0.1198242,0.001098812,0.001453947,0.00007631321,3.88822e-7,0.000295477,0.8769823],"genre_scores_gemma":[0.0005414247,0.00008079091,0.008499914,0.0001686371,0.002300578,0.000002196429,0.000006084396,0.00001483871,0.9883856],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.6401007,"threshold_uncertainty_score":0.9990272,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01331004098449851,"score_gpt":0.2083149114055697,"score_spread":0.1950048704210712,"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."}}