no-go-theorem

Here are 9 public repositories matching this topic...

hyperpolymath / tropical-types

Lean 4 applied to max-plus (tropical) algebra to resource-aware type systems for compositional worst-case bounds. Provides a reusable resource-grade axis with parametric transport, a no-go theorem refuting universal protocol interoperability (hub_ceiling); separation proofs distinguishing tropical instances from finite {0,1,ω} reifications & Echosh

session-types tropical-algebra lean4 formal-verification-for-designers type-theory-in-number-theory no-go-theorem protocol-interop worst-case-analysis resource-typing max-plus-semiring

Updated Aug 24, 2026
Isabelle

boonespacedog / complexity-vector-1

Star

This paper proves a fundamental impossibility theorem for universal complexity measures.

information-theory category-theory dynamical-systems quantum-information algorithmic-complexity complexity-theory complexity-science impossibility-theorem arrow-s-theorem resource-monotone geometric-complexity topological-complexity vector-measures no-go-theorem

Updated Nov 19, 2025
Python

dougdotcon / AHolographicBoundonMacroscopicQuantumSuperpositions

Sponsor

Star

We derive a fundamental limit on the mass of objects capable of sustaining spatial superpositions, based on the Bekenstein entropy bound and the holographic principle.

Updated Jan 23, 2026
HTML

Cosmochrony / non-injective-foundations-note

Star

Non-Injective Foundations Presentation Note (Branch I of the Cosmochrony programme)

foundations emergence no-go-theorem non-injective-projection admissibility heisenberg-group weil-representation projection-entropy presentation-note axiomatic-primitive born-infeld

Updated Aug 15, 2026
TeX

ewdlop / TopologicalQuantumInALifeTime

Star

I wish you, well. No luck is needed. Formal letter.

logic type-theory category-theory algebraic-topology inference-rules fractionalization no-go-theorem algebric-topolgy curry-howard-lambek post-modern-physics algebric-topology

Updated Jan 7, 2026

sehajr-singhs / spectral-topological-decoupling

Star

Five-arm failure atlas proving physical constraints inside JEPA latent predictors certify properties disjoint from the ones they enforce. Lorenz-63 + 4-D hyperchaotic Lorenz, metriplectic/GENERIC, differentiable QR Lyapunov tracking, no-go theorem. NMI Letters + IEEEtran manuscripts.

dynamical-systems self-supervised-learning world-models lyapunov-exponents jepa no-go-theorem metriplectic

Updated Aug 13, 2026
Python

berkay-yueksel-sayim / modular-data-doubled-fibonacci-stringnet-rotation

Star

Code & data for "Resolving the Full Modular Data of a Doubled-Fibonacci String-Net on a Finite Torus by Point-Group Rotation…"

quantum-computing exact-diagonalization topological-quantum-computation no-go-theorem fibonacci-anyons string-net modular-data

Updated Jul 25, 2026
TeX

Cosmochrony / no-sequential-reentry

Star

Operator Doublets, Erased History Fibres, and the No-Sequential-Re-entry Theorem — fermionic-matter no-go note

re-entry conditional-expectation no-go-theorem non-injective-projection heisenberg-group finite-weil-representation multiplicity-doublets trajectory-branching erased-fibres weak-isospin

Updated Jul 30, 2026
TeX

Cosmochrony / q1

Star

Fourier-Support Rigidity in Conjugate Weil Sectors: A No-Go Result for Rank-Based Quantum Signatures

representation-theory gram-matrix frame-theory cayley-graph no-go-theorem heisenberg-group weil-representation fourier-support conjugate-characters

Updated Aug 14, 2026
Python

Improve this page

Add a description, image, and links to the no-go-theorem topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the no-go-theorem topic, visit your repo's landing page and select "manage topics."

Learn more