谁阐述了停机问题?