Курт гедель вклад в информатику реферат

Обновлено: 05.07.2024

Курт Гёдель – крупнейший специалист по математической логике – родился 28 апреля 1906 г. В Брюнне (ныне г. Брно, Чехия). Окончил Венский университет, где защитил докторскую диссертацию, был доцентом в 1933–1938 гг. После аншлюса эмигрировал в США. С 1940 по 1963 г. Гёдель работал в Принстонском институте высших исследований. Гёдель – почетный доктор Йельского и Гарвардского университетов, член Национальной академии наук США и Американского философского общества.

Теорема Гёделя о неполноте

Однако в момент опубликования ни название гёделевской работы. Ни содержание ее ничего не говорили большинству математиков. Упомянутые в ее названии Principia Mathematica – это монументальных трехтомный трактат Альфреда Норта Уайтхеда и Бертрана Рассела, посвященный математической логике и основаниям математики; знакомство с трактатом отнюдь не являлось необходимым условием для успешной работы в большей части разделов математики. Интерес к разбираемым в работе Гёделя вопросам всегда был уделом весьма немногочисленной группы учёных. В то же время рассуждения, приведенные Гёделем в его доказательствах, были для своего времени столь необычными. Что для полного их понимания требовалось исключительное владение предметом и знакомство с литературой, посвященной этим весьма специфическим проблемам.

Первая теорема о неполноте

Первая теорема Гёделя о неполноте, по всей видимости, является наиболее знаменательным результатом в математической логике. Она звучит следующим образом:

Для произвольной непротиворечивой формальной и вычислимой теории, в которой можно доказать базовые арифметические высказывания, может быть построено истинноеарифметическое высказывание, истинность которого не может быть доказана в рамках теории [1] . Другими словами, любая вполне полезная теория, достаточная для представления арифметики, не может быть одновременно непротиворечивой и полной.

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

«Общий вывод о существовании неразрешимых пропозиций заключается в следующем:

Обозначение Flg происходит от нем. Folgerungsmenge – множество последовательностей, Gen происходит от нем. Generalisation – обобщение.

Это пояснение на обычном естественном языке, а потому не совсем математически строго. Для предоставления строгого доказательства, Гёдель пронумеровал высказывания при помощи натуральных чисел. В этом случае теория, описывающая числа, также принадлежит множеству высказываний. Вопросы о доказуемости высказываний представимы в данном случае в виде вопросов о свойствах натуральных чисел, которые должны быть вычислимы, если теория полна. В этих терминах высказывание Гёделя гласит, что не существует числа с некоторым определённым свойством. Число с этим свойством будет являться доказательством противоречивости теории. Если такое число существует, теория противоречива вопреки первоначальному предположению. Так что предполагая, что теория непротиворечива (как предполагается в посылке теоремы), получается, что такого числа не существует, и высказывание Гёделя истинно, но в рамках теории этого доказать невозможно (следовательно, теория неполна). Важное концептуальное замечание состоит в том, что необходимо предположить, что теория непротиворечива, для того чтобы объявить высказывание Гёделя истинным.

Вторая теорема Гёделя о неполноте

Вторая теорема Гёделя о неполноте звучит следующим образом:

Для любой формально рекурсивно перечислимой (то есть эффективно генерируемой) теории T, включая базовые арифметические истинностные высказывания и определённые высказывания о формальной доказуемости, данная теория T включает в себя утверждение о своей непротиворечивости тогда и только тогда, когда теория T противоречива.

Иными словами, непротиворечивость достаточно богатой теории не может быть доказана средствами этой теории. Однако вполне может оказаться, что непротиворечивость одной конкретной теории может быть установлена средствами другой, более мощной формальной теории. Но тогда встаёт вопрос о непротиворечивости этой второй теории, и т.д.

Дискуссии

А вот такое перефразирование второй теоремы является ещё более тревожным для основ математики:

Если невозможно доказать непротиворечивость и полноту системы в рамках неё самой, то эта система противоречива.

Следовательно, для установления факта непротиворечивости некоторой системы S необходимо использовать более мощную систему T, но доказательство в рамках T не может быть полностью законченным, пока не доказана непротиворечивость самой T (причём без использования системы S).

Вначале казалось, что всё-таки теоремы Гёделя оставляют немного надежды, поскольку можно создать общий алгоритм, который решает, является ли заданное утверждение разрешимым или нет. Этот алгоритм позволит математикам обойти все неразрешимые проблемы сразу вместе. Однако, отрицательный ответ на проблемы выбора, полученный в 1936 году, показал, что такого алгоритма не существует.

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

Система аксиом может содержать бесконечное количество аксиом (как, к примеру, арифметика Пеано первого порядка), но для применимости к такой системе теоремы Гёделя. должен быть эффективный алгоритм, который позволяет проверять корректность. Например, можно рассмотреть множество всех высказываний первого порядка, который истинны в стандартной модели натуральных чисел. Эта система полна, но теорема Гёделя неприменима в данном случае, поскольку не существует эффективной процедуры, которая определяет, является ли заданная последовательность аксиомой. Фактически, это так по следствию из первой теоремы Гёделя о неполноте.

Другой пример теории, к которой неприменима первая теорема Гёделя о неполноте, может быть построен следующим образом: необходимо отсортировать все возможные истинные утверждения относительно натуральных чисел сначал по длине строки, а затем лексикографически. Далее система аксиом строится так – вначале берётся система аксиом Пеано, после чего необходимо в списке утверждений выбирать первое по порядку утверждение, которое не может быть доказано. Далее это утверждение вносится в список аксиом новой системы. И так до конца. В конечном итоге этот процесс создаст полную, непротиворечивую и достаточно мощную формальную систему, которая, однако, не будет перечислимой.

Сам Гёдель доказал технически более слабые версии теорем. Первое доказательство теорем в приведённых в статье формулировках впервые было приведено Д.Б. Россером в 1936 году.

По существу, доказательство первой теоремы содержит процесс конструирования утверждения p в рамках формальной системы, которое можно описать на метаязыке следующим образом:

Как видно, это, всего лишь, современный вариант парадокса лжеца, который в отличие от классической формулировки, не совсем парадоксальный.

Если система аксиом непротиворечива, доказательство теоремы Гёделя показывает, что p (и его отрицание) не могут быть доказаны в рамках системы. Следовательно утверждение p истинно (это утверждение о том, что оно само недоказуемо, и оно действительно недоказуемо). Если система аксиом ω-непротиворечива, то отрицание p также не может быть доказано, и таким образом p невычислимо. В системах, которые ω-противоречивы (но непротиворечивы), либо имеется такая же ситуация, либо утверждение ¬p может быть доказано.

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

Список литературы

гедель математический теорема неполнота

1. В.А. Успенский. Теорема Геделя о неполноте. – М.: Наука, 1982.

2. Теорема Геделя / Э. Нагель, Дж.Р. Ньюмен. – М.: Красанд, 2010. – 120 с.

Курт Гедель как крупнейший специалист по математической логике, краткий очерк его жизни и личностного становления, достижения в сфере профессиональной деятельности. История и основные этапы создания теоремы о неполноте, первой и второй, дискуссии вокруг н

Подобные документы

Основные понятия и результаты, связанные с теорией диофантовых уравнений, теорией эллиптических кривых и abc-гипотезой. Метод бесконечного спуска и доказательство теоремы Ферма для n=4. Анализ выводов К. Рибета Великой теоремы Ферма из гипотезы Таниямы.

дипломная работа, добавлен 26.05.2012

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

презентация, добавлен 05.12.2010

Теорема Ферма: содержание, доказательство, геометрический смысл. Теорема Ролля: производная функции, отсутствие непрерывности Отсутствует и дифференцируемости. Доказательство теоремы Лагранжа, общий вид, геометрический смысл, содержание следствия.

презентация, добавлен 21.09.2013

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

презентация, добавлен 11.06.2011

Биография немецкого математика А. Гурвица. Основные положения теоремы Ферма. Обзор систем "чисел", которые можно построить, исходя из действительных чисел, путем добавления рядя "мнимых единиц". Приложение теоремы Гурвица: теоремы Фробениуса и Лагранжа.

курсовая работа, добавлен 25.05.2010

Исследование доказательства теоремы Ферма в общем виде. Показано, что кроме уравнения второй степени уравнения Ферма не содержат других решений в целых числах. Предложено к рассмотрению 4 метода доказательства теоремы при целых x, y.

статья, добавлен 29.08.2004

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

научная работа, добавлен 12.06.2009

Популярность и биография великого математика, тайны теоремы Пифагора "О равенстве квадрата гипотенузы прямоугольного треугольника сумме квадратов катетов", история теоремы. Различные способы доказательств теоремы Пифагора, области ее применения.

презентация, добавлен 28.02.2012

Теорема Ролля и ее доказательство, структура и геометрический смысл. Сущность теоремы о среднем, принадлежащей Лагранжу, использование в ней результатов теоремы Ролля. Отражение и обобщение работы Лагранжа в теореме Коши, методика ее доказательства.

реферат, добавлен 15.08.2009

Биография Менелая Александрийского - древнегреческого астронома и математика. Формулировка и доказательство теоремы Менелая для плоского случая, при переносе центральным проектированием на сферу. Применение теоремы для решения прикладных задач.

Компьютер история начинается в 1623 году, когда Wilhelm Schickard построен человечества, первый автоматический калькулятор.

Schickard игровая машина может выполнять базовые арифметические операции над целочисленными входы. Его письма Кеплер, открывший законы движения планет, объяснить применение его "расчет часов" для расчета астрономических таблиц.

Non - programmable Schickard машина была основана на традиционной десятичной системе счисления. Лейбниц впоследствии обнаружил более удобный двоичной системе (1679 г.), важным элементом первой в мире рабочей программы - контролируемым компьютером, из-за Zuse

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

Современные физики, математики, инженерии, было бы немыслимо без бывших: фундаментальный метод работы с бесконечно малыми числами. Лейбниц был первым, чтобы издать его. Он разработал его вокруг 1673. В 1679 году он усовершенствовал нотацию для интеграции и дифференциации, которые все еще используют сегодня.

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

Во время Второй мировой войны Тьюринг помог (с Welchman) расшифровать нацистской код. Некоторые источники говорят, что эта работа была решающей для победы над третьим Рейхом.

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

В 1931 году, всего через несколько лет после Юлиус Лилиенфельд запатентовал транзистор Курт Гедель (или " Goedel", а не " Godel') заложил основы теоретической информатики с его работы на универсальных формальных языков и лимиты на доказательство и вычисление. Он построен формальных систем, позволяющих самореферентную заявления, которые говорят о себе, в частности, о том, могут ли они быть получены из enumerable заданного набора аксиом с помощью вычислительной процедуры доказательства теорем. Гедель пошли дальше построить отчетности, которые утверждают, что их собственные unprovability, чтобы продемонстрировать, что традиционная математика либо недостатки в определенной алгоритмической смысле или содержит недоказуемые, но истинные утверждения.

Неполноты Геделя результате широко рассматривается как наиболее замечательным достижением 20-го века математики, хотя некоторые математики говорят, что это логика, а не математика, и другие называют это фундаментальный результат теоретической информатики (переформулировать церкви & Post & Тьюринга вокруг 1936), дисциплина, которая еще не официально существование еще тогда, но был фактически создан через Геделя работы. Он имел огромное влияние не только на информатике, но и по философии и других областях.

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

Немецкий инженер, пионер компьютеростроения. Наиболее известен как создатель первого действительно работающего программируемого компьютера (1941) и первого языка программирования высокого уровня (1945).

1935-1938: Konrad Zuse строит Z1, первый в мире программно-управляемый компьютер. Несмотря на ряд проблем машиностроения нем были все основные составляющие современных станках, с использованием двоичной системы счисления и сегодня стандартное разделение хранения и управления. Цузе в 1936 году заявки на патент (Z23139/GMD Nr. 005/021), также свидетельствует о фон Нейман архитектура (повторно изобретена в 1945 году) с программы и данные, изменяемые в процессе хранения.

1945: Zuse описывает Plankalkuel, первый в мире программирования высокого уровня язык, содержащий в себе множество стандартных функций современных языков программирования. FORTRAN пришел почти десять лет спустя. Цузе также используется Plankalkuel к проектированию первой в мире шахматной программы.

1946: Zuse основывает первый в мире запуск компьютера компании: Zuse-Ingenieurbüro Хопферау. Венчурного капитала, привлеченного через ETH Zürich и IBM-вариант на Цузе патенты.

Кроме вычислительных машин общего назначения, Цузе построил несколько специализированных вычислителей. Так, вычислители S1 и S2 использовались для определения точных размеров деталей в авиационной технике. Машина S2, помимо вычислителя, включала ещё и измерительные устройства для выполнения обмеров самолетов. Компьютер L1, так и оставшийся в виде экспериментального образца, предназначался Цузе для решения логических проблем.

Математик, профессор Дартмутского колледжа (США). Вместе с Томасом Курцем разработал язык программирования ВАSIС и сетевую систему пользования несколькими компьютерами одновременно ("time sharing"). Вместе с родителями эмигрировал в США из Венгрии в 1940 году. Окончил Принстонский университет, где изучал математику и философию. В 1949 году защитил диссертацию, а в 1953 году был приглашен в Дартмут. Будучи деканом Математического факультета Дартмутского колледжа с 1955 по 1967 год и даже находясь на посту президента колледжа (1970-1981), не оставлял преподавательской деятельности. Явился одним из пионеров преподавания основ программирования: считал, что этот предмет должен быть доступен всем студентам, вне зависимости от их специализации.

Выдающийся специалист в области теоретического программирования, автор ряда книг, в том числе классической монографии "Дисциплина программирования". Вся его научная деятельность была посвящена разработке методов создания "правильных" программ, корректность которых может быть доказана формальными методами. Будучи одним из авторов концепции структурного программирования , Дийкстра проповедовал отказ от использования инструкции GOTO. В 1972 году его научные заслуги были отмечены премией Тьюринга. При вручении премии один из выступающих так охарактеризовал деятельность Дийкстры: "Это образец ученого, который программирует, не прикасаясь к компьютеру, и делает все возможное, чтобы его студенты поступали также и представляли информатику, как раздел математики".

Американский изобретатель Дуглас Энгельбарт из Стэнфордского исследовательского института представил первую мире компьютерную мышь в 1968 году 9 декабря.

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

Позже идеей Энгельбарта заинтересовалась компания Xerox. Ее исследователи изменили конструкцию мыши, и она стала похожа на современную. В начале 1970-х компания Xerox впервые представила мышь как часть персонального компьютера. Она имела три кнопки, вместо дисков шарик и ролики, а стоила 400 долларов!

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

Американский предприниматель, соучредитель Корпорации Майкрософт ,

В 1975 году впервые Аллен и Гейтс использовали название "Micro-Soft". В исходный код интерпретатора языка BASIC, созданного ими по заказу MITS.

Российский программист, автор известного файлового менеджера FAR Manager, формата сжатия RAR, архиваторов RAR и WinRAR , особенно популярных в России и странах бывшего СССР.

Осенью 1993 года выпустил первую публичную версию архиватора RAR 1.3, осенью 1996 года — FAR Manager. Позднее, с ростом популярности Microsoft Windows, выпустил архиватор для Windows WinRAR. Название RAR означает Roshal ARchiver.

Сергей Михайлович Брин родился в Москве в еврейской семье математиков, переехавшей на постоянное место жительства в США в 1979 году, когда ему было 6 лет.

В 1993 году поступил в Стэнфордский университет в Калифорнии, где получил диплом магистра и начал работать над диссертацией. Уже во время учёбы он стал интересоваться Интернет-технологиями и поисковыми машинами, стал автором нескольких исследований на тему извлечения информации из больших массивов текстовых и научных данных, написал программу по обработке научных текстов.

Совместное дело росло, приносило прибыль и даже продемонстрировало завидную устойчивость в момент краха доткомов, когда разорились сотни других компаний. В 2004 году имена основателей были названы журналом Forbes в списке миллиардеров.

Эндрю Таненбаум родился в Нью-Йорке и вырос в Уайт Плэйнс, штата Нью-Йорк. Получил учёную степень бакалавра по физике в MIT в 1965 году, также получил степень доктора физики в Калифорнийском университете Беркли в 1971 году.

Позже переехал с семьёй в Нидерланды, сохранив при этом гражданство США. Эндрю Таненбаум преподаёт курсы по организации компьютеров и операционных систем, также получил Ph. D. В 2009 году получил грант в размере 2,5 миллиона евро от Европейского исследовательского совета на развитие MINIX.

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

Окончил Орхусский университет (Дания, 1975) по математике и информатике, защитил диссертацию (Ph. D.) по информатике в Кембридже (1979).

До 2002 возглавлял отдел исследований в области крупномасштабного программирования в компании AT&T (Computer Science Research Center of Bell Telephone Laboratories). Ныне профессор Техасского университета, А&М.

Бьёрн Страуструп получил степень доктора философии, когда работал над конструированием распределённой системы в Компьютерной Лаборатории Кэмбриджского Университета (Англия).

Автор ряда книг и статей об архитектуре ПО, объектно-ориентированному анализу и разработке, языку UML, рефакторингу, экстремальному программированию.

Родился в Англии, жил в Лондоне до переезда в Америку в 1994 г. В настоящее время живёт в Бостоне, штат Массачусетс.

Одна из книг "Рефакторинг. Улучшение существующего кода": Мартин Фаулер с соавторами пролили свет на процесс рефакторинга, описав принципы и лучшие приемы его осуществления, а также указав, где и когда следует начинать углубленное изучение кода с целью его улучшения.

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

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

Американский разработчик компьютерных игр. Выпускник Университета штата Мичиган (Michigan State University). В 2002 году его имя вписали в Зал Славы Компьютерного музея Америки (Computer Museum of America’s Hall of Fame).

В 1991 году MicroProse приступила к продажам игровой энциклопедии исторически узнаваемых образов Civilization. В 1993 году крупная вертикально интегрированная компания Spectrum HoloByte, Inc. предпринимает усилия по поглощению MicroProse.

По завершении юридических процедур к 1994 году у Мейера и нового CEO фирмы Луи Гилмана (Gilman Louie) наметились некоторые расхождения в вопросах относительно того, куда, как и зачем развивать совместный игровой бизнес.

Американский учёный, почётный профессор Стэнфордского университета и нескольких других университетов в разных странах, иностранный член Российской академии наук, преподаватель и идеолог программирования, автор 19 монографий (в том числе ряда классических книг по программированию) и более 160 статей, разработчик нескольких известных программных технологий.

Автор всемирно известной серии книг, посвящённой основным алгоритмам и методам вычислительной математики, а также создатель настольных издательских систем TEX и METAFONT , предназначенных для набора и вёрстки книг, посвящённых технической тематике (в первую очередь — физико-математических).

Большее влияние на юного Дональда Кнута оказали работы Андрея Петровича Ершова, впоследствии его друга.

Профессор Кнут удостоен многочисленных премий и наград в области программирования и вычислительной математики, среди которых премия Тьюринга (1974), Национальная научная медаль США (1979) и AMS Steele Prize за серию научно-популярных статей, премия Харви (1995 год), премия Киото (1996) за достижения в области передовых технологий, премия имени Грейс Мюррей Хоппер (1971).

В конце февраля 2009 года Кнут занимал 20 место в списке самых цитируемых авторов в проекте CiteSeer.

В инте рвью «Japan Inc." он говорил, что сам учился программировать ещё до окончания школы. Он окончил университет города Цукуба, где он занимался исследованиями языков программирования и компиляторов.

С 2006 года возглавляет отдел исследований и разработок Network Applied Communication Laboratory, японский системный интегратор свободного ПО.

Родился в 1965 в префектуре Осака, но в возрасте четырёх лет переехал в город Ёнаго префектуры Тоттори, поэтому часто представляется как уроженец Ёнаго. В настоящее время проживает в городе Мацуэ префектуры Симанэ.

Юкихиро является членом Церкви Иисуса Христа Святых последних дней и занимается миссионерской деятельностью. Он женат и имеет четырёх детей.

В конце 1970-х годов Стив и его друг Стив Возняк разработали один из первых персональных компьютеров, обладавший большим коммерческим потенциалом. Компьютер Apple II стал первым массовым продуктом компании Apple, созданной по инициативе Стива Джобса. Позже Джобс увидел коммерческий потенциал графического интерфейса, управляемого мышью, что привело к появлению компьютеров Apple Lisa и, год спустя, Macintosh (Mac).

Проиграв борьбу за власть с советом директоров в 1985 году, Джобс покинул Apple и основал NeXT — компанию, разрабатывавшую компьютерную платформу для вузов и бизнеса. В 1986 году он приобрёл подразделение компьютерной графики кинокомпании Lucasfilm, превратив его в студию Pixar. Он оставался CEO Pixar и основным акционером, пока студия не была приобретена The Walt Disney Company в 2006 году, что сделало Джобса крупнейшим частным акционером и членом совета директоров Disney.

Трудности с разработкой новой операционной системы для Mac привели к покупке NeXT компанией Apple в 1996 году, для использования ОС NeXTSTEP в качестве основы для Mac OS X. В рамках сделки Джобс получил должность советника Apple. Сделка была спланирована Джобсом. К 1997 году Джобс вернул контроль над Apple, возглавив корпорацию. Под его руководством компания была спасена от банкротства и через год стала приносить прибыль. В течение следующего десятилетия Джобс руководил разработкой iMac, iTunes, iPod, iPhone и iPad , а также развитием Apple Store, iTunes Store, App Store иiBookstore . Успех этих продуктов и услуг, обеспечивший несколько лет стабильной финансовой прибыли, позволил Apple стать в 2011 году самой дорогой публичной компанией в мире. Многие комментаторы называют возрождение Apple одним из величайших свершений в истории бизнеса. В то же время Джобса критиковали за авторитарный стиль управления, агрессивные действия по отношению к конкурентам, стремление к тотальному контролю за продукцией даже после её реализации покупателю.

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

Знаменитые и великие информатики и программисты

Компьютер история начинается в 1623 году, когда Wilhelm Schickard построен человечества, первый автоматический калькулятор.
Schickard игровая машина может выполнять базовые арифметические операции над целочисленными входы. Его письма Кеплер, открывший законы движения планет, объяснить применение его "расчет часов" для расчета астрономических таблиц.
Non - programmable Schickard машина была основана на традиционной десятичной системе счисления. Лейбниц впоследствии обнаружил более удобный двоичной системе (1679 г.), важным элементом первой в мире рабочей программы - контролируемым компьютером, из-за Zuse (1941).

Чарльз Бэббидж

(26 декабря 1791 – 18 октября 1871)

Лавлейс Августа Ада

(10 декабря 1815 — 29 ноября 1852)

А.Лавлейс разработала первые программы для аналитической машины Баббеджа , заложив тем самым теоретические основы программирования. Она впервые ввела понятие цикла операции. В одном из примечаний высказала главную мысль о том, что аналитическая машина может решать такие задачи, которые из-за трудности вычислений практически невозможно решить вручную. Так впервые машина была рассмотрена не только как механизм, заменяющий человека, но и как устройство, способное выполнять работу, превышающую возможности человека. Хотя аналитическая машина Баббеджа не была построена и программы Лавлейс никогда не отлаживались и не работали, однако ряд высказанных ею общих положений сохранили свое принципиальное значение и для современного программирования. В наши дни А.Лавлейс по праву называют первым программистом в мире.

Алан Матисон Тьюринг переформулировать Kurt Goedel s unprovability результаты в терминах машин Тьюринга (ТМС). Тесно связанные с ранее работа была проделана Тьюринга советник Алонсо церкви. TMs впоследствии стал наиболее широко используются абстрактные модели вычислений. Универсальный TMs может эмулировать любой другой ТМ, или любым другим известным компьютера.
Во время Второй мировой войны Тьюринг помог (с Welchman) расшифровать нацистской код. Некоторые источники говорят, что эта работа была решающей для победы над третьим Рейхом.
Позже Тьюринг предложил свой знаменитый тест оценки, является ли компьютер разумного (больше на Истории искусственного интеллекта). Информатика самых востребованных премия носит его имя: премию Тьюринга.

Американский математик, член Национальной АН США (1937). В 1926 окончил Будапештский университет. С 1927 преподавал в Берлинском университете, в 1930—33 — в Принстонском университете (США), с 1933 профессор Принстонского института перспективных исследований. С 1940 консультант различных армейских и морских учреждений (Н. принимал, в частности, участие в работах по созданию первой атомной бомбы). С 1954 член комиссии по атомной энергии.
Основные научные работы посвящены функциональному анализу и его приложениям к вопросам классической и квантовой механики. Н. принадлежат также исследования по математической логике и по теории топологических групп. В последние годы жизни занимался главным образом разработкой вопросов, связанных с теорией игр, теорией автоматов; внёс большой вклад в создание первых ЭВМ и разработку методов их применения. Наиболее известен как человек, с именем которого связывают архитектуру большинства современных компьютеров (так называемая архитектура фон Неймана )

Дейкстра Эдсгер Вайб
(11 мая 1930 - 6 августа 2002)

Ершов Андрей Петрович
(19 апреля 1931 – 8 декабря 1988)

Дуглас Карл Энгельбарт
(30 января 1925)

Американский изобретатель Дуглас Энгельбарт из Стэнфордского исследовательского института представил первую мире компьютерную мышь в 1968 году 9 декабря.
Изобретение Дугласа Энгельбарта представляло собой деревянный куб на колесиках с одной кнопкой. Своим именем компьютерная мышь обязана проводу – он напоминал изобретателю хвост настоящей мыши.
Позже идеей Энгельбарта заинтересовалась компания Xerox. Ее исследователи изменили конструкцию мыши, и она стала похожа на современную. В начале 1970-х компания Xerox впервые представила мышь как часть персонального компьютера. Она имела три кнопки, вместо дисков шарик и ролики, а стоила 400 долларов!
Сегодня существует два вида компьютерных мышей: механические и оптические. Последние лишены механических элементов, а для отслеживания передвижения манипулятора относительно поверхности используют оптические датчики. Последней новинкой техники стали беспроводные мыши.

Американский предприниматель, соучредитель Корпорации Майкрософт , которую он вместе со своим школьным приятелем Биллом Гейтсом основал в 1975 году.

Касперский Евгений Валентинович
(4 октября 1965г.)

Евгений Рошал
(10 марта 1972, Челябинск)

Бьёрн Страуструп, Бьярне Строуструп

Мартин Фаулер (англ. Martin Fowler)

Автор ряда книг и статей об архитектуре ПО, объектно-ориентированному анализу и разработке, языку UML, рефакторингу, экстремальному программированию.
Родился в Англии, жил в Лондоне до переезда в Америку в 1994 г. В настоящее время живёт в Бостоне, штат Массачусетс.
Одна из книг "Рефакторинг. Улучшение существующего кода": Мартин Фаулер с соавторами пролили свет на процесс рефакторинга, описав принципы и лучшие приемы его осуществления, а также указав, где и когда следует начинать углубленное изучение кода с целью его улучшения.
Основу книги составляет подробный перечень более 70 методов рефакторинга, для каждого из которых описываются мотивация и техника испытанного на практике преобразования кода с примерами на Java .
Рассмотренные в книге методы позволяют поэтапно модифицировать код, внося каждый раз небольшие изменения, благодаря чему снижается риск, связанный с развитием проекта.

(24 февраля 1954, Детройт)
Американский разработчик компьютерных игр. Выпускник Университета штата Мичиган (Michigan State University). В 2002 году его имя вписали в Зал Славы Компьютерного музея Америки (Computer Museum of America’s Hall of Fame).
В 1991 году MicroProse приступила к продажам игровой энциклопедии исторически узнаваемых образов Civilization. В 1993 году крупная вертикально интегрированная компания Spectrum HoloByte, Inc. предпринимает усилия по поглощению MicroProse.
По завершении юридических процедур к 1994 году у Мейера и нового CEO фирмы Луи Гилмана (Gilman Louie) наметились некоторые расхождения в вопросах относительно того, куда, как и зачем развивать совместный игровой бизнес.

Дональд Эрвин Кнут
(10 января 1938)
Американский учёный, почётный профессор Стэнфордского университета и нескольких других университетов в разных странах, иностранный член Российской академии наук, преподаватель и идеолог программирования, автор 19 монографий (в том числе ряда классических книг по программированию) и более 160 статей, разработчик нескольких известных программных технологий.
Автор всемирно известной серии книг, посвящённой основным алгоритмам и методам вычислительной математики, а также создатель настольных издательских систем TEX и METAFONT , предназначенных для набора и вёрстки книг, посвящённых технической тематике (в первую очередь — физико-математических).
Большее влияние на юного Дональда Кнута оказали работы Андрея Петровича Ершова, впоследствии его друга.
Профессор Кнут удостоен многочисленных премий и наград в области программирования и вычислительной математики, среди которых премия Тьюринга (1974), Национальная научная медаль США (1979) и AMS Steele Prize за серию научно-популярных статей, премия Харви (1995 год), премия Киото (1996) за достижения в области передовых технологий, премия имени Грейс Мюррей Хоппер (1971).
В конце февраля 2009 года Кнут занимал 20 место в списке самых цитируемых авторов в проекте CiteSeer.

Юкихиро Мацумото (также известный как Matz)
(14 апреля 1965)

Японский разработчик свободного ПО, создатель языка программирования Ruby .
В инте рвью «Japan Inc." он говорил, что сам учился программировать ещё до окончания школы. Он окончил университет города Цукуба, где он занимался исследованиями языков программирования и компиляторов.
С 2006 года возглавляет отдел исследований и разработок Network Applied Communication Laboratory, японский системный интегратор свободного ПО.
Родился в 1965 в префектуре Осака, но в возрасте четырёх лет переехал в город Ёнаго префектуры Тоттори, поэтому часто представляется как уроженец Ёнаго. В настоящее время проживает в городе Мацуэ префектуры Симанэ.
Юкихиро является членом Церкви Иисуса Христа Святых последних дней и занимается миссионерской деятельностью. Он женат и имеет четырёх детей.

Американский предприниматель, получивший широкое признание в качестве пионера эры IT-технологий. Один из основателей, председатель совета директоров и CEO корпорации Apple . Один из основателей и CEOкиностудии Pixar.
В конце 1970-х годов Стив и его друг Стив Возняк разработали один из первых персональных компьютеров, обладавший большим коммерческим потенциалом. Компьютер Apple II стал первым массовым продуктом компании Apple, созданной по инициативе Стива Джобса. Позже Джобс увидел коммерческий потенциал графического интерфейса, управляемого мышью, что привело к появлению компьютеров Apple Lisa и, год спустя, Macintosh (Mac).
Проиграв борьбу за власть с советом директоров в 1985 году, Джобс покинул Apple и основал NeXT — компанию, разрабатывавшую компьютерную платформу для вузов и бизнеса. В 1986 году он приобрёл подразделение компьютерной графики кинокомпании Lucasfilm, превратив его в студию Pixar. Он оставался CEO Pixar и основным акционером, пока студия не была приобретена The Walt Disney Company в 2006 году, что сделало Джобса крупнейшим частным акционером и членом совета директоров Disney.
Трудности с разработкой новой операционной системы для Mac привели к покупке NeXT компанией Apple в 1996 году, для использования ОС NeXTSTEP в качестве основы для Mac OS X. В рамках сделки Джобс получил должность советника Apple. Сделка была спланирована Джобсом. К 1997 году Джобс вернул контроль над Apple, возглавив корпорацию. Под его руководством компания была спасена от банкротства и через год стала приносить прибыль. В течение следующего десятилетия Джобс руководил разработкой iMac, iTunes, iPod, iPhone и iPad , а также развитием Apple Store, iTunes Store, App Store иiBookstore . Успех этих продуктов и услуг, обеспечивший несколько лет стабильной финансовой прибыли, позволил Apple стать в 2011 году самой дорогой публичной компанией в мире. Многие комментаторы называют возрождение Apple одним из величайших свершений в истории бизнеса. В то же время Джобса критиковали за авторитарный стиль управления, агрессивные действия по отношению к конкурентам, стремление к тотальному контролю за продукцией даже после её реализации покупателю.

Читайте также: