3 ms·
That is not a good analogy. Symbolism has given us lots of useful things, including SAT/SMT and theorem provers.
by nextos 2y ago
That is not a good analogy. Symbolism has given us lots of useful things, including SAT/SMT and theorem provers.
- WhitneyLand 2y agoThe point is that while biology has been a great source of inspiration toward technical advances it’s only a guide, it can’t guarantee there isn’t a better way.