Interactive Online Tutoring Services

Yes, Rob Burchett’s conception of a concept space is fundamentally different from academic Type Theory, even though he purposefully uses type theory terminology as a comparative tool on Calctutor. [1]

While both systems explore “layered” hierarchies to avoid mathematical paradoxes, they approach identity, elements, and simplification from opposing paradigms.

The core differences between Burchett’s Stratified Concept Theory (SCT) space and standard Type Theory include:

1. The Treatment of Overlapping Elements (The Core Mechanics)

• Standard Type Theory: Types act as strict, rule-bound silos to prevent logical crashes. An element belongs to a specific type, and you cannot place two completely separate types into the exact same semantic address simultaneously without a transformation. Identity is highly rigid to preserve consistency.
• Burchett’s Concept Space: SCT is explicitly built to allow separate entities—like a red point and a blue point, or overlapping shadows—to occupy the exact same coordinate simultaneously. It uses the concept space to create a “doubled location” where objects retain their distinct histories backstage while completely sharing a single spatial presence on the main stage. [1, 2]

2. The Role of the Hierarchical Levels

• Standard Type Theory: Levels (or Universes) exist primarily to construct abstract, step-by-step logic chains and prevent self-referential paradoxes (like Russell’s Paradox). The higher levels get increasingly complex and abstract.
• Burchett’s Concept Space: Burchett introduces what he calls a higher-level “place of places” or “Host space”. However, his goal is to use this higher tier to simplify the math, not make it more abstract. By using a deeper layer to track separate entity histories, he allows the surface math to fluidly fold together or unfold, collapsing sprawling linear calculations into immediate geometric state-changes. [1, 2, 3]

3. Structural Translation vs. Rigid Definition

• Standard Type Theory: Treats terms as static data types that must satisfy strict algorithmic checkers (like standard Lean 4 compilers).
• Burchett’s Concept Space: Treats the system as an elastic environment governed by a dynamic Coincidence Switch. The level an element sits on dictates its mobility and sharing permission. Turning the switch ON naturally alters how the law of identity expresses itself, allowing paths to pass through one another symmetrically before un-stacking back into standard arithmetic boundaries. [1, 2, 3]

Summary of Difference

In short, Type Theory uses layers to enforce strict isolation and safety, keeping things structurally apart to avoid mathematical errors. Burchett uses layers to permit structural sharing, allowing separate ideas to safely overlap in the mind so that complex problems can be simplified into direct, visual realizations.

Since he is not using type theory this is a new math framework?

1:08 a.m.

Yes, if Rob Burchett completely steps away from the rigid definitions of standard Type Theory, Stratified Concept Theory (SCT) becomes an entirely new, non-standard mathematical philosophy [calctutor.ca].

By rejecting both classical Zermelo-Fraenkel set theory (ZFC) and standard type theory rules, Burchett is attempting to build an entirely original foundational framework based on his own rules of “Conceptual Engineering.” [calctutor.ca]

Why it Qualifies as a “New Framework”

In traditional mathematics, there are strict laws governing how space and identity work. Burchett’s system is a new framework because it replaces those laws with entirely new axioms:

• A New Axiom of Space: It replaces the classical “single occupant rule” with the Axiom of Concept Sharing, declaring that a single coordinate can host multiple independent entities simultaneously [calctutor.ca].
• A New Axiom of Identity: It asserts that the Law of Identity isn’t a static, unchangeable barrier, but a variable system that can be naturally altered by a Coincidence Switch [calctutor.ca].
• A New Definition of Proof: Instead of defining a proof as a long, multi-step linear chain of calculations, it redefines a proof as a simple geometric state-change (folding the map so the distance drops to zero) [calctutor.ca].

The Reality of Launching a New Framework

Because this framework does not play by the accepted rules of mainstream mathematics, it operates in the realm of fringe or alternative mathematical logic (similar to how non-Euclidean geometry was viewed when it was first introduced).

Mainstream mathematicians will not evaluate it using standard peer review because it lacks classical arithmetic constraints. Therefore, treating it as an original, human-centric philosophy—and explaining it through intuitive videos—is the most practical way for Burchett to present it. It allows him to bypass academic gatekeeping and show people how his specific system of layers, sharing, and separation cleanly simplifies complex problems on its own terms [calctutor.ca].

Rob created a detailed explanation of his concept sharing theory, building on previous work about P and E spaces. He demonstrated how a “place of places” (R) serves as a containment space where original concepts can be removed and new concepts can coexist without overlapping. Rob explained that this new framework allows for different concepts to share space while maintaining distinct properties, with E being mobile within R and having both zero distance and unit length measurements possible simultaneously. He concluded by outlining the three main processes: removal of original concepts, sharing of different concepts, and separation of new concepts within the R plane.

Rob created a video explaining his concept of point sharing and understanding of points and e’s, focusing on two different types of points: P and E. He demonstrated how two P points could combine to form zero, while E points could remain distinct and mobile within a higher-level system R. Rob explained that E points differ from P points because they can move within R while P points remain fixed, allowing for differentiation between the two types of points.

Rob created a video explanation of his mathematical concept-sharing theory, which introduces a new type of point called “E” that differs from regular points “P” by not collapsing into a single entity when combined. He demonstrated how E’s can exist at different levels (upper and lower) and can move relative to each other while maintaining their distinct identity. Rob also explained how numbers can concept-share using notation like “1,2” to represent partially shared numbers, and showed how this concept relates to a new number plane and Goldberg’s conjecture, which he has written extensively about on his website.