1 janv. 1906 - Курт Гедель
Description:
В 1931 году, всего через несколько лет после Юлиус Лилиенфельд запатентовал транзистор Курт Гедель (или " Goedel", а не " Godel') заложил основы теоретической информатики с его работы на универсальных формальных языков и лимиты на доказательство и вычисление. Он построен формальных систем, позволяющих самореферентную заявления, которые говорят о себе, в частности, о том, могут ли они быть получены из enumerable заданного набора аксиом с помощью вычислительной процедуры доказательства теорем. Гедель пошли дальше построить отчетности, которые утверждают, что их собственные unprovability, чтобы продемонстрировать, что традиционная математика либо недостатки в определенной алгоритмической смысле или содержит недоказуемые, но истинные утверждения.Неполноты Геделя результате широко рассматривается как наиболее замечательным достижением 20-го века математики, хотя некоторые математики говорят, что это логика, а не математика, и другие называют это фундаментальный результат теоретической информатики (переформулировать церкви & Post & Тьюринга вокруг 1936), дисциплина, которая еще не официально существование еще тогда, но был фактически создан через Геделя работы. Он имел огромное влияние не только на информатике, но и по философии и других областях.
Ajouté au bande de temps:
Date:
1 janv. 1906
Maintenaint
~ Il y a 118 ans
