>
> Depends on whether you'd call Barkley Rosser and his colleagues
> mathematicians or economists.
>
is this the same barkley rosser who extended godel's incompleteness theorem, did work with kleene on showing the inconsistency of ML (quine's theory?), and also some of the stuff related to showing the equivalence of church's lambda calculus to recursive functions? i would certainly call him a mathematician! he is an economist too?
--ravi