Именно в Мэдисоне я встретился с Дж. Эвереттом, который стал моим близким другом и соратником. Мы сразу же нашли общий язык. С молодых лет он уже был эксцентричным и оригинальным, с превосходным чувством необычного, молниеносного и, на его собственный взгляд, едкого юмора. Математике он отдавался самозабвенно, без остатка — она была единственным его интересом. Я обнаружил в нем многое, что напоминало моего польского друга Мазура: такие же шутки и замечания в форме эпиграмм. Имелось и определенное внешнее сходство — оба были очень худыми, с выпирающими костями, ниже среднего роста. И даже их почерк был похожим: оба они писали очень аккуратно и почти микроскопически мелко. Эверетт был на несколько лет моложе меня. Вместе мы работали над сложными задачами, связанными с «порядком» — понятием порядка элементов в группе. Во время наших математических дискуссий я, как всегда, вел себя оптимистично и высказывал общие, порой неясные идеи. Он же, со своей стороны, проявлял строгость и изобретательность в отработке деталей доказательства и окончательных конструкций.
Забавно, но одна наша работа, посвященная упорядоченным группам, похоже, завладела воображением одной женщины, которая была руководителем одной из женских военных организаций, существовавших во время войны. На собрании мы услышали, как она рассказывала о деятельности военных корпусов и называла эти организации «упорядоченными группами».
Позже мы написали еще одну совместную работу по проективным алгебрам. Это была, я думаю, первая попытка алгебраизировать математическую логику, уйдя при этом от так называемых булевых и аристотелевых элементарных операций, чтобы задействовать операции «квантор существования» (there exists) и «квантор всеобщности» (for all), которые одновременно просты и важны в современной математике.
Мы оба преподавали курсы новобранцам военно-морского флота в 1942 и 1943 годах. Чтобы подзаработать, мы также занимались проверкой работ по заказу Армейской заочной школы. Франсуаза помогала мне — ей превосходно удавалась проверка упражнений по элементарной арифметике и алгебре. Заочная школа выплачивала по тридцать пять центов за каждую работу; это были небольшие деньги, но вскоре они начали достигать сумм, сравнимых с университетским заработком. Тогда администрация решила вмешаться и наложить ограничения на количество работ, которое мог проверять один человек. Работой Армейской заочной школы руководила пожилая женщина, член математического факультета, а контроль осуществлял профессор Герберт Эванс, очень приятный, общительный человек, с которым у меня завязались дружеские отношения. Он был одним из самых благодушных людей, каких я только знал.