[FOM] Foundations Crucial
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^ 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).
More information about the FOM