Did you know that Freeman Dyson used a result by Marian Pour-El on the mathematical undecidability of the wave equation as evidence for the superiority of analog to digital forms of life?