pechkin | (no subject)

Я рассказываю Мире про аксиомы Пеано и ZHF, сколько сам помню. То есть, речь пошла о том, что такое переместительные законы сложения и умножения, откуда они взялись, что такое единица и ноль - все вот это. А захотелось дать ей понятие об аксиоматическом базисе вообще. Вот, говорю: одну аксиому отменишь - и получишь совершенно другую математику, с другими совершенно действиями и свойствами. Тоже правильную, но совершенно другую. Понимаешь?

- Ага, - говорит, - понимаю. Это как на картине. Изменишь что-нибудь маленькое - получится совсем другая картина. Вот, например, - раскрывает книжку "Рисуем Смешариков", - если у Бараша рот нарисован вот так - это один Бараш, а если такая, то совсем другой, грустный.

Закрывает пальцем рот Бараша и показывает, как он изменился.

Так же, как у меня, у нее сильно развита способность во всем видеть символы и логику. Более важная способность - превращать символьную логику во что-то необсказуемое, только чувствуемое; очень трудная штука, но в музыке у меня иногда получается так, как я хочу.

Threaded | Top-Level Comments Only

Ого. А что такое ZHF?

Цермело, Хаусдорф и Фрэнкель.

Попытался разобраться по википедии. Не смог. Начиная с того, что не понимаю, почему UX - это множество элементов X. Этот кусок реальности как-то протопал мимо меня, при том, что близкие к ней истории про парадокс Рассела я, кажется, немного понимаю.

Хочу тебе напомнить, что доктор наук из нас двоих - ты. Я - в лучшем случае фельдшер.