lbo-talk-digest V1 #5222

ravi gadfly at home.com
Tue Nov 6 08:10:18 PST 2001


Daniel Davies wrote:


>
> 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



More information about the lbo-talk mailing list