2 ms·
PA can model Turing Machines and reason about them. I feel like you missed the important link between logic and computability theory.
by Tainnor 2y ago
PA can model Turing Machines and reason about them. I feel like you missed the important link between logic and computability theory.