Sciweavers

39 search results - page 1 / 8
» A theory of liberal churches
Sort
View
MSS
2011
IEEE
151views Hardware» more  MSS 2011»
13 years 5 months ago
A theory of liberal churches
Michael D. Makowsky
BSL
2010
13 years 8 months ago
The senses of functions in the Logic of Sense and Denotation
This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses ...
Kevin C. Klement
BIRTHDAY
2008
Springer
14 years 23 days ago
Church's Problem and a Tour through Automata Theory
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...
Wolfgang Thomas
CORR
2011
Springer
161views Education» more  CORR 2011»
13 years 5 months ago
The physical Church-Turing thesis and the principles of quantum theory
Abstract. Notoriously, quantum computation shatters complexity theory, but is innocuous to computability theory [17]. Yet several works have shown how quantum theory as it stands c...
Pablo Arrighi, Gilles Dowek
FCS
2006
14 years 4 days ago
The Church-Turing-Deutsch Principle in Quantum Computation
This paper is based on the idea that the Church-Turing-Deutsch (CTD) principle can play a very fundamental role in Physics similar to those of conservation laws in the constructio...
P. Prashant