Название говорит само за себя, но мне любопытно, потому что не очевидно, как доказатель теорем получил название «Изабель». Это было названо в честь человека? Я не мог узнать по некоторым поискам...
Я читаю газету Тьюринга «Вычислительная техника и интеллект» ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) и нашел фрагмент, в котором он говорит: Я установил на компьютере Манчестера небольшую программу, использующую только 1000 единиц хранения, в результате чего машина, снабженная...
Я слышал несколько возможных объяснений, поэтому я хотел бы получить надежную ссылку. Обновление 05.19: Меня интересует этот вопрос, потому что один из моих студентов написал в своей диссертации, что название происходит от объяснения ниже (1). До сих пор я думал / слышал, что это происходит из...