Size: a a a

Теория категорий

2021 July 21

Oℕ

Oleg ℕizhnik in Теория категорий
Рассуждения о том, зачем запрещать философию в теоркат чате сами по себе философия, по краю ходите
источник

SB

S B in Теория категорий
Только хотел сказать.
источник

ЕО

Евгений Омельченко... in Теория категорий
Это уже политология :)
источник

SB

S B in Теория категорий
Да и Рассел себя философом считал больше, чем математиком, как впрочем и Декарт.
источник

Oℕ

Oleg ℕizhnik in Теория категорий
источник

Oℕ

Oleg ℕizhnik in Теория категорий
вот мы их и не обсуждаем в теоркат чате то
источник

ЕО

Евгений Омельченко... in Теория категорий
Проблема в том, что эта тема генерит много оффтопа, а местные завсегдатаи в философии разбираются ещё хуже, чем в математике. В Критоне Платон устами Сократа говорит, что нет согласия там, где нет знание, а господствует лишь мнение. Вот отсутствие этого самого согласия приводит к простыням оффтопа.
источник

SB

S B in Теория категорий
Это как сказать, что в чате про программирование не обсуждается компютер саенс или архитектура ЭВМ. Явно может не обсуждается, но неявно присутствует в каждом тезисе. Или я не прав?
источник

SB

S B in Теория категорий
Может тогда чат для офтопа сделать :)
источник

ЕО

Евгений Омельченко... in Теория категорий
Можете сделать. Я добавлю в описание группы
источник

SB

S B in Теория категорий
А кто-то ещё считает, что группа вроде «философия математики» была бы полезна?
источник

Oℕ

Oleg ℕizhnik in Теория категорий
мы здесь обсуждаем только то, что явно относится к теоркату, снова провал
источник

Oℕ

Oleg ℕizhnik in Теория категорий
источник

SB

S B in Теория категорий
Ок
источник

B

Brenoritvrezorkre in Теория категорий
прорекламирую канал тогда и тут

формальная философия, логика, математика

@brenoritvrezorkre_channel
источник

SB

S B in Теория категорий
Ребята, а может кто знает каналы по проблемам вычислимости, теория рекурсивных функций Чёрча и вот это все?
источник

Oℕ

Oleg ℕizhnik in Теория категорий
так не канал же, группа интересует
источник

B

Brenoritvrezorkre in Теория категорий
хотя у меня ощущение, что я уже рекламировал здесь...
источник

Oℕ

Oleg ℕizhnik in Теория категорий
человеку хочется самому обсудить, а не читать
источник

B

Brenoritvrezorkre in Теория категорий
при канале есть чат
источник