Хронология математической логики - Timeline of mathematical logic
А график из математическая логика. Смотрите также История логики.
19 век
- 1847 – Джордж Буль предлагает символическую логику в Математический анализ логики, определяя то, что сейчас называется Булева алгебра.
- 1854 - Джордж Буль совершенствует свои идеи, публикуя Исследование законов мысли.
- 1874 – Георг Кантор доказывает, что совокупность всех действительные числа является бесчисленное множество но набор всего настоящего алгебраические числа является счетно бесконечный. Его доказательство не использует свой знаменитый диагональный аргумент, который он опубликовал в 1891 году.
- 1895 - Георг Кантор издает книгу о теории множеств, содержащую арифметику бесконечного Количественные числительные и гипотеза континуума.
- 1899 - Георг Кантор обнаруживает противоречие в своей теории множеств.
20 век
- 1908 – Эрнст Цермело аксиоматизирует теория множеств, избегая противоречий Кантора.
- 1931 – Курт Гёдель доказывает его теорема о неполноте который показывает, что каждая математическая система аксиоматики неполна или непоследовательна.
- 1940 - Курт Гёдель показывает, что ни гипотеза континуума ни аксиома выбора могут быть опровергнуты стандартными аксиомами теории множеств.
- 1961 – Авраам Робинсон создает нестандартный анализ.
- 1963 – Пол Коэн использует свою технику принуждение чтобы показать, что ни гипотеза континуума ни аксиома выбора может быть доказано с помощью стандартных аксиом теории множеств.