Асбоби исботкунандаи теоремаи Coq тағир додани номи худро баррасӣ мекунад. Сабаб: Ба англофонҳо вожаҳои "coq" ва "cock" (жаргон барои узви ҷинсии мард) ба ҳам монанданд ва бархе аз корбарони зан ҳангоми истифодаи ин ном дар забони гуфтугӯӣ ба шӯхиҳои дуҷониба дучор шудаанд. Номи худи забони Coq аз номи яке аз таҳиягарон Тьерри Коканд бармеояд. Шабакаи садои Кок ва Хурӯс (хурӯси англисӣ) аллакай дар лоиҳа садо дода шудааст: забоне, ки барои тавсифи сохторҳо истифода мешавад, Галлина (мурғи лотинӣ) номида мешавад.
Манбаъ: opennet.ru