1 Jan 1906 Jahr - Курт Гедель
Beschreibung:
В 1931 году, всего через несколько лет после Юлиус Лилиенфельд запатентовал транзистор Курт Гедель (или " Goedel", а не " Godel') заложил основы теоретической информатики с его работы на универсальных формальных языков и лимиты на доказательство и вычисление. Он построен формальных систем, позволяющих самореферентную заявления, которые говорят о себе, в частности, о том, могут ли они быть получены из enumerable заданного набора аксиом с помощью вычислительной процедуры доказательства теорем. Гедель пошли дальше построить отчетности, которые утверждают, что их собственные unprovability, чтобы продемонстрировать, что традиционная математика либо недостатки в определенной алгоритмической смысле или содержит недоказуемые, но истинные утверждения.
Неполноты Геделя результате широко рассматривается как наиболее замечательным достижением 20-го века математики, хотя некоторые математики говорят, что это логика, а не математика, и другие называют это фундаментальный результат теоретической информатики (переформулировать церкви & Post & Тьюринга вокруг 1936), дисциплина, которая еще не официально существование еще тогда, но был фактически создан через Геделя работы. Он имел огромное влияние не только на информатике, но и по философии и других областях.
Zugefügt zum Band der Zeit:
Знаменитые и великие информатики и программисты
Datum:
Abbildungen: