{"id":"W2037036822","doi":"10.1007/s11229-009-9667-9","title":"On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others","year":2009,"lang":"en","type":"article","venue":"Synthese","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Dedekind cut; Axiom; Epistemology; Philosophy of science; Philosophy of language; Metaphysics; Perspective (graphical); Mathematics; Axiomatic system; Algebra over a field; Calculus (dental); Philosophy; Computer science; Pure mathematics; Artificial intelligence","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.003857985,0.0007509964,0.0008498904,0.002817006,0.002951788,0.00517608,0.001115056,0.00275735,0.003929268],"category_scores_gemma":[0.01024866,0.000751383,0.0007094987,0.002183806,0.02162399,0.01540433,0.003398556,0.005554467,0.0009405652],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002515794,"about_ca_system_score_gemma":0.00153294,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001524198,"about_ca_topic_score_gemma":0.001932326,"domain_scores_codex":[0.9975427,0.001440041,0.00009019164,0.0002313264,0.000585577,0.0001102756],"domain_scores_gemma":[0.9903604,0.007595775,0.00034541,0.0007025516,0.0007500143,0.0002457949],"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.000005548588,0.000002696728,0.00001908758,0.00001864154,0.000002382338,0.000008252232,0.0001561303,0.00007210067,0.00004080539,0.9896152,0.006562647,0.003496464],"study_design_scores_gemma":[0.000005903625,0.000001987667,0.00001925562,0.00002616912,0.000001586801,0.00002445627,0.00005788338,0.000285127,0.00007257918,0.9738657,0.02563427,0.000004942802],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0108577,0.2907497,0.1596739,0.2138502,0.0131208,0.00004680426,0.0004566089,0.0003727473,0.3108716],"genre_scores_gemma":[0.6401243,0.1070279,0.1294595,0.03922594,0.01929647,0.0002397602,0.0003834582,0.0003911559,0.06385148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00517608,"threshold_uncertainty_score":0.02040321,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008420275351095527,"score_gpt":0.2279796315742306,"score_spread":0.2195593562231351,"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."}}