math-15: история аббревиатуры iff -- John Hocking
На этой неделе в местном университете были invited lectures по топологии. Один из слушателей был весьма почтенного возраста старичок. John Gilbert Hocking, 1920 года рождения. Автор книги по топологии. В конце доклада он поведал следующую историю про выражение if and only if (тогда и только тогда), используемое математиками при формулировке теорем. Он рассказал, что когда он был студентом (в конце 1940-х годов), все применяли на доске аббревиатуру iaoi (по первым буквам "if and only if"), но он, Hocking, недавно пришёл из армии, где он служил в авиации, и они использовали радар определения "свой-чужой", который назывался Identification Friend or Foe Radar, или, сокращённо IFF Radar. Ему эта аббревиатура была близка, поэтому он предложил использовать её, как более краткую. И она прижилась тут, в Michigan State University. А когда сюда приехал с визитом Поль Халмош, он пришёл в неописуемый восторг, и сказал, что будет повсюду пропагандировать эту аббревиатуру. Так и поехало.
