Нахуя всё это нужно внутри математики?

(Reply to this) (Parent) (Thread)

Это не средства, а цель.

(Reply to this) (Parent)

Это отдельная наука, просто с математическими методами.

(Reply to this) (Parent) (Thread)

Не знаю.

Вот Манин использовал эту науку в комбинаторной теории групп. А Матиясевич и еще некоторые товарищи доказывали теоремы в анализе.

Но я не сказал бы, что это повод говорить, что "логика" нужна алгебре и анализу.

(Reply to this) (Parent) (Thread)

Это очень печально на самом деле, что ты выбрал такую ебанутую сферу деятельности. Соболезную по этому поводу.

(Reply to this) (Parent) (Thread)

Откуда такой баттхерт?

Это не моя сфера деятельности.

(Reply to this) (Parent)

> Это отдельная наука
да
> просто с математическими методами
нет

(Reply to this) (Parent) (Thread)

Пучки и категории это не математический метод?

(Reply to this) (Parent)