GWT2 — on primitive recursive functions

I have recently been re-reading Wuthering Heights, for the first time in however many decades. I’m not sure what prompted me to reach the book down from the shelves, and I wasn’t sure either how I would take to it in my dotage. Isn’t it a book for the young and over-romantic? Yet I am engrossed and carried away. What passionately driven writing! Utterly extraordinary. But you knew that.

Should I be surprised that Emily Brontë’s teacher in Brussels wrote of her “She had a head for logic, and a capability of argument unusual in a man and rarer indeed in a woman …”?

Back to logic for me. And so here is the revised chapter on primitive recursive functions from GWT2, just 11 quick pages. Some from a more computer science background complained a bit about what I wrote in the previous edition (and should indeed be similarly dissatisfied with the similar treatment in IGT2). I have, in particular, tried to make the passing remarks about “for” loops and “do while” loops less misleading. Have I succeeded?

Updated (with thanks to RM for his comment).

The post GWT2 — on primitive recursive functions appeared first on Logic Matters.