Back to browse
Formal theory of consciousness built on ∞-categories

Formal theory of consciousness built on ∞-categories

by old8man·Apr 6, 2026·2 points·1 comment

AI Analysis

MidRabbit Hole

Five axioms derive seven dimensions and quantum mechanics from ∞-topos formalism.

Strengths
  • 180+ formal theorems with categorical formalism and lax 2-functor
  • Falsifiable predictions with status registry for verification
Weaknesses
  • No actual software product or tool to use or build with
  • Claims are unverifiable from a Show HN perspective
Category
Target Audience

Physicists, philosophers of mind, consciousness researchers

Similar Projects

IQT – Why space feels panoramic and time feels fleeting

This repo actually tries something rare: a crisp identity claim linking subjective experience to the algebra-state pair from algebraic QFT, plus concrete, pre-registered experimental protocols and a Lean formalization. It bundles a lay 'Gentle Introduction', rigorous math, CI checks, and a NotebookLM reading guide — an unusual combo of philosophy, hard physics, and reproducibility. It's bracingly technical and squarely for specialists; if you don't do AQFT or proof assistants, expect to skim the intro and admire the ambition.

Big BrainBold BetRabbit Hole
diwank
104mo ago
OtherPass

Locational Variable Theory – An informational framework for physics

Ambitious physics theory, but lacks peer review, experimental validation, or institutional backing.

Bold Bet
TobeyStar
113mo ago
Security●●Solid

SkillFortify, a formal verification for AI agent skills

Formal verification for agent skills when heuristic scanners always fail.

Big BrainNiche Gem
varunpratap369
223mo ago
Other●●Solid

2D Coulomb Gas Simulator

WebGPU-accelerated random matrix visualizer; deep research appeal, narrow audience.

Big BrainRabbit Hole
swesnow
4493mo ago