Теория вычислимой меры - Computable measure theory

В математика, вычислимая теория меры является частью вычислимый анализ который имеет дело с эффективными версиями теория меры.

Рекомендации

• Джереми Авигад (2012), «Инверсия соответствия Фюрстенберга», Дискретные и непрерывные динамические системы, Series A, 32, pp. 3421–3431.
• Аббас Эдалат (2009), «Вычислимый подход к теории измерения и интеграции», Информация и вычисления 207: 5, с. 642–659.
• Стивен Г. Симпсон (2009), Подсистемы арифметики второго порядка, 2-е изд., Перспективы в логике, Cambridge University Press. ISBN  978-0-521-88439-6

Этот математический анализ –Связанная статья является заглушка. Вы можете помочь Википедии расширяя это.

Этот математическая логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.