[FOM] Fwd: invitation to comment

Lito P. Cruz lpc at sleekersoft.com
Thu May 19 21:26:52 EDT 2011

Dear FOMers,

I have profited much from the frank comments I have read in this discussion.

I mingle amongst computer scientists and I specially appreciate FOMers
pointing out the need for precision in presentation specially when
speaking about the implications of Godel's Incompletness Theorems.

For what it is worth, here is also another lecture from IAS itself which
to me contradicts Voevodsky's theories:


LP Cruz

More information about the FOM mailing list