Status Updates From Galois’ Dream: Group Theory...
Galois’ Dream: Group Theory and Differential Equations: Group Theory and Differential Equations by
Status Updates Showing 1-8 of 8
Lee
is on page 60 of 159
Holy shit, is this an intro to algebraic topology?
— Jun 12, 2016 11:14PM
Add a comment
Lee
is on page 51 of 159
Holy shit, is this an intro to algebraic topology?
— Jun 12, 2016 10:41PM
Add a comment
Lee
is on page 40 of 159
Chapter 3 is about the group structure associated with this simple groupoid rewrite system. w = 1 + x_i + x_i^{-1} with the semantic that x_i and x_i^{-1} are inverse and 1 is unital. Q: is this rewrite system Turing complete? No. Let's use an argument based on strong normalization. All turing-complete abstractions do not have strong normal forms. This groupoid and correspond reductions has a universal normal form
— Jun 12, 2016 10:08PM
Add a comment
