Съдържание
1 връзка: 20 век.
- Математическа логика
- Рекурсивна теория
20 век
20-и век започва на 1 януари 1901 г.
Виж Изчислителна теория и 20 век
Вижте също
Математическа логика
- Аксиоми на Пеано
- Алгоритъм
- Изброен тип
- Изчислителна теория
- Индикаторна функция
- Истина
- Математическа логика
- Математическо доказателство
- Основи на математиката
- Променлива величина
- Релация
- Съждение
- Таблица на математически символи
- Тавтология (логика)
- Теорема на Гьодел за непълнота
- Теория на множествата
- Теория на моделите
Рекурсивна теория
- Halting проблем
- Изчислимост
- Изчислителен модел
- Изчислителна теория
- Машина на Тюринг
- Нерешим проблем
- Степен на Тюринг
- Тезис на Чърч