Church’s thesis: A kind of reducibility axiom for constructive mathematics (1970)

by G Kreisel
Venue:In Intuitionism and Proof
Add To MetaCart
Results 11 - 11 of 11

Turing’s

by S. Barry Cooper
"... review articles doi:10.1145/2093548.2093569 Embodied and disembodied computing at the Turing Centenary. ..."
Abstract - Add to MetaCart
review articles doi:10.1145/2093548.2093569 Embodied and disembodied computing at the Turing Centenary.