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

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

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

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

Сообщества

Настроить S2

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



Некто написал,
Привет. У меня тут по науке вопрос, возможность лично спросить я упустил, поэтому спрошу тут.

Короче, я студент-математик (2й курс магистратуры хорошего вроде как западного ВУЗа). Мои интересы всегда склонялись в области логики и информатики, но отношение к ним у математиков (во всяком случае в России) сам знаешь какое. С другой стороны, мои знания именно математики (по http://imperium.lenin.ru/~verbit/MATH/programma.html) на середине второго курса. Ну и плюс имею какие-то познания теорфиза (в стиле Ландау). Короче, с таким багажом я не верю, что смогу делать что-то полезное для математики, и уж лучше буду кодить, дабы гавно не плодить.
С другой стороны, кроме теории струн, есть штуки вроде таких https://arxiv.org/abs/quant-ph/0703060 (A Topos Foundation for Theories of Physics: I. Formal Languages for Physics) с низким порогом вхождения и построениями как раз из логики. Ещё вроде как есть попытки пересмотреть понятия сложности в HoTT (в частности, этим занимается Тьерри Кокан, который вроде как авторитет).
Короче, насколько на твой взгляд разумны "новые основания математики" и попытки заниматься физикой на уровне логики?


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

Добавить комментарий:Sorry, this entry already has the maximum number of comments allowed.