ParentFull threadnextos·That is not a good analogy. Symbolism has given us lots of useful things, including SAT/SMT and theorem provers.View on HN