Ну типа самый высокий уровень абстракции в математике.

и не только в математике

@goren Mind exercising, ну а кроме? С т.зр. быдла (практической).

@plhk С практической точки зрения математика ненужна.

@goren Okay.jpg

@goren практика разная бывает.

а какой профит от теории множеств? теоркат, как я понимаю, это обобщенная теория множеств

@vasya Не, это сильно другая парадигма. Теория множеств полезна для оснований математики, но там куча разных сложностей, из-за которых логически полную математику не создать.

@goren но когда теория множеств появилась, никто ее не рассматривал как "полезную для оснований математики". понадобилось приличное количество лет, костылей и переделок, пока она прижилась и стала профитабельной

@vasya Штоу. Кантор же ее для основания на ней математики и создавал, афайр.

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

@vasya У них какое-то говно вроде бы получилось, не uzbl.

@plhk ZFC норм в принципе. Хотя всё равно логически полной математики не получилось.

@goren Ехал гёдель через гёдель?

В математике это такой хороший, удобный, правильный язык и способ смотреть на вещи.

@neko Но я же не математик, а погромист.