Emil Post Dead
Independently of Turing, described an equivalent model of computation — and anticipated incompleteness before Gödel published.
1875190019251950197520002025
Independently developed a Turing-equivalent model (Post machine, 1936) — the third of the three 1936 answers to the Entscheidungsproblem.\n\nPost's correspondence problem and canonical systems became foundational in formal language theory and undecidability proofs.