We could see this process as exploring a pre-existing territory, but it is hard to see what this adds, since the axioms and rules of inference are sufficient for truth, and it is hard to see, in EY’s presentation how literally he takes the idea.
It’s useful for reasoning heuristically about conjectures.
It’s useful for reasoning heuristically about conjectures.
Could I have an example?