No, his critique of bayesianism is also attacking something very different from the sequences, it is again talking about something much narrower. Indeed, substantial fractions of the sequences overlap with his critique of bayesianism (in particular all the stuff about embededness, logical uncertainty, incomputability and TDT-style concerns). I don’t think he agrees with everything in the sequences, but when he writes critiques, I am pretty sure he is responding to something else than the sequences.
No, his critique of bayesianism is also attacking something very different from the sequences, it is again talking about something much narrower. Indeed, substantial fractions of the sequences overlap with his critique of bayesianism (in particular all the stuff about embededness, logical uncertainty, incomputability and TDT-style concerns). I don’t think he agrees with everything in the sequences, but when he writes critiques, I am pretty sure he is responding to something else than the sequences.