Questo non risponde alla domanda in modo definitivo, ma il primo utilizzo che posso trovare è di John McCarthy nel 1966. Come descritto da John Peck, Richiamo di diversi anni dopo una delle discussioni sullo standard Algol a Varsavia : "Quello che ricordo di quell'incontro è stata l'insistenza di John McCarthy, che ogni nuova lingua dovrebbe avere quello che chiama sovraccarico degli operatori. Questo alla fine sarebbe diventato la dichiarazione di operazione di ALGOL 68. "Quindi il termine ha preso piede a causa di John McCarthy. O almeno era così oscuro nel 1966 che McCarthy aveva bisogno di spiegarlo agli altri principali progettisti di linguaggi del mondo e il suo uso si distingue dagli altri partecipanti come notevole. Sfortunatamente, è scomparso nel 2011 e non riesco a trovare nulla online in cui ha parlato del perché lo ha chiamato, se ha coniato il termine se stesso, o se c'è qualche storia dietro di esso.
Come mi ha informato un commentatore, Bjarne Stroustrup afferma esplicitamente di aver preso l'idea da Algol quando ha progettato il C ++ all'inizio degli anni '80. Una ricerca di Google Ngram mostra che le frasi "overloading dell'operatore" e "operatori sovraccaricati" erano praticamente sconosciute prima degli anni '80. Non sembra essere il modo in cui i matematici hanno parlato del modo in cui il segno + potrebbe denotare qualsiasi operazione di gruppo.
Jules nei commenti fornisce una fonte plausibile per l'uso del termine di McCarthy: i linguisti si riferivano ai doppi significati delle parole come "sovraccarico semantico" per decenni prima del 1966. I documenti di McCarthy mostra che aveva familiarità con il campo e la sua terminologia. (Una volta scrisse anche: "Le liti tra i linguisti mi ricordano un detto di mia suocera, la moglie di un contadino in pensione." Quando i polli iniziano a cannibalizzarsi a vicenda, l'unica cosa da fare è macellare tutto o vendere a qualcun altro e ricomincia. '")