TL Study Environment
Welcome to the Thinghood Limited interactive studies environment. This platform hosts our core curriculums, problem sets, and theoretical explorations across a variety of disciplines.
Active Cohorts
Foundations of Logic
-
Bridge the material basis of computation with abstract formal logic. Learn how reasoning is physically realized in digital circuits and hardware, covering syntax, semantics, and SAT solvers.
-
Dive deep into Tarskian models and objective reality. Learn how formal languages map onto the real world and how machines interpret these data structures.
-
Build your own formal language and deductive engine from scratch. A continuous 7-part project covering syntax, semantics, and metalogic.
Advanced Mathematics
-
Explore the foundational axioms of Quine's New Foundations, the algebraic mechanization by Hailperin, and the topological crises identified by Specker and Orey.
-
Shift from element-based structures to arrow-based categorical semantics. Investigate Lawvere's ETAC, Cartesian Closed Categories, and the translation of logical deductions into morphisms.
Meta & Resources
-
The core philosophical architecture that informs our translation of metaphysics into computational theory.
-
Stay updated on the evolving structure of our educational programs and version-controlled learning objectives.
-
A brief overview of how to manage your private sovereign repository and push solutions up securely.