The mathematical theory of black holes and of colliding plane waves