Jeg sneket litt, og fulgte Wikipedia-lenken du oppga til et annet underavsnitt, som sier
Internasjonalt algebraisk språk og ALGOL (1958 og 1960) introduserte derfor ": =
" for tildeling, og etterlot standarden " =
" tilgjengelig for likestilling, en konvensjon etterfulgt av CPL, Algol W, BCPL, Simula, Algol 68, SETL , Pascal, Smalltalk, Modula2, Ada, Standard ML, OCaml, Eiffel, Delphi, Oberon, Dylan, VHDL og flere andre språk.
Problemet var selvfølgelig at det er tilfelle der uttrykk som
Variable = Variable + NewVariable
er gyldige. I matematikk, hvis den samme påstanden ble brukt, ville det åpenbart være falsk hvis $ \ text {NewVariable} \ neq1 $. Derfor ble det besluttet å bruke :=
.
Jeg fant teksten til ALGOL 1958 (men ikke den påfølgende 1960-teksten), og det riktignok støtter ikke eksplisitt denne tolkningen noe sted. Det understreker imidlertid sterkt brukeren av : =
i utsagn, mens den ikke viser =
som en byggestein for språket, så jeg tror det er trygt å si at dette markerte overgangen, som hevdet. Vi har derfor en dato for tidlig bruk av : =
: 1958.
Jeg har funnet forskjellige tekster og nettsteder som bruker omtrent den samme formuleringen når jeg diskuterer historien om "er definert som "i matematikk. Dette sier for eksempel at
$: = $ (lik per definisjonstegn) betyr "er lik per definisjon til". Dette er en vanlig alternativ form av symbolet “$ = _ {\ text {Def}} $”, som vises i boken Logica Matematica fra 1894 av logikeren Cesare Burali-Forti (1861–1931). Andre vanlige alternative former for symbolet "$ = _ {\ text {Def}} $" inkluderer "[a]" og "$ \ equiv $", sistnevnte er spesielt vanlig i anvendt matematikk.
Her er [a] en stand-in for et symbol som ikke gjengis ordentlig. På side 7 i en versjon av boka ser jeg en uttalelse som ser ut til å ende med $$ = 1: =: D (xy, z) = 1 $$ som inkluderer $: =: $ , en mulig variant av symbolet.
På side 26 skriver han imidlertid et uttrykk som inkluderer $$ a = b: = _ {\ text {Def}} $$ Imidlertid tror jeg at det er mer sannsynlig at det bare er en bruk av $: $ med $ = _ {\ text {Def}} $, som han introduserte lenger opp på siden.
Jeg tror det er sannsynlig at Burali -Forti bruker symbolet et sted inne, men jeg er ikke sikker. I alle fall virker det sannsynlig at "$ = $", eller en variant derav, ble brukt før 1958.