"We are attempting to replace symbols by vectors so we can replace logic by algebra." - Yann LeCun