Hate to get super wonky here (ok, maybe hate is a strong word) but, day to day, you may actually be using Church's Lambda calculus more than Turing's machine... Turing Machine ⇔ Algorithms and Complexity λ-Calculus ⇔ Programming Languages (1) USA! USA! USA! USA! USA! (Church was American, Turing was a Brit)
turing was the kind of Brit MAGA’s would hate. Not only did he fight against nazi’s, he was also a …. on a side note, one of my profs in school knew Turing personally. He didn’t think highly of him.