first order logic and SR/GR

http://arxiv.org/PS_cache/arxiv/pdf/1005/1005.0960v1.pdf Comments? Ronald -- You received this message because you are subscribed to the Google Groups Everything List group. To post to this group, send email to everything-l...@googlegroups.com. To unsubscribe from

Re: first order logic and SR/GR

It may be a useful summary of Special Relativity and General Relativity for those who knows First Order Logic (FOL). Is is W function computable? In that case comp refutes GR. His notion of observer fulfills the (usual) Sigma_1 definition, and, like almost everyone, he uses the identity