[FOM] 461: Reflections on Vienna Meeting

[Rob Arthan]

On 12 May 2011, at 02:24, Harvey Friedman wrote:
> 16. In particular, this matter is well worth investigating. I suspect that it is simply some fancy mathematicians (purposefully) unfamiliar with routine formalization. On the other hand, perhaps there is some new way of going beyond ZFC in some interesting sense, not known to people like me?


It would be very helpful to know what these routine formalizations of subjects like algebraic topology that make routine use of functors between large categories look like. As a simple example, how do I go about formalising the method of acyclic models in ZFC?

Regards,

Rob.