| Emil Post, American mathematician and logician. | Лотфи Заде - американский математик и логик. |
| Victor Ivanovich Shestakov (1907-1987) was a Russian/Soviet logician and theoretician of electrical engineering. | Шестаков, Виктор Иванович (1907-1987) - советский логик и теоретик-электротехник. |
| Robert Anthony Kowalski (born 15 May 1941) is a logician and computer scientist, who has spent most of his career in the United Kingdom. | Ковальский, Роберт Энтони (род. 1941) - американский логик и учёный, который провел большую часть своей карьеры в Соединенном Королевстве. |
| Alan Turing (1912-1954) was a British mathematician, logician, cryptanalyst and computer scientist. | Алан Тьюринг (1912-1954), английский математик, логик, криптограф, пионер компьютеризации. |
| The logician Torkel Franzén criticized Chaitin's interpretation of Gödel's incompleteness theorem and the alleged explanation for it that Chaitin's work represents. | Логик Torkel Franzén критикует интерпретацию Хайтином теоремы Гёделя о неполноте и сомнительное объяснение, данное ей Хайтином в его работах. |