Relational Bundles and Eliminative Ontic Structural Realism
- Defense of OSR
Writing Sample
- grad school writing sample
Connection Theory
- a mathematical framework
On Proofs and Diagrams in Math
- on proof and diagramming in math
One-Way Functions
- open problems in math and cs
Fun Math Stuff and the Philosopher's Stone #3
- curry howard isomorphism
To the Infinite from the Finite
- considerations about the infinite
Half Dimensions #2
- about non-integered dimension quantities
Rechnender Raum
- the world as [a] giant simulation and/or computer
Path Deformation
- path deformation, univalent foundations, connection theory
Half Dimensions
- questioning counting dimensions using the naturals alone
Fun Math Stuff and the Philosopher's Stone #2
- comments about logic and math
Fun Math Stuff and the Philosopher's Stone
- comments about logic and math
On Connection Theory
- comments about connection theory
Inner Semantics #2
- inner semantics, semantically-closed languages, category theory
Dimensions and Unpacking
- thinking about Sophons and Trisolarians
Sign, Identity, Relations
- thinking about identity and relations
Metaphors, Math, and Semantics
- thoughts on posthuman language and philosophy