I was excited to real the introduction where it said the BlooP, FlooP, and GlooP are programming languages.
There are many nice references to concepts from earlier chapters and dialogs.
I have a little background in Chaos and Dynamic Systems, but I struggled with a lot of the ideas early in this chapter like this: "representability of all primitive recursive truths will be the criterion for calling a system 'sufficiently powerful'".
The BlueDiag and BlueProgram parts were challenging to follow, but I think I understood the conclusions presented.
This chapter picked me back up around the FlooP section, and I liked the GlooP ideas near the end. I really liked the literary transitions between topics especially in to the Church-Turing Thesis.
I'm not sure if I was supposed to see a "false ending" in this chapter or not. After reading the previous dialog, I was looking for that, and this chapter may have one.
There are many nice references to concepts from earlier chapters and dialogs.
I have a little background in Chaos and Dynamic Systems, but I struggled with a lot of the ideas early in this chapter like this: "representability of all primitive recursive truths will be the criterion for calling a system 'sufficiently powerful'".
The BlueDiag and BlueProgram parts were challenging to follow, but I think I understood the conclusions presented.
This chapter picked me back up around the FlooP section, and I liked the GlooP ideas near the end. I really liked the literary transitions between topics especially in to the Church-Turing Thesis.
I'm not sure if I was supposed to see a "false ending" in this chapter or not. After reading the previous dialog, I was looking for that, and this chapter may have one.