Архив рубрики ~Обо всем~

[Перевод] Джоэл Хэмкинс: бесконечность, математическая реальность и теоремы Гёделя

[Перевод] Джоэл Хэмкинс: бесконечность, математическая реальность и теоремы Гёделя
[Перевод] Джоэл Хэмкинс: бесконечность, математическая реальность и теоремы Гёделя

Философия математики была бы гораздо проще, если бы не бесконечность. Само это понятие кажется вполне естественным, но стоит отнестись к нему всерьез, как мы сталкиваемся с парадоксальными результатами, противоречащими интуиции. Как отмечает в этой беседе математик и философ Джоэл Дэвид Хэмкинс, когда мы говорим, что натуральные числа — это «0, 1, 2, 3 и так далее», выражение «и так далее» остается безнадежно неопределенным. Мы обсуждаем различные подходы к осмыслению загадок бесконечности, возможные способы их разрешения и то, какие следствия все это имеет для математического реализма.

Джоэл Дэвид Хэмкинс получил степень PhD по математике в Калифорнийском университете в Беркли. В настоящее время он занимает должность профессора логики имени Джона кардинала О’Хары в Университете Нотр-Дам. Он один из основоположников идеи теоретико-множественной мультивселенной. По рейтингу репутации он занимает первое место среди пользователей MathOverflow. Сейчас он работает над книгой «Книга бесконечности» (The Book of Infinity), которая будет опубликована издательством MIT Press.

>>

Источник: habr.com

Оцените материал:

Поделиться
Понравилась статья? Расскажите другим
ВКонтакте
Читайте также
Архив рубрики ~Коротко из Telegram~ Apple готова платить издателям девятизначные суммы за новости для Siri… Архив рубрики ~Коротко из Telegram~ ИИ угрожает каждому десятому рабочему месту в России, а среди… Архив рубрики ~Коротко из Telegram~ YouTube с 24 августа считает просмотры по-новому: теперь view засчитывается… Архив рубрики ~Коротко из Telegram~ Alibaba выпустила Happy Shrimp 1.0 — музыкальный ИИ, который сначала… Архив рубрики ~Коротко из Telegram~ Xiaomi открыла модель, которая генерирует сложные звуковые сцены целиком Команда… Архив рубрики ~Коротко из Telegram~ Claude спроектировал белковые молекулы против рака — и они действительно… Архив рубрики ~Лента новостей~ Поддельный ИИ, настоящее вредоносное ПО: злоумышленники выдают себя за бренды, использующие искусственный интеллект. Новости робототехники Время на исходе! Сэкономьте 300 долларов на пропуске на TechCrunch Disrupt 2026 до 21 августа. Архив рубрики ~Коротко из Telegram~ ChatCut превращает ChatGPT в полноценный видеоредактор Появился плагин ChatCut, который… Архив рубрики ~Коротко из Telegram~ В ChatGPT появился автоматический подростковый режим OpenAI добавила в ChatGPT… Архив рубрики ~Коротко из Telegram~ Яндекс готовит единого ИИ-агента для бизнеса Yandex B2B Tech разрабатывает… Архив рубрики ~Коротко из Telegram~ Claude научили обучаться навыкам по записи экрана Anthropic добавила в… Архив рубрики ~Коротко из Telegram~ OpenAI научила ChatGPT отличать подростков и добавила режим обучения OpenAI… Архив рубрики ~Коротко из Telegram~ Nebius занял ещё $4,5 млрд на строительство ИИ-инфраструктуры Компания с… Архив рубрики ~Коротко из Telegram~ Apple готова платить издателям девятизначные суммы за новости для Siri… Архив рубрики ~Коротко из Telegram~ ИИ угрожает каждому десятому рабочему месту в России, а среди… Архив рубрики ~Коротко из Telegram~ YouTube с 24 августа считает просмотры по-новому: теперь view засчитывается… Архив рубрики ~Коротко из Telegram~ Alibaba выпустила Happy Shrimp 1.0 — музыкальный ИИ, который сначала… Архив рубрики ~Коротко из Telegram~ Xiaomi открыла модель, которая генерирует сложные звуковые сцены целиком Команда… Архив рубрики ~Коротко из Telegram~ Claude спроектировал белковые молекулы против рака — и они действительно… Архив рубрики ~Лента новостей~ Поддельный ИИ, настоящее вредоносное ПО: злоумышленники выдают себя за бренды, использующие искусственный интеллект. Новости робототехники Время на исходе! Сэкономьте 300 долларов на пропуске на TechCrunch Disrupt 2026 до 21 августа. Архив рубрики ~Коротко из Telegram~ ChatCut превращает ChatGPT в полноценный видеоредактор Появился плагин ChatCut, который… Архив рубрики ~Коротко из Telegram~ В ChatGPT появился автоматический подростковый режим OpenAI добавила в ChatGPT… Архив рубрики ~Коротко из Telegram~ Яндекс готовит единого ИИ-агента для бизнеса Yandex B2B Tech разрабатывает… Архив рубрики ~Коротко из Telegram~ Claude научили обучаться навыкам по записи экрана Anthropic добавила в… Архив рубрики ~Коротко из Telegram~ OpenAI научила ChatGPT отличать подростков и добавила режим обучения OpenAI… Архив рубрики ~Коротко из Telegram~ Nebius занял ещё $4,5 млрд на строительство ИИ-инфраструктуры Компания с…

Оставить комментарий