ЕО
Можно попробовать выбраться из ловушки тьюринг-полноты, но ни у кого это не получалось
Size: a a a
2019 December 02
МБ
Есть всякие абстрактные результаты для деревьев синхронизации, например. Они CCC, но бесконечны
МБ
Можно попробовать выбраться из ловушки тьюринг-полноты, но ни у кого это не получалось
С ленивыми вычислениями всё хорошо получается.
ЕО
В общем мне интересно было бы результаты какие-то промежуточные посмотреть, я решая схожую проблему регулярно блуждаю в лабиринте из относительного небольшого количества проблем :)
МБ
Хорошо. Оформлю только по-человечески
G(
Я вам мем принес
t
сейчас бы с профунктора мемчики воровать
ЕО
Давайте с мемасами куда-то в другое место
МБ
Ну, а что? Правдоподобный мемасик. Но не только категорщики забывают в математике о реальности. Постоянно с "чистыми" математиками ругаемся из-за этого
ЕО
Это же на разговор о философии тянет :)
2019 December 06
G(
чат прям живой я вижу
A
йолка
KV
чат прям живой я вижу
Задавайте Ваши ответы
k
Что читать чайнику? Делал заход на "теория категорий для погромиста" (не помню как это по-английски), продолжать осиливать её или чото иное?
Oℕ
kucheryavenkov
Что читать чайнику? Делал заход на "теория категорий для погромиста" (не помню как это по-английски), продолжать осиливать её или чото иное?
см. пин
NM
kucheryavenkov
Что читать чайнику? Делал заход на "теория категорий для погромиста" (не помню как это по-английски), продолжать осиливать её или чото иное?
А
kucheryavenkov
Что читать чайнику? Делал заход на "теория категорий для погромиста" (не помню как это по-английски), продолжать осиливать её или чото иное?
У Лавера в "Conceptual mathematics" вроде вполне понятно написано, я тоже с неё начал (мои познания тоже квалифицируются как "чайник"). И в учебнике "Algebra Chapter 0" Алуффи есть всякие упражнения.
"Category theory for programmers" мне показалась не очень fitting, потому что там автор сразу мне пихает Haskell и C++. Это более узко выглядит.
"Category theory for programmers" мне показалась не очень fitting, потому что там автор сразу мне пихает Haskell и C++. Это более узко выглядит.
SK
@drunk_foxx Conceptual Mathematics только, не Concrete. То немного другая книга.
А
Да, пардон. Смешалось в голове
SK
ага, сам часто путаю) когда-то ту же ошибку делал)