Charlie, Have you looked at Steve's article on his web site titled "Hilbert's program didn't fail" (or something similar). I believe I touted it on the phil-logic list back before the FOM list started. It makes a start at answering some of your questions. Michael