[FOM] Fwd: invitation to comment

[Lito P. Cruz]

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:

http://video.ias.edu/stream&ref=666

LP Cruz