Сообщение Re[3]: «Механизм функций основательно изучен математиками» от 10.06.2023 14:53
Изменено 10.06.2023 14:57 graniar
Re[3]: «Механизм функций основательно изучен математиками»
Здравствуйте, Эйнсток Файр, Вы писали:
ЭФ>Этот раздел как называется?
Это называется теорией множеств. Только нет там никакого универсального ответа о "механизме функций".
Просто кому-то приспичило попытаться формализовать все сущее, и получилось весьма коряво на мой взгляд.
Хотя теория множеств вполне используется в качестве основы для формализации математики.
ЭФ>Этот раздел как называется?
Это называется теорией множеств. Только нет там никакого универсального ответа о "механизме функций".
Просто кому-то приспичило попытаться формализовать все сущее, и получилось весьма коряво на мой взгляд.
Хотя теория множеств вполне используется в качестве основы для формализации математики.
Re[3]: «Механизм функций основательно изучен математиками»
Здравствуйте, Эйнсток Файр, Вы писали:
ЭФ>Этот раздел как называется?
Это называется теорией множеств. Только нет там никакого универсального ответа о "механизме функций".
Просто кому-то приспичило попытаться формализовать все сущее, и получилось весьма коряво на мой взгляд.
Хотя теория множеств вполне используется в качестве основы для формализации математики.
То же самое более простыми словами:
Вот допустим функция на входе берет int32_t и выдает результат bool.
Можно сказать, что функция является отображением множества в 2^32 элементов в множество из двух элементов.
ЭФ>Этот раздел как называется?
Это называется теорией множеств. Только нет там никакого универсального ответа о "механизме функций".
Просто кому-то приспичило попытаться формализовать все сущее, и получилось весьма коряво на мой взгляд.
Хотя теория множеств вполне используется в качестве основы для формализации математики.
То же самое более простыми словами:
Вот допустим функция на входе берет int32_t и выдает результат bool.
Можно сказать, что функция является отображением множества в 2^32 элементов в множество из двух элементов.