His awe-inspiring proof for the resolution of singularities — such as peaks, edges and self-crossings — revolutionized ...