Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2021-02-17 07:49:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:CAMEL 1975 - The Snow Goose (Deluxe Edition)
Entry tags:57, evrei, math

может рассматриваться как "иностранный агент"
Шень объявил себя "возможным иноагентом"
https://www.severreal.org/a/31099926.html
и дает интервью

Книга "Программирование: теоремы и задачи" издается

Московским центром непрерывного математического
образования (МЦНМО) уже в седьмой раз. В последнем издании
появилось предупреждение на обороте титульного листа:
"Автор является научным сотрудником лаборатории LIRMM в
г. Монпелье (Франция) и может рассматриваться de facto
правительством России как "иностранный агент" в смысле
поправок к "закону об иностранных агентах", принятых
21.11.2019".

Кстати, в Вышке он был типа "научным руководителем"
всего ФКН, точный титул уже не упомню, но сейчас нет
https://www.hse.ru/org/persons/212209110
даже нагуглить не сумел, вместо этого нагуглил
смешную статью про Садовничего и пятисемитов,
с изложением истории Финкельберга-Сорокина и
других аналогичных
https://www.proekt.media/portrait/viktor-sadovnichyi/

Привет



(Читать комментарии) - (Добавить комментарий)

Re: (добавляю в раскрытый комментарий)
(Анонимно)
2021-02-18 14:09 (ссылка)
Как математика была формализована на основе теории множеств, так и остается.

А надежды Гильберта, вообще-то, сбылись процентов на 80. Какие-то специфические разделы математики требуют дополнительных специфических средств - ну и что в этом такого?

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: (добавляю в раскрытый комментарий)
[info]sometimes
2021-02-18 19:51 (ссылка)
Гильберт хотел алгоритм доказательства вообще-то

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: (добавляю в раскрытый комментарий)
(Анонимно)
2021-02-19 11:00 (ссылка)
Он много чего хотел по разным вопросам в разных разделах математики. Вы про что именно сейчас?

Если вы про 10 проблему Гильберта, то это лишь одна из неразрешимых проблем математики. Ну и что, таких неразрешимых проблем полно во всех разделах.

(Ответить) (Уровень выше)

Re: (добавляю в раскрытый комментарий)
[info]grusha
2021-02-18 23:51 (ссылка)
Вроде все ровно наоборот: для подавляющего большинства математики недостаточно одной теории множеств, нужна арифметика.
(Не говоря уже о том, что теория множеств это лишь наиболее распространенный язык, лингва франка, не более. И вообще, формализация это второстепенная хуйня, по большому счету.)

(Ответить) (Уровень выше)


(Читать комментарии) -