School Colloquium——The isometric embedding of abstract surfaces in the Euclidean space