PROFESSION:  logician and a student of alonzo church

TRAVELS:  Co-authored in 1935 (with Stephen Kleene) the KleeneÐRosser paradox shows that certain systems of formal logic are inconsistent, in particular the version of Curry's combinatory logic introduced in 1930.