Items where Subject is "Specific Sciences > Mathematics > Methodology"
Group by: Creators | Item Type Number of items at this level: 28. AAvigad, Jeremy (2017) Modularity in Mathematics. [Preprint] Avigad, Jeremy (2019) Reliability of mathematical inference. [Preprint] BBacelar Valente, Mario (2020) On the correctness of problem solving in ancient mathematical procedure texts. [Preprint] Baldissera Pacchetti, Marina (2020) Structural uncertainty through the lens of model building. [Preprint] Barrett, Thomas William and Halvorson, Hans (2015) Quine's Conjecture on Many-Sorted Logic. [Preprint] Bartlett, Steven (2020) CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning. pp. 1-885. Barton, Neil and Friedman, Sy-David (2019) Set Theory and Structures. [Preprint] DD'Alessandro, William (2020) Proving Quadratic Reciprocity: Explanation, Disagreement, Transparency and Depth. Synthese. ISSN 1573-0964 Dal Magro, Tamires and García-Pérez, Manuel J. (2019) On Euclidean diagrams and geometrical knowledge. THEORIA. An International Journal for Theory, History and Foundations of Science, 34 (2). pp. 255-276. ISSN 2171-679X De Haro, Sebastian (2019) The Heuristic Function of Duality. Synthese, 196. pp. 5169-5203. ISSN 1573-0964 Dentamaro, Dario and Loregian, Fosco (2020) Categorical Ontology I - Existence. [Preprint] EEgorychev, Ilya (2020) Categorial analysis of A. Kurpatov's "Methodology of thought" in context of perspective AGI development. [Preprint] FFerreirós, José (2017) Dedekind’s Map-theoretic Period. Philosophia Mathematica, 25 (3). pp. 318-340. ISSN 0031-8019 Ferreirós, José (2005) La introducción de los números transfinitos. Fundamentos para una teoría general de conjuntos. Ferreirós, José (2000) Riemanniana Selecta: introducción. Ferreirós, José (1995) "What Fermented in Me for Years": Cantor's discovery of transfinite numbers. Historia Mathematica, 22. pp. 33-42. ISSN 03150860 Franklin, James (2017) Discrete and continuous: A fundamental dichotomy in mathematics. Journal of Humanistic Mathematics, 7 (2). pp. 355-378. ISSN 2159-8118 Franklin, James (2016) Logical probability and the strength of mathematical conjectures. Mathematical Intelligencer, 38 (3). pp. 14-19. ISSN 1866-7414 HHewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint] NNefdt, Ryan M. (2018) Inferentialism and Structuralism: A Tale of Two Theories. [Preprint] SSarma, Gopal P. and Hay, Nick J. (2017) Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica, 41 (4). pp. 451-461. Smith, Jr, James Andrew (2019) Quine on Naturalism, Nominalism, and Philosophy's Place within Science. [Preprint] TTeh, Nicholas and Kapulkin, Chris (2018) BJPS Book Review of "Categories for the Working Philosopher". BJPS Book Review of "Categories for the Working Philosopher". Tsementzis, Dimitris and Halvorson, Hans (2016) Foundations and Philosophy. [Preprint] VVan Fraassen, Bas C. (2020) Supervenience, Logic, and Empirical Content: Commentary on Hans Halvorson, The Logic in Philosophy of Science. [Preprint] Veilahti, Antti (2017) Higher Theory and the Three Problems of Physics. [Preprint] Vorobyev, Oleg Yu (2016) Postulating the theory of experience and chance as a theory of co~events (co~beings). [Preprint] WWilliamson, Timothy (2018) Supervaluationism and good reasoning. THEORIA. An International Journal for Theory, History and Foundations of Science, 33 (3). pp. 521-537. ISSN 2171-679X |