大卫·希尔伯特
David Hilbert in 1922 introduced the arrow symbol representing logical implication.