5 search results - page 1 / 1 » Relativistic computers and the Turing barrier |
CIE
2006
Springer
15 years 1 months ago
2006
Springer
51
Voted
AMC
2006
14 years 10 months ago
2006
CIE
2007
Springer
15 years 4 months ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
74
Voted
ITICSE
2005
ACM
15 years 3 months ago
2005
ACM
One of the largest barriers to learning programming is the precise and complex syntax required to write programs. This barrier is a key impediment to the integration of programmin...
80
Voted
IGPL
2008
14 years 9 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...