Take it to Proof: Lie Algebra Symmetry-Checks and Factorization for Goedel’s Theorems
Alex Patterson · viXra · 2015
Will be look at (data) type inference for the four major arithmetic types to search for symmetry-checks and factorization in the Lie algebra, using the multiplicative decomposition by such searches in the Lie Algebra to Poincare Group, Poincare Group important only for the theory check.