Maybe Scott isn't at the forefront of the research by some standards, but I still consider him a prominent figure in the field. Independence of ZFC, Busy Baver Frontier paper, "Who Can Name the Bigger Number?" essay. He did a lot to popularise the topic and posed some interesting ideas or conjectures (Beeping Busy Beavers for example).
No comments yet.