![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Dec. 27th, 2014
потерял где-то нить, выдергиваю
Dec. 27th, 2014 08:39 amТут возникла такая тема, что натуральные числа в множествах определяются по индукции. Не знаю, как в множествах вообще, а в ZFC есть аксиома бесконечности:
∃X (∅∈X ∧ ∀y (y∈X → S(y)∈X))
where S(y) ≡ y ∪ {y}
Вот.
∃X (∅∈X ∧ ∀y (y∈X → S(y)∈X))
where S(y) ≡ y ∪ {y}
Вот.
без чего-то определенного
Dec. 27th, 2014 07:16 pmВ совке ментовская аббревиатура, "БОМЖ", стала отдельным словом и зажила своей жизнью. Даже статья есть.
Но мало ли чего определенного нету.
Без Определенного Рода Занятий, например.
Ну или Без Определенного Транспортного Средства. Без Определенных Средств к Существованию. Без Определенного Домашнего Животного. Без Определенного Полового Партнера.
Да до хрена всякого такого можно внедрить.
И наоборот. С Определенным Складом Мыслей.
И т.д.
Но мало ли чего определенного нету.
Без Определенного Рода Занятий, например.
Ну или Без Определенного Транспортного Средства. Без Определенных Средств к Существованию. Без Определенного Домашнего Животного. Без Определенного Полового Партнера.
Да до хрена всякого такого можно внедрить.
И наоборот. С Определенным Складом Мыслей.
И т.д.
just discovered
Dec. 27th, 2014 09:38 pmMy twitter stream is so interesting
my g+ stream is pretty decent too
my fb stream is about 98% dumb and meaningless
my lj stream is so well-filtered that it's a pleasure to read it
my g+ stream is pretty decent too
my fb stream is about 98% dumb and meaningless
my lj stream is so well-filtered that it's a pleasure to read it