[FOM] 461: Reflections on Vienna Meeting

Rob Arthan rda at lemma-one.com
Thu May 12 18:17:44 EDT 2011

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?



More information about the FOM mailing list