[FOM] Foundations Crucial

David Roberts david.roberts at adelaide.edu.au
Sun Mar 2 18:34:56 EST 2014

On 1 March 2014 04:51, Harvey Friedman <hmflogic at gmail.com> wrote:
> Doesn't recent work indicate^[citation needed] that using the category of all categories in a
> category theoretic environment is just as seriously flawed as was using
> naive set theory, without its fundamental accompanying foundational work?

Please give a reference for this, even if vague. Also, please point to
people seriously using CCAF as their claimed foundation in recent
years (say past two decades, to be generous).

Best regards,


More information about the FOM mailing list