Kurt Gödel
Kurt Gödel was harshly critical of the notation: