Гедель - Австрийский и американскийлогик и математик (1906-1978) 6 букв
Куайн - Американский философ, логик и математик. (фамилия) 5 букв
Льюис - Американский философ- основоположник современной модальной логики 5 букв
Нейман - Венгро-американский математик еврейского происхождения, сделавший важный вклад в квантовую физику, квантовую логику, функциональный анализ, теорию множеств, информатику, экономику и другие отрасли науки. (фамилия) 6 букв
Пирс - Американский философ, логик, математик, основоположник прагматизма и семиотики. (фамилия) 4 буквы
Карнап - Немецко-американский философ и логик, ведущий представитель логического позитивизма и философии науки. (фамилия) 6 букв
Карнап - Немецко-американский философ и логик (аналитич. философия) 6 букв
Чёрч - Выдающийся американский математик и логик, внесший значительный вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и кандидатскую в 1927 под руководством Освальда Веблена. Чёрч стал профессором математики в Принстоне в 1929 году. (фамилия) 4 буквы