10 Декабря названо Днем программиста в честь родившейся также в этот день первой представительницы этой не слишком древней профессии.

Августа Ада Лавлейс родилась 10 декабря 1815 года. Она была единственной дочерью великого английского поэта Джорджа Гордона Байрона (1788 — 1824) и Аннабеллы Байрон, урождённой Милбэнк (1792 — 1860). «Она незаурядная женщина, поэтесса, математик, философ», — писал Байрон о своей будущей жене в 1813 году. Родители ее расстались, когда девочке было два месяца, и больше своего отца она не видела.

Ада унаследовала у матери любовь к математике и многие черты отца, в том числе, близкий по эмоциональному складу характер.

Байрон посвятил дочери несколько трогательных строк в «Паломничестве Чайльд Гарольда», но при этом в письме к своей кузине заранее беспокоился: «Надеюсь, что Бог наградит ее чем угодно, но только не поэтическим даром…

Ада получила прекрасное воспитание. Важное место в нём занимало изучение математики – в немалой степени под влиянием матери. Её учителем был известный английский математик и логик Август де Морган. К 1834 году относится ее первое знакомство с выдающимся математиком и изобретателем Чарльзом Бэбиджем, создателем первой цифровой вычислительной машины с программным управлением, названной им „аналитической“. Бэббидж, который был знаком с леди Байрон, поддерживал увлечение юной Ады математикой. Бэббидж постоянно следил за научными занятиями Ады, он подбирал и посылал ей статьи и книги, в первую очередь по математическим вопросам. Занятия Ады поощряли друзья её семьи – Август де Морган и его жена, супруги Соммервил и другие. Ада посещает публичные лекции Д.Ларднера о машине. Совместно с Соммервилем и другими она впервые посещает Бэббиджа и осматривает его мастерскую. После первого посещения Ада стала часто бывать у Бэббиджа, иногда в сопровождении миссис де Морган. В своих воспоминаниях де Морган так описала один из первых визитов: „Пока часть гостей в изумлении глядела на это удивительное устройство с таким чувством, как говорят, дикари первый раз видят зеркальце или слышат выстрел из ружья, мисс Байрон, совсем ещё юная, смогла понять работу машины и оценила большое достоинство изобретения“

Семейная жизнь Августы Ады сложилась счастливо. В 1835 году Ада Байрон в возрасте девятнадцати лет вышла замуж за 29-летнего лорда Кинга, который впоследствии стал графом Лавлейс. Муж не имел ничего против научных занятий супруги и даже поощрял ее в них. Правда, высоко ценя ее умственные способности, он сокрушался: „Каким отличным генералом ты могла бы стать!“ Супруги Лавлейс вели светский образ жизни, регулярно устраивая приёмы и вечера в своём лондонском доме и загородном имении Окхат-Парк. Замужество Ады не отдалило её от Бэббиджа; их отношения стали ещё более сердечными. В начале знакомства Бэббиджа привлекли математические способности девушки. В дальнейшем Бэббидж нашёл в ней человека, который поддерживал все его смелые начинания. Ада была почти ровесницей его рано умершей дочери. Всё это привело к тёплому и искреннему отношению к Аде на долгие годы.

Ада была маленького роста, и Бэббидж, упоминая о ней, часто называл её феей. Однажды редактор журнала „Examinator“ описал её следующим образом: „Она была удивительна, и её гений (а она обладала гениальностью) был не поэтический, а математический и метафизический, её ум находился в постоянном движении, который соединился с большой требовательностью. Наряду с такими мужскими качествами, как твёрдость и решительность, леди Лавлейс присущи были деликатность и утонченность наиболее изысканного характера. Её манеры, вкусы, образование… были женскими в хорошем смысле этого слова, и поверхностный наблюдатель никогда не смог бы предположить силу и знание, которые лежали скрытыми под женской привлекательностью. Насколько она питала неприязнь к легкомыслию и банальностям, настолько она любила наслаждаться настоящим интеллектуальным обществом.

У супругов Лавлейс в 1836 году родился сын, в 1838 – дочь и в 1839 – сын. Естественно, что это оторвало Аду на время от занятий математикой. Но вскоре после рождения третьего ребёнка она обращается к Бэббиджу с просьбой подыскать ей преподавателя математики. При этом она пишет, что имеет силы дойти так далеко в достижении своих целей, как она этого пожелает. Бэббидж в письме от 29 ноября 1839 года отвечает Лавлейс: “Я думаю, что Ваши математические способности настолько очевидны, что не нуждаются в проверке. Я навёл справки, но найти в настоящее время человека, которого я мог бы рекомендовать Вам как преподавателя, мне не удалось. Я продолжу поиски»

С начала 1841 года Лавлейс серьёзно занялась изучением машин Бэббиджа. В одном из писем к Бэббиджу Ада пишет: «Вы должны сообщить мне основные сведения, касающиеся Вашей машины. У меня есть основательная причина желать этого». В письме от 12 января 1841 года она излагает свои планы: "…Некоторое время в будущем (может быть в течение 3-х или 4-х, а возможно, даже многих лет) моя голова может служить Вам для Ваших целей и планов… Именно по этому вопросу я хочу серьёзно поговорить с Вами". Это предложение было с признательностью принято Бэббиджем. С того времени их сотрудничество не прерывалось и дало блестящие результаты.

В октябре 1842 года была опубликована статья Менабреа, и Ада занялась её переводом. План и структуру примечаний они вырабатывали совместно. Закончив очередное примечание, Ада отсылала его Бэббиджу, который редактировал его, делал различные замечания и отсылал. Работа была передана в типографию 6 июля 1843 года.

Центральным моментом работы Лавлейс было составление программы (чисел) вычисления чисел Бернулли. В комментариях Лавлейс были приведены три первые в мире вычислительные программы, составленные ею для машины Бэббиджа. Самая простая из них и наиболее подробно описанная — программа решения системы двух линейных алгебраических уравнений с двумя неизвестными. При разборе этой программы было впервые введено понятие рабочих ячеек (рабочих переменных) и использована идея последовательного изменения их содержания. От этой идеи остается один шаг до оператора присвоения — одной из основополагающих операций всех языков программирования, включая машинные. Вторая программа была составлена для вычисления значений тригонометрической функции с многократным повторением заданной последовательности вычислительных операций; для этой процедуры Лавлейс ввела понятие цикла — одной из фундаментальных конструкций структурного программирования. В третьей программе, предназначенной для вычисления чисел Бернулли, были уже использованы рекуррентные вложенные циклы. В своих комментариях Лавлейс высказала также великолепную догадку о том, что вычислительные операции могут выполняться не только с числами, но и с другими объектами, без чего вычислительные машины так бы и остались всего лишь мощными быстродействующими калькуляторами.

С 1844 года, Ада Лавлейс всё больше увлекается игрой на скачках, тем более, что сама прекрасно ездила и любила лошадей. На скачках играли и Бэббидж и Вильям Лавлейс, причём Бэббидж интересовавшийся прикладными вопросами теории вероятностей, рассматривал с этих позиций и игру на скачках и искал оптимальную систему игры. Однако и Бэббидж, и муж Ады сравнительно скоро отказались от участия в игре. Но Ада, азартная и упрямая, продолжала играть. Более того, леди Ада сблизилась с неким Джоном Кроссом, который шантажировал ее. Она израсходовала почти все принадлежащие ей средства и к 1848 году сделала большие долги. Потом её матери пришлось погасить эти долги, а заодно и выкупить компрометирующие письма у Джона Кросса. В начале 50-ых годов появлялись первые признаки болезни, унесшей жизнь Ады Лавлейс. В ноябре 1850 года пишет Бэббиджу: «Здоровье моё … настолько плохо, что я хочу принять Ваше предложение и показаться по приезде в Лондон Вашим медицинским друзьям». Несмотря на принимаемые меры, болезнь прогрессировала и сопровождалась тяжёлыми мучениями. 27 ноября 1852 года Ада Лавлейс скончалась, не достигнув 37 лет. Вместе с выдающимся интеллектом отец передал ей и эту страшную наследственность — раннюю смерть — поэт умер в таком же возрасте… Она была погребена рядом с отцом в фамильном склепе Байронов.

Успехи давались ей с большим напряжением и не без ущерба для здоровья. Немногое удалось сделать за свою короткую жизнь Августе Аде Лавлейс. Но то немногое, что вышло из-под ее пера, вписало ее имя в историю вычислительной математики и вычислительной техники как первой программистки. В память об Аде Лавлейс назван разработанный в 1980 году язык АДА – один из универсальных языков программирования. Этот язык был широко распространён в США, и Министерство Обороны США даже утвердило название “Ада”, как имя единого языка программирования для американских вооруженных сил, а в дальнейшем и для всего НАТО.

Так же в честь Ады Лавлейс названы в Америке также два небольших города — в штатах Алабама и Оклахома. В Оклахоме существует и колледж ее имени. 14.ПАФНУТІЙ ЛЬВОВИЧ ЧЕБИШОВ

(1821—1894 pp.)

Видатний російський учений-математик П. Л. Чебишов був сином поміщика. Батько його за молодих років брав участь у Вітчизняній війні 1812—1814 pp., після закінчення якої вийшов у відставку й оселився в своєму маєтку — селі Окатово Богородського повіту Калузької губернії. Там 16 травня 1821 р. і народився син Пафнутій.

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

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

У 1832 р. сім'я Чебишових переїхала до Москви. Тут батько найняв для синів найкращих учителів, які приходили до них на квартиру готувати дітей до вступу в університет. Учитель математики П. М. Погорельський відразу помітив здібності Паші до фізики, математики і радив йому вступати на математичний факультет.

Студентом Московського університету П. Л. Чебишов став у 1837 р. Професор математики М. Д. Брашман, помітивши здібності юнака до математики, почав з ним додатково працювати. Вже через рік, переходячи на другий курс університету, Чебишов, за порадою професора Брашмана, підготував дослідження «Про числове розв'язування рівнянь вищих степенів». За цю роботу його нагородили срібною медаллю.

З року в рік Чебишов складав усі заліки й екзамени тільки на відмінно, нерідко дивуючи своїх учителів власними способами математичних доведень та досліджень, які відзначалися оригінальністю, простотою і винахідливістю.

Коли Чебишов учився на останньому курсі, його батько через нестатки знову переїхав у село разом з дружиною і меншими дітьми. Пафнутій Львович залишався в Москві з двома молодшими брата-ми-студентами. Від батька вони не одержували майже ніякої допомоги. П. Л. Чебишов почав давати уроки з математики та фізики гімназистам і студентам.

У 1841 р. Чебишов закінчив університет з відзнакою. Його залишили там для підготовки на звання професора. Стипендія була невелика, але він намагався допомагати не тільки молодшим братам-студентам, а й батькові. За браком часу йому довелося залишити приватні уроки.

У 1846 р. він блискуче захистив при Московському університеті дисертацію, присвячену теорії ймовірностей, і через рік зайняв посаду ад'юнкта в Петербурзькому університеті. У 1847 р. Чебишов захисти» дисертацію на тему «Інтегрування за допомогою логарифмів», а через два роки опублікував «Теорію порівнянь», за яку йому було присуджено Демидівську премію та ступінь доктора математики і астрономії. Ця дисертація протягом п'ятдесяти років була єдиним посібником для студентів з теорії чисел.

У теорії чисел Чебишов займався питанням про розподіл простих чисел у натуральному ряді. Не одне століття математики намагалися відкрити закон, за яким прості числа розподіляються в натуральному ряді чисел. Евклід довів, що кількість простих чисел безмежна. Інший математик стародавньої Греції — Ератосфен показав, як практично знаходити в натуральному ряді прості числа (решето Ератосфена). За допомогою решета Ератосфена можна знайти як завгодно багато простих чисел. Розглядаючи послідовність простих чисел, легко пересвідчитися, що в натуральному ряді вони розміщуються дуже нерівномірно. Вивчаючи послідовність простих чисел, видатний французький математик Лежандр експериментальне підібрав формулу, за якою можна було встановити, скільки приблизно простих чисел міститься у проміжку від 2 до будь-якого досить великого числа натурального ряду. П. Л. Чебишов довів, що наближена формула Лежандра не дає істинної картини розподілу простих чисел, а незабаром вивів формулу, яка давала так зване асимптотичне наближення до числа простих чисел. Тоді ж він довів висловлене французьким математиком Бертраном припущення, що між п і 2п (де п 4) міститься принаймні одне просте число. Уточнене Пафнутієм Львовичем твердження, яке дістало назву теореми Чебишова, було сформульоване так: Якщо 2п>7, де п - натуральне число, то-між п і 2п—2 лежить принаймні одне просте число. Винайдені Чебишовим способи теоретичного доведення цих питань вразили всіх математиків світу і поставили тридцятирічного вченого поряд з найвидатнішими представниками цієї науки. 15.Вильгодт Теофил Однер (1845 – 1905гг.)

Лучшая в мире конструкция арифмометра - механического прибора для выполнения четырех арифметических действий - была создана в России.Сегодня, когда мы покупаем персональные компьютеры в основном производства американских,японских и других фирм, господствующих на мировом рынке, стоит вспомнить о том, что вплоть до 70-х годов ХХ века наиболее массовой персональной вычислительной машиной был арифмометр Однера, созданный в конце XIX века в России.

Вильгодт Теофил Однер родился 10 августа 1845 года в Швеции, в небольшом населенном пункте Делби. Отец его был государственным служащим, дядя – профессором Лундского университета, видным историком.В 1866 г. Однер окончил Стокгольмский технологический институт. В 1869 г.он приехал в Петербург, где остался жить и работать до конца своей жизни. В Петербурге он прежде всего обратился к своему соотечественнику Эммануэлю Нобелю, который в 1862 г. основал на Выборгской стороне механический завод (ныне «Русский дизель»), производивший газовые и керосиновые двигатели.На этом заводе в 1874 г. и был изготовлен первый образец арифмометра Однера.

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

В чем же состояло изобретение Однера? Идея заключалась в замене ступенчатых валиков Лейбница (основного элемента арифмометра Томаса) более совершенной и компактной деталью – зубчатым колесом с переменным числом зубцов. Конструкция такого типа описана в неопубликованной рукописи Г.В. Лейбница, однако неизвестно, – пытался ли он реализовать эту конструкцию на практике. В XVIII – XIX вв. было построено несколько арифмометров, использующих эту идею в различных модификациях.В основе конструкции, вошедшей в историю вычислительной техники под названием «колесо Однера», лежит следующий принцип. На один вал насажены и соприкасаются друг с другом вращающийся диск со ступенчатой (двухрадиусной) прорезью и неподвижный диск, несущий в пазах радиальные выдвигающиеся зубцы, бородки которых входят в ступенчатую прорезь. Если вращать подвижный диск, то по мере того как бородки будут проходить ступеньку (скос) в прорези, зубцы будут выдвигаться за край колеса.Вращение диска осуществляется нажатием на рычажок, выступающий наружу из отверстия в корпусе арифмометра. Таким образом на колесе Однера устанавливается любая цифра – от 0 (когда не один зубец не выдвинут) до 9. Простота механизма замечательна.Размеры колеса Однера, а следовательно и всего арифмометра, зависят от возможной точности механической обработки деталей. Такова была идея Однера, Хотя от её первой реализации (1873г.) до создания более совершенного и удобного в работе варианта прошло несколько лет.

В 1875 г. Однер начал сотрудничать с фирмой «Кенигсберг и К°», с тем чтобы выпускать арифмометр. Однако производство не было налажено – фирма заказала заводу Нобеля несколько экземпляров. Один из этих арифмометров сохранился и находится в политехническом музее в Москве.

В 1878 г.Однер поступил в Петербургскую экспедицию заготовления Государственных бумаг (на фабрику, где печатали деньги). Числясь мастером, он выполнял инженерную работу. В этот период он изобрел машину для автоматической нумерации бумажных денег (ранее эта работа выполнялась вручную). В 1881 г. во главе с Однером был образован специальный отдел по печатанию кредитных билетов.

Работая в экспедиции, Однер продолжал совершенствовать конструкцию своей счетной машины. Он понимал, что для организации производства арифмометров нужны деньги. В эти годы в России наблюдался табачный бум, стремительно рос спрос на папиросы, на улицах Петербурга разрешили курить. Возросла потребность в машинах для изготовления папирос. Однер сконструировал новую модель такой машины, что дало ему некоторые средства, а вместе с тем и возможность открыть в 1885 г. механическую мастерскую самых скромных размеров – «при одном токарном ножном станке». Открыв мастерскую, он ушел из экспедиции. Тем не менее для развертывания предпринимательской деятельности средств было мало. И в 1886 г. Однер нашел себе компаньона – английского подданного Ф.Н. Гиля. Мастерская вырастает в небольшой завод, который изготовляет полиграфические машины, машины для производства папирос, разные приборы, а с 1886 года начинает выпускать арифмометры марки «Однер». В 1889 г. завод расширяется. Выпуск арифмометров заводом был неправомерен, так как ранее все права на это были переданы фирме «Кенигсберг и К°». В 1890 г. в результате длительных переговоров с этой фирмой Однер получил права на изготовление арифмометров, а затем Департамент торговли и мануфактуры предоставил ему патент на их производство в течении 10 лет.

Однер все время работал над усовершенствованием арифмометра. Поэтому вариант 1890 г. выпуска заметно отличается от арифмометра 70-х годов: введены промежуточные колеса, вращение ручки при выполнении действий производится в привычном направлении (от себя), все результаты считываются в специальных окнах считки, колеса Однера стали еще более тонкими. Однако основная деталь – колесо с переменным числом зубцов – не претерпела принципиальных изменений. В 1890 г. было продано 500 арифмометров. Это очень много по тем временам. В последующие пять лет в России было продано около 4000, за границу – 1000 арифмометров.В 1897 г. Однер стал единоличным хозяином предприятия и назвал его «Механический и меднолитейный завод».

В 1891 г. Однер получил патент на свой улучшенный арифмометр в Германии и открыл филиал завода в Берлине. Однако управлять им из Петербурга было сложно, и в 1892 г. Однер продал право на изготовление арифмометров немецкой фирме «Гримм, Наталис и К°» в Брауншвейге. В 1893 г. фирма активно развернула их производство и до 1912 г. выпустила более 20 тыс. арифмометров марки «Брунсвига». Фирму в это время возглавлял инженер Тринкс, который внес ряд усовершенствований в конструкцию. Во Франции арифмометры Однера выпускались под названием «Рапид».

Для сравнения арифмометров разных марок укажем их цены: «Брунсвига» стоил 300 марок (при курсе 100 рублей = 200 немецких марок), «Однер» 11- разрядный с 6-разрядным счетчиком оборотов – 75 руб., 13-разрядный с 8-разрядным счетчиком оборотов 100 руб., 15-разрядный с 10-разрядным счетчиком оборотов 125 руб.

В 1893 г. в Чикаго в честь 400-летия открытия Америки Колумбом была организована грандиозная Всемирная выставка. В разделе "Торговля, промышленность и банковское дело" Однер представил свой арифмометр, который был удостоен высшего приза выставки. В 1896 г. на выставке в Нижнем Новгороде арифмометр получил серебряную награду, в том же году на выставке в Брюсселе – золотую медаль. В 1897 г. - награда в Стокгольме. В 1900 г. проходила Всемирная вставка в Париже, где Однер получил золотую медаль.

В.Т. Однер скончался 2 сентября 1905 г. от сердечной болезни. Этот человек изобрел и довел до совершенства арифмометр, который сделал имя скромного труженика популярным не только в Европе, но и в Америке. После смерти Однера его родственники основали фирму "Наследники Однера" и продолжили производство арифмометров. Всего в России до 1917 г. было выпущено примерно 23 тыс. арифмометров Однера. После семилетнего перерыва, связанного с революцией и гражданской войной, производство счетных машин было налажено на Сущевском механическом заводе им. Ф.Э. Дзержинского в Москве. Первые арифмометры были выпущены в 1925 г. под маркой "Оригинал-Однер)". С 1931 г. завод выпускал их под маркой "Феликс". (Именем Дзержинского были названы также марка фотоаппарата (ФЭД), паровоза (ФД) и др. Как известно, в переводе с латинского «феликс» означает «счастливый».

К 1914 году в одной только России насчитывалось более 22 тысяч арифмометров Однера. Большими сериями они выпускались и за рубежом. В первой четверти XX века арифмометры Однера являлись единственными широко применявшимися математическими машинами. Вообще же колеса Однера использовались и в других счетных машинах, имеющие существенные конструктивные отличия от арифмометра. Только карманные электронные калькуляторы, появившиеся в 70-е годы XX века, во всех отношениях превосходили арифмометры Однера (а также другие "доэлектронные" средства счета) и быстро вытеснили их из употребления. Говоря об этом, не надо забывать, что электронный калькулятор - это прибор, содержащий тысячи транзисторов, выполненных в обьеме одной интегральной схемы (одного кристалла кремния). Техника, позволившая создать карманные электронные калькуляторы - это техника ЭВМ четвертого поколения, т.е. машин на интегральных схемах с высокой степенью интеграции электронных компонентов. Таким образом, только благодаря микроэлектроники удалось превзойти изобретение Вильгодта Однера. 16.Олексій Миколайович Крилов (1863 ... 1945) був видатним математиком і механіком, інженером і винахідником, чудовим педагогом і популяризатором наукових знань. Його праці присвячені в основному кораблебудування і теорії корабля: поведінки судна при хвилюванні, його вібрації, непотоплюваності і т.д. У математиці вченого цікавили наближені обчислення та застосування диференціальних рівнянь для розв'язання різних практичних завдань. У поданні О.М. Крилова до звання члена-кореспондента Академії наук, підписаному групою академіків, вказувалося: «У всіх цих різноманітних галузях знання він є однаково компетентним і оригінальним, вносячи по своїй простоті, ясності і строгості викладу завжди багато нового і важливого. За характером своїм праці О.М. Крилова найближче підходять до математичної фізики, причому він є в них далеко не одностороннім теоретиком, а людиною, що шукає цілком науково обгрунтованого застосування фізико-математичних знань до вирішення цілого ряду питань, які висуває сучасною технікою, зокрема ж, завдань військового суднобудування і військово- морської справи взагалі. О.М. Крилов є, крім того, автором цілого ряду спеціальних, надзвичайно дотепних, але секретних приладів, що мають величезне значення в бойовій обстановці при управлінні кораблем і артилерійським вогнем ».

Виступи О.М. Крилова справляли на слухачів сильне враження своєю логікою, аргументованістю, напористістю. Член-кореспондент АН СРСР Т.П. Кранець згадував: «У дошки стоїть високий на зріст, з густою чорною бородою, з хорошою стройовою виправкою, з хорошими командними нотками в голосі чоловік. Він пише - незвичайне для військового справа - цілий ряд шестиразовий інтегралів і виводить з них прості механічні до фізичні слідства, аж до числових результатів. А мені, нещодавно повернувся з японської війни ... так і видається, що О. М. командує усіма цими рівняннями і інтегралами і вони по його команді слухняно самі проробляють всі ті перетворення, які він їм вказує ».

17.Алан Мэтисон Тьюринг родился в Лондоне в 1912 году в семье чиновника индийской гражданской службы Джулиуса Тьюринга и Сары Тьюринг, урожденной Стоней. Шотландская фамилия Тьюринг имеет нормандское происхождение. Англоирландская семья Стоней йоркширского происхож­дения дала обществу нескольких выдающихся физиков и инженеров.

Интерес к науке, и в частности к математике, у Алана Тьюринга проявился рано, еще в начальной школе и в пансионе, в который он поступил в 1926 году. Некоторые характерные черты, присущие зрелому Тьюрингу, были заметны уже тогда. Принимаясь за ту или иную задачу, он начинал ее решение с азов — привычка, которая дает свежесть и независимость его работам, но также, несомненно, делает автора трудно! читаемым.

В 1931 году в девятнадцатилетнем возрасте Тьюринг в качестве математического стипендиата поступил в Королевский колледж Кембриджского университета. Четырьмя годами позже защитил диссертацию “Центральная предельная теорема теории вероятности” (которую он самостоятельно! “переоткрыл”, не зная об аналогичной предшествующей работе) и был избран членом Королевского научного общества.

Именно в 1935 году он впервые начал работать в области математической логике и проводить исследования, которые уже через год привели к выдающимся результатам: решению одной из проблем Д. Гильберта и изобретению умозрительной машины (машины Тьюринга), по своему логическому устройству являющейся прообразом цифровых компьютеров, созданных только спустя десять лет.

Предыстория этого была следующей. В Париже в 1900 году на Международном математическом конгрессе знаменитый математик Давид Гильберт представил список нерешенных проблем. В этом списке второй значилась задача доказательства непротиворечивости системы аксиом обычной арифметики, формулировку которой в дальнейшем Гильберт уточнил как “Entscheidungs problem” (проблема разрешимости). Она заключалась в нахождении общего метода, который позволил бы определить, “выполнимо ли данное высказывание на языке формальной логики, т. е. установить его истинность”.

Алан Тьюринг впервые услышал об этой проблеме на лекциях Макса Ньюмена в Кембридже (он работал там преподавателем математики с 1924 года) и в течение 1936 года получил ответ: проблема Гильберта оказалась неразрешимой. Результаты работы он описал в своей знаменитой статье в 1936—1937 годах. Но “значение статьи, в которой Тьюринг изложил свой результат, — писал Джон Хопкрофт, — простирается за рамки той задачи, по поводу которой статья была написана.

Работая над проблемой Гильберта, Тьюрингу пришлось дать четкое определение самого понятия метода. Отталкиваясь от интуитивного представления о методе как о некоем алгоритме, т. е. процедуре, которая может быть выполнена механически (здесь, по-видимому, Тьюринг воспользовался терминологией М. Ньюмена — “чисто механический процесс”, примененной на лекции, излагающей проблему Гильберта), без творческого вмешательства, он показал, как эту идею можно воплотить в виде подробной модели вычислительного процесса. 18.Сергíй Олекс́ійович Л́ебедєв (* 2 листопада 1902, Нижній Новгород — †3 липня 1974, Москва) — вчений, академік, творець першого в континентальній Європі комп'ютера.

Академік АН УРСР з 1945 року. Керував (1947) розробкою у Києві (у передмісті Феофанія) першої в СРСР і на європейському континенті обчислювальної машини МЕЛМ (малої електронної лічильної (обчислювальної) машини) (1950). 1953 року була створена ВЕЛМ (велика електронна лічильна машина). На її базі пізніше створені всі радянські ЕОМ («Стріла», «Мінськ», «Урал», «Дніпро», «Мир», М-20, М-220…).

Доповідь С. Лєбєдєва 1956 року в Дармштадті про успіхи київських вчених виявила, що українські ЕОМ відповідають рівневі американських і є найбільш швидкодіючими в Європі.