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

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

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

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

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

>>

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

❌ Нет тегов для этой статьи

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

Поделиться
Понравилась статья? Расскажите другим
ВКонтакте
Читайте также
Архив рубрики ~Лента новостей~ На пути к доказуемо приватному обучению на основе федеративных данных Архив рубрики ~Коротко из Telegram~ Как нейросеть превращает идею в 3D-объект, российские школьники могут узнать… Архив рубрики ~Коротко из Telegram~ Промо для вашего проекта — без монтажёра и копирайтера Скилл… Архив рубрики ~Коротко из Telegram~ «Хочу, чтобы было вот так» — как объяснить ИИ задание… Архив рубрики ~Коротко из Telegram~ Скайнет отменяется: OpenAI отложила релиз GPT-6.1 Astra OpenAI придержала выпуск… Архив рубрики ~Коротко из Telegram~ Ideogram выкатила новую модель для дизайна, постеров и точной работы… Архив рубрики ~Коротко из Telegram~ Suno заходит на территорию ИИ-озвучки — в бете появилась генерация… Архив рубрики ~Коротко из Telegram~ ChatGPT научился делать картинки в ВЕКТОРЕ — для этого вышел… Архив рубрики ~Коротко из Telegram~ Apple разрабатывает ИИ-камеру для умного дома, которая присылает текстовое описание… Архив рубрики ~Коротко из Telegram~ ИИ впервые в истории прошел тест Тьюринга в живом видеозвонке…. Архив рубрики ~Коротко из Telegram~ 🔥 БЕСПЛАТНАЯ ПОЧТИ АЛЬТЕРНАТИВА SUNO: ГЕНЕРИРУЕМ МУЗЫКУ БЕЗ ОГРАНИЧЕНИЙ Вышел… Архив рубрики ~Коротко из Telegram~ Suno запустила Speech Beta, отдельную модель для создания озвучки Она… Архив рубрики ~Коротко из Telegram~ Узнаём, что жрёт место на диске — нашли опенсорсную тулзу… Архив рубрики ~Лента новостей~ Google представила свою «самую мощную» модель Gemini 4 Argon — доступ к ней пока открыли ограниченной группе тестировщиков Архив рубрики ~Лента новостей~ На пути к доказуемо приватному обучению на основе федеративных данных Архив рубрики ~Коротко из Telegram~ Как нейросеть превращает идею в 3D-объект, российские школьники могут узнать… Архив рубрики ~Коротко из Telegram~ Промо для вашего проекта — без монтажёра и копирайтера Скилл… Архив рубрики ~Коротко из Telegram~ «Хочу, чтобы было вот так» — как объяснить ИИ задание… Архив рубрики ~Коротко из Telegram~ Скайнет отменяется: OpenAI отложила релиз GPT-6.1 Astra OpenAI придержала выпуск… Архив рубрики ~Коротко из Telegram~ Ideogram выкатила новую модель для дизайна, постеров и точной работы… Архив рубрики ~Коротко из Telegram~ Suno заходит на территорию ИИ-озвучки — в бете появилась генерация… Архив рубрики ~Коротко из Telegram~ ChatGPT научился делать картинки в ВЕКТОРЕ — для этого вышел… Архив рубрики ~Коротко из Telegram~ Apple разрабатывает ИИ-камеру для умного дома, которая присылает текстовое описание… Архив рубрики ~Коротко из Telegram~ ИИ впервые в истории прошел тест Тьюринга в живом видеозвонке…. Архив рубрики ~Коротко из Telegram~ 🔥 БЕСПЛАТНАЯ ПОЧТИ АЛЬТЕРНАТИВА SUNO: ГЕНЕРИРУЕМ МУЗЫКУ БЕЗ ОГРАНИЧЕНИЙ Вышел… Архив рубрики ~Коротко из Telegram~ Suno запустила Speech Beta, отдельную модель для создания озвучки Она… Архив рубрики ~Коротко из Telegram~ Узнаём, что жрёт место на диске — нашли опенсорсную тулзу… Архив рубрики ~Лента новостей~ Google представила свою «самую мощную» модель Gemini 4 Argon — доступ к ней пока открыли ограниченной группе тестировщиков

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