first order logic and SR/GR

2010-05-07 Thread ronaldheld
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 this group, send email to 
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en.



Re: first order logic and SR/GR

2010-05-07 Thread Bruno Marchal
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 thesis (of cognitive-science/philosophy- 
of-mind) implicitly.  Of course this remark is very general, it works  
for such formal approach, but also on Tegmark's mathematicalist  
approach, etc.


Bruno


On 07 May 2010, at 13:10, ronaldheld wrote:


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 this group, send email to everything-list+unsubscr...@googlegroups.com 
.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en 
.




http://iridia.ulb.ac.be/~marchal/



--
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 this group, send email to 
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en.