3 ms·
I think you're confusing PA with computability theory and Turing machines. "Program" is not a thing in PA.
by lisper 2y ago
I think you're confusing PA with computability theory and Turing machines. "Program" is not a thing in PA.
- Tainnor 2y agoPA can model Turing Machines and reason about them. I feel like you missed the important link between logic and computability theory.