no-go-theorem

Here are 3 public repositories matching this topic...

boonespacedog / complexity-vector-1

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

ewdlop / TopologicalQuantumInALifeTime

Star

I wish you, well. No luck. 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

Abraxas1010 / hossenfelder-nogo-lean

Star

Formally verified Hossenfelder no-go theorem for Poincaré-invariant spacetime networks in Lean 4. Axiom-free proof + constructive Heyting boundary non-Booleanity witness from asymptotic safety.

formal-verification quantum-gravity mathlib lean4 no-go-theorem heyting-algebra asymptotic-safety hossenfelder spacetime-networks boundary-nucleus

Updated Mar 14, 2026
Lean

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly