Dmitri Pavlov - Post a comment

[Recent Entries][Archive][Friends][User Info]

( Read Comments )

Time

Text

08:38 pm

akater

[Link]

> Я всё больше убеждаюсь в том, что теоретико-множественный формализм
> топологических пространств — это исторический курьёз,
> и формализм локалей подходит для тех же целей гораздо лучше.

ВНЕЗАПНО, по мотивам рассуждений на эти темы, я несколько недель назад тоже решил, что курьёз. ) Но про локали знаю только поверхностно.

А про локали какие тексты, по-Вашему, лучше всего читать 1) тем, кто уже пришёл к выводу, что курьёз и 2) тем, кто ещё даже не знаком с теоретико-множественным формализмом?

> Как побочный эффект, отпадает всякая необходимость
> в аксиоме выбора, лемме Цорна и им подобных.

А вот если так, то это вообще очень круто. Но как-то не верится. Не может же потребность в аксиоме выбора уйти в никуда.

Reply:

From:

Anonymous (will be screened)

OpenID

Identity URL:
Login?

пользователь LiveJournal.com

имя пользователя:	помнить
Вы должны предварительно войти в LiveJournal.com

E-mail для ответов:
Вы сможете оставлять комментарии, даже если не введете e-mail. Но вы не сможете получать уведомления об ответах на ваши комментарии! Внимание: на указанный адрес будет выслано подтверждение.

LJ.Rossia.org user

Username:
Password:
Login?

Subject:

No HTML allowed in subject

Message:

Don't auto-format:

Notice! This user has turned on the option that logs your IP address when posting.