Вычисление
- Вычисление — это любой тип арифметических или неарифметических вычислений, который четко определен.
- Информатика — это область, которая включает в себя изучение вычислений.
- Определение Тьюринга относило «четкую определенность» к очень большому классу математических утверждений.
- Существуют некоторые математические понятия, которые не имеют четкой характеристики в соответствии с этим определением.
- Вычисления можно рассматривать как чисто физический процесс, происходящий внутри замкнутой физической системы, называемой компьютером.
- Доказательство Тьюринга 1937 года продемонстрировало, что существует формальная эквивалентность между вычислимыми утверждениями и конкретными физическими системами.
- Альтернативные подходы к вычислениям включают семантический учет, механистический подход и математические модели.
Полный текст статьи: