Rupert comments on Scott Garrabrant’s problem on recovering Brouwer as a corollary of Lawvere

[Rupert]

Thanks for the clarification. Possibly that reduces the interest of the observations about computational complexity.