(про скам)

Это сейчас, в начале там были шутеечки про скалу

кстати Кант не очень, когда к нему его слуга пристал, он его уволил, хотя этот слуга хренову тучу времени с ним был, а еще если кто-то критиковал его "критику чистого разума", он говорил, что его не понимают, но был чел философ, он написал письмо Канту, Кант тогда сказал, что это единственный человек, который его понял, а тот потом послал 2 письмо в котором разнес "критику чистого разума", ну и Кант обиделся, а тот чел, не помню как звали его потом за бокал вина в баре толкал философские темы, такие вот истории из мира философии

Я не понял, админ у канала сменился или сменил пол?

Давайте лучше про синтетическую теорию доменов. Может кто-нибудь знает, где кратко основные идеи почитать (без разжёвывания того, что такое effective topos, я вроде и так понимаю это)

Извиняюсь, просто не смог промолчать(

в философии математики про это кратко не обсуждалось?

я бы наверное смотрел в сторону работ биркедала, про топос деревьев и охраняемую рекурсию

Если смотреть историю, то вавилонская и египетская математика появились для решения конкретных задач

(и были вычислительными)

Вы не правы совершенно, так как есть много хорошей философии математики в аналитической и формальной философии, но это, конечно, не чат по ним

у вас же есть вроде чат по формальной философии

Но могу скинуть книгу (мне кажется, я её упоминал, возможно, здесь, а может, нет)

Только там не теоркат

можно туда перенести дискуссию

Да

о скиньте мне тоже

Кидайте линк, я добавлю в описание

Ну по крайней мере что не предикат

Чат при моём канале https://t.me/brenoritvrezorkre_channel

Это оно? https://t.me/joinchat/CIoSQlVeceIp4Y2wACW4wA