Results 1 
2 of
2
Prospects for mathematical logic in the twentyfirst century
 BULLETIN OF SYMBOLIC LOGIC
, 2002
"... The four authors present their speculations about the future developments of mathematical logic in the twentyfirst century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently. ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
The four authors present their speculations about the future developments of mathematical logic in the twentyfirst century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.
The ChurchTuring Thesis
, 1999
"... this paper) and independently of the matter of considering Church's and Turing's thesis as de nitions (in any philosophical sense), or as empirical or mathematics thesis, we think that Church's thesis and Turing's thesis should have associated a truevalue. This truevalue is no ..."
Abstract
 Add to MetaCart
this paper) and independently of the matter of considering Church's and Turing's thesis as de nitions (in any philosophical sense), or as empirical or mathematics thesis, we think that Church's thesis and Turing's thesis should have associated a truevalue. This truevalue is not known, and although is not possible a positive test, we thought that if should be possible a negative one