Другим теоретическим достижением Джона Маккарти являлся метод ограничений для немонотонных рассуждений. Немонотонность значительно расширила возможности выражения универсальных знаний о результатах событий в ситуационном исчислении. Она также дала метод решения проблемы фрейма, которая, по мнению Маккарти, была еще одним препятствием для достижения общности.

В 1971 году Джон Маккарти был награжден премией Тьюринга за достижения в области искусственного интеллекта. Ныне он профессор информатики, профессор кафедры им. Шарля М. Пижо Инженерной школы Стэнфордского университета. Маккарти работает над новым языком программирования Elephant. Этот язык предназначен для программ, взаимодействующих с людьми или с программами, принадлежащими другим организациям. В настоящие время наиболее важный из его проектов заключается в формализации контекста и его приложений к искусственному интеллекту. Маккарти по праву можно назвать генератором идей, которые помогают приблизить компьютеры к более высокому уровню интеллекта. Только время покажет, верно ли его утверждение о возможности создания компьютера, более умного, чем человеческий мозг.

Джон Кемени

Действительно, история создания BASIC связана с поисками путей решения проблемы, как обучать студентов доступному пониманию техники программирования, как научить их простому общению с компьютером.

Двое профессоров Дартмутского колледжа Джон Кемени и Томас Курц занялись этой проблемой в конце 50-х годов XX века. Прежде всего, они поняли, что необходим такой компьютер, который бы был легок в изучении и использовании и не требовал больших усилий со стороны студентов.

Причем было ясно, что студенты не захотят работать с перфокартами, поэтому для общения с компьютером необходимы режим разделения времени и диалоговый режим работы с машиной.

Кроме того, решению указанной проблемы содействовала необходимость разработки нового языка программирования, который можно было легко изучать и которым легко было бы пользоваться. Применение языка ассемблера или таких языков, как ALGOL или FORTRAN, было вне обсуждения, исходя из предшествующего опыта преподавания.

Джон Кемени и Томас Курц успешно решили перечисленные проблемы и создали самый популярный язык программирования XX века.

Джон Джордж Кемени родился 31 мая 1926 года.

Томас Курц

В 1938 году после захвата Австрии Гитлером его отец уехал их Венгрии в США, а в начале 1940 года туда же перебралась вся его семья — жена, дочь и сын Джон. Они поселились в Нью- Йорке. Джон поступил в Высшую школу имени Джорджа Вашингтона и закончил ее лучшим в классе за три года. Кемени позднее рассказывал про свой школьный опыт с тестом на вербальные способности: "У меня не было словаря, и я мог понимать только несколько слов в каждом вопросе, но это был тест с вариантами ответов, и я понимал достаточно, чтобы найти правильный. Я "взломал" код и получил одну из самых высших оценок в Нью-Йорке".

В 1943 году он поступил в Принстонский университет, чтобы изучать математику. Он получил американское гражданство и в 1945 году, когда ему исполнилось 18 лет, был призван в армию.

Армия направила его в Лос-Аламосскую лабораторию Манхэттенского проекта, где он был назначен ассистентом по теоретической части. Вычислительный центр проекта использовал машины IBM, работавшие с перфокартами 24 часа в сутки, 6 дней в неделю. После того как была установлена первая дартмутская система разделения времени, Кемени говорил про работу в Лос-Аламосе: "Понадобилось две недели, чтобы получить численное решение дифференцированного уравнения. Я сказал бы, что работа, которую мы делали — двадцать человек целый год — могла бы быть сделана одним второкурсником Дартмута за один день… И пока он делал бы это, 250 человек могли бы пользоваться этим же компьютером".

В 1946 он вернулся в Принстон, где в 1947 году получил степень бакалавра искусств "summa cum laude". Во время подготовки своей диссертации Кемени целый год работал ассистентом у Альберта Эйнштейна в Институте перспективных исследований. Большую часть своего времени он проводил, изучая работы Эйнштейна по общей теории поля.

Кемени защитил докторскую диссертацию по математике в Принстоне в 1949 году, когда ему было 23 года. Затем он два года преподавал математику в Принстоне, а следующие два — философию. В 27 лет, в 1953 году, он в должности профессора поступил на факультет в Дартмутском колледже, чтобы преподавать математику и философию. Два года спустя, в 1956 году, он был назначен директором отделения математики.

В этом же году Томас Э. Курц, другой молодой доктор математики и философии из Принстона, приехал в Дартмут уже с опытом работы с компьютерами, полученным в результате летней работы в UCLA.

Томас Курц родился 22 февраля 1928 года в штате Иллинойс. В 1950 году закончил Кнокс Колледж в Гамбурге, штат Иллинойс, где отдавал предпочтение математике. Восхищаясь Кемени, он приехал учиться в Принстон, где закончил свою докторскую диссертацию по статистике, получив степень в 1956 году. Основной проблемой его изучения было сравнение кратных чисел в математической статистике.

Кемени и Курц хотели найти способ научить большое число дартмутских студентов нетехнического профиля работе с компьютерами — не обучать специалистов по информатике, а убедить студентов общего профиля в преимуществе компьютеров и программирования. У них была революционная идея создания таких компьютеров, которые могли бы быть полезны студентам как книги. Сначала они заставили Дартмут издать приказ, по которому все студенты — как изучающие точные науки, так и не изучающие — должны были изучать основы вычислительной техники.

Две вещи были необходимы для осуществления их мечты: более легкий доступ к компьютеру, чем пакетная обработка, и простой язык программирования. С наступлением 1956 года Кемени и Курц создали язык "DARtmouth SIMplified Code", но он оказался хуже, чем FORTRAN. В 1962 году Кемени и его аспирант написали предшественник BASIC, "Dartmouth Oversimplified Programming Experiment", другой не вышедший в свет язык.

В 1959 году Дартмут приобрел компьютер Royal МсВее LGP-30. Курц говорил о нем: "Большой, как холодильник, он имел только 16 000 байт памяти и мог выполнять только 60 операций в секунду. Но это был наш первый компьютер, и мы считали, что это великолепно! Джон и я вместе с нашими женами поехали в Бостон и привезли его в Дармут в вагоне поезда". С этим компьютером они работали по своему плану с несколькими студентами, пробовали языки, пробовали инструментальные подходы, искали идеи. Джон Маккарти из MIT развил основную концепцию режима разделения времени на большой машине IBM. Дармут не был в состоянии позволить себе такое, но в начале 1963 года с помощью премии Национального Научного фонда и скидок продавца Дартмут смог приобрести компьютеры DATANET-30 и GE 225, оба с аппаратным обеспечением для поддержки разделения времени и многими терминалами ввода-вывода. Кемени написал компилятор для черновой версии BASIC к следующей весне. В это же время два студента писали операционную систему.