I was initially skeptical about your statement that Ron Main is avcrackpot, since he comes across as highly intelligent and very well versed in physics and mathematics. However, he also thinks there is a sufficiently strong axiomatic system to resolve all arithmetic questions, and claims Godel did not disprove this. That is indeed quackery. I guess he is one of those geniuses that went off the deep end.