We identify proper quantum computation with computational processes that cannot be efficiently simulated on a classical computer. For optical quantum computation, we establish no-go theorems for classes of quantum optical experiments that cannot yield proper quantum computation, and we identify requirements for optical proper quantum computation that correspond to violations of assumptions underpinning the no-go theorems.