Re: [Axiom-developer] Clifford Algebra (Physics, Geometry, Algebra)

2016-12-08 Thread Tim Daly
I've given no thought to unifying these three areas or layering them in any obvious way. I'd be interested in any thoughts you have on the subject. For quantum physics I'm working my way through Nielsen "Quantum Computation and Quantum Information" and Mermin "Quantum Computer Science" I want to b

[Axiom-developer] Clifford Algebra

2016-12-08 Thread Martin Baker
Tim, You recently mentioned Clifford Algebra a couple of times so I thought I would mention an idea that I had on the subject. The idea is still too vague and hand-wavy to turn into code but I would be interested to know if anyone thinks its viable? The idea is to implement a 3-layer archite

Re: [Axiom-developer] Computational Math and Terence Tao's three stages of mathematics

2016-12-08 Thread Tim Daly
See Feynman's Knowing versus Understanding: https://www.youtube.com/watch?v=NM-zWTU7X-k Calculation and "the right answer" are never enough. See also: Wholeness and the Implicate Order by Bohm for a discussion of the pilot wave vs quantum theories. On Sat, Dec 3, 2016 at 3:57 PM, Lawrence Bottorf

Re: [Axiom-developer] Computational Math and Terence Tao's three stages of mathematics

2016-12-08 Thread Tim Daly
I don't have a copy of the Classical Mechanics book so I can't comment. re: When do you write code versus when do you use CAS systems like Axiom? I write code when I need to understand something. For example, I'm writing code to manipulate point clouds from self-driving cars. I don't understand h