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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2017-07-04 11:01:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
верхний пост - 2014
Архив верхнего поста.

Архивы:
[ 2013 | 2012 | 2011 | 2007-2010 | 2006 ]

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

Какими основаниями пользуются Михаил и Дмитрий?
(Анонимно)
2017-02-07 17:37 (ссылка)
Очень интересно!
Дмитрий, а чем пользуетесь?
Михаил, а вы чем пользуетесь?

Существует много разных оснований, с разными плюсами и минусами...
Когда я верифицирую - часто понимаю, что у меня то там, то здесь - ошибка.

Очень хочу послушать отношение и предпочтения профи касательно оснований математики. (Что-нибудь вроде "мне в последнее время кажется, что NBG+теоркат - неплохое сочетание.")

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

Re: Какими основаниями пользуются Михаил и Дмитрий?
[info]kaledin
2017-02-08 03:06 (ссылка)
>NBG+теоркат

Ну типа.

На практике, со времен Гротендика многие облегчают себе жизнь, вводя аксиому универса (что есть универсы, и что каждый конкретный можно при необходимости увеличить). Лично я избегаю, мне хватает множеств и классов, т.е. малых и больших категорий. Аксиома выбора по классам причем не нужна, достаточно знать, что полный строгий существенно сюръективный функтор есть эквивалентность (что вызывает больше доверия, чем общее утверждение). Как оно все формально записывается, мне неведомо, и не думаю, что это важно.

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

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