About Randall Holmes

I'm a mathematical logician. I have demonstrated the consistency of Quine's New Foundations, and the hard part has been formalized in Lean.

Lists

Timeline

RandallHolmes has no activity yet