{"id":"W2997069549","doi":"10.1007/978-3-030-25572-5_3","title":"Leibniz in Cantor’s Paradise: A Dialogue on the Actual Infinite","year":2019,"lang":"en","type":"book-chapter","venue":"Boston studies in the philosophy of science","topic":"Historical Philosophy and Science","field":"Arts and Humanities","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Cantor's diagonal argument; Infinite set; Axiom; Gödel's incompleteness theorems; Mathematics; Premise; Mathematical proof; Cantor set; Philosophy; Epistemology; Pure mathematics; Set (abstract data type); Gödel; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003796297,0.000742712,0.0006689201,0.002106706,0.01401098,0.01421706,0.001121322,0.005480925,0.01076687],"category_scores_gemma":[0.00648972,0.000425816,0.0003791401,0.002385326,0.0437965,0.0138476,0.00446189,0.007884335,0.0009670956],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.01773782,"about_ca_system_score_gemma":0.007321115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.06140453,"about_ca_topic_score_gemma":0.07079645,"domain_scores_codex":[0.9967027,0.002024585,0.00007461242,0.0002580075,0.0004705861,0.0004694878],"domain_scores_gemma":[0.9980767,0.001272952,0.00006523696,0.0001990853,0.0002404207,0.0001455931],"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.000003251363,0.000001115505,0.000006585005,0.000004202002,3.90862e-7,0.000007263338,0.001179902,0.00002272207,0.000007938125,0.9950742,0.003036857,0.0006555787],"study_design_scores_gemma":[0.000008857862,0.000005317401,0.00009097149,0.00008471408,0.000002316764,0.00003056896,0.00226977,0.0001694609,0.00007554564,0.8275391,0.1697047,0.00001872675],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01244149,0.01668348,0.005224126,0.05767195,0.001166712,0.00001426799,0.00007767525,0.00006678538,0.9066535],"genre_scores_gemma":[0.8399849,0.004822355,0.002108522,0.006618539,0.001241822,0.00007626473,0.00005346274,0.0001920301,0.1449021],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.06140453,"threshold_uncertainty_score":0.1286975,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1943160448266212,"score_gpt":0.2988772740766069,"score_spread":0.1045612292499857,"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."}}