Lucas's Godelian argument against materialism

 Here. 

I had the chance to meet Lucas at a Wheaton Conference in, I think, 1989. 

Apparently, Godel reached the same conclusion in his Gibbs lecture of 1951, but it never came out until 1995.