juan_gandhi: (Default)
Там задача - для стандартных представлений Пеано-чисел 3 и 5 в теории множеств, запишите, каково будет их пересечение.

Один такой - а можно я мое собственное представление натуральных чисел в ZFC нарисую?

Да пожалуйста! Мне лишних очков не жалко для хорошего человека.

Но каковы!

А другая такая - в пятницу мне прислала мейл, мол, профессор, у меня там все херово с оценками, а что мне делать, чтобы получше оценку получить? А я ей такой - ну чо, если за файналзы 160 из 160 будет, так вот и "А". А так у нее на "С" выходило. Причем знаю, что не дура. Ну так и чо, сделала все тип-топ, даже ошибку в вопросе нашла. Вот ей и "А".

Обожаю таких разгильдяев.
juan_gandhi: (VP)
https://ru.wikipedia.org/wiki/%D0%A1%D1%85%D0%B5%D0%BC%D0%B0_%D0%BF%D1%80%D0%B5%D0%BE%D0%B1%D1%80%D0%B0%D0%B7%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F

Оно, при наличии аксиом пары и выделения, разве не эквивалентно аксиоме выбора?

Я что-то туплю сегодня утром.

И вообще, вот эта русская статья, https://ru.wikipedia.org/wiki/%D0%90%D0%BA%D1%81%D0%B8%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D0%B8_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2 - впрочем, ладно.
juan_gandhi: (VP)
Тут возникла такая тема, что натуральные числа в множествах определяются по индукции. Не знаю, как в множествах вообще, а в ZFC есть аксиома бесконечности:

∃X (∅∈X ∧ ∀y (y∈X → S(y)∈X))

where S(y) ≡ y ∪ {y}

Вот.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

June 2025

S M T W T F S
1 2345 6 7
8 9 10 11 121314
15161718 1920 21
222324252627 28
29 30     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 4th, 2025 05:15 am
Powered by Dreamwidth Studios