Items where Subject is "Specific Sciences > Mathematics > Foundations"

 Up a level
 Export as ASCII CitationASCII Citation - ChicagoBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager
Group by: Creators | Item Type
Jump to: A | B | E | H | K | L | M | P | R | S | T | V
Number of items at this level: 38.

A

Asghari, Amir (2018) Equivalence: An Attempt at a History of the Idea. [Preprint]

Avigad, Jeremy (2019) Reliability of mathematical inference. [Preprint]

B

Barton, Neil (2018) Forcing and the Universe of Sets: Must we lose insight? [Preprint]

Barton, Neil (2019) Forcing and the Universe of Sets: Must we lose insight? [Preprint]

Barton, Neil (2017) Independence and Ignorance: How agnotology informs set-theoretic pluralism. [Preprint]

Barton, Neil (2018) Large Cardinals and the Iterative Conception of Set. [Preprint]

Barton, Neil (2016) Multiversism and Concepts of Set: How much relativism is acceptable? [Preprint]

Barton, Neil (2016) Richness and Reflection. [Preprint]

Barton, Neil and Friedman, Sy-David (2017) Maximality and Ontology: How axiom content varies across philosophical frameworks. [Preprint]

Barton, Neil and Friedman, Sy-David (2019) Set Theory and Structures. [Preprint]

Bordg, Anthony (2019) Univalent Foundations and the UniMath Library. The Architecture of Mathematics. in Reflections on the Foundations of Mathematics, Synthese Library, 407.

E

Eastaugh, Benedict (2018) Computational reverse mathematics and foundational analysis. [Preprint]

Eastaugh, Benedict (2018) Set existence principles and closure conditions: unravelling the standard view of reverse mathematics. [Preprint]

H

Heartspring, William (2019) Modal logic NL for common language. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strong Types. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on the Opposite of Gödel’s Results. [Preprint]

Hewitt, Carl (2017) Strong Types for Direct Logic. [Preprint]

Hosack, John M. (2019) Deductive Pluralism. [Preprint]

K

Khudairi, Hasen (2017) Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. [Preprint]

Kovac, Srecko (2018) On causality as the fundamental concept of Gödel's philosophy. [Preprint]

Kurpaska, Sławomir and Tyszka, Apoloniusz (2019) Semi-formally stated open problems on computable sets X={n \in N: \phi(n)}, where \phi(n) has the same intuitive meaning for every n \in N and the finiteness (infiniteness) of X remains conjectured. [Preprint]

L

Lampert, Timm (2017) Turing's Fallacies. [Preprint]

M

Maddy, Penelope (2017) Set-theoretic Foundations. [Preprint]

P

Parker, Matthew W. (2017) Gödel's Argument for Cantorian Cardinality. Noûs.

Parker, Matthew W. (2013) Set Size and the Part–Whole Principle. Review of Symbolic Logic, 6 (4). pp. 589-612.

Patton, Lydia (2018) Laws of Thought and Laws of Logic After Kant. Logic from Kant to Russell.

R

Redhead, Michael (2019) A Simplified Version of Gödel’s Theorem. [Preprint]

Rodin, Andrei (2018) Models of HoTT and the Constructive View of Theories. [Preprint]

S

Samaroo, Ryan (2018) The Principle of Equivalence as a Criterion of Identity. [Preprint]

Sant'Anna, Adonai and Bueno, Otávio and de França, Márcio (2019) Follow the Flow: sets, relations, and categories as special cases of functions with no domain. UNSPECIFIED.

Sarma, Gopal P. (2015) The Art of Memory and the Growth of the Scientific Method. Interdisciplinary Description of Complex Systems, 13 (3). pp. 373-396.

Soysal, Zeynep (2017) Why Is the Universe of Sets Not a Set? [Preprint]

T

Teh, 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]

V

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]

This list was generated on Mon Jan 20 06:55:10 2020 EST.