Size: a a a

2020 January 31

DF

Dollar Føølish in rust_offtopic
Вообще интересный момент , что успех фп отчасти определяется объектами высшего порядка или первого класса и композабельностью , что проводит различия между компьютерным миром и реальным, где гипостазирование и конструктивизм -  критерии болезни философской системы
источник

DF

Dollar Føølish in rust_offtopic
Хз конечно может это я надумал
источник

λ

λоλторт in rust_offtopic
Dollar Føølish
Вообще интересный момент , что успех фп отчасти определяется объектами высшего порядка или первого класса и композабельностью , что проводит различия между компьютерным миром и реальным, где гипостазирование и конструктивизм -  критерии болезни философской системы
А где гипостазирование?
источник

DF

Dollar Føølish in rust_offtopic
Как раз же
источник

DF

Dollar Føølish in rust_offtopic
Объекты высшего порядка
источник

DF

Dollar Føølish in rust_offtopic
Предикаты , функции те же
источник

λ

λоλторт in rust_offtopic
Но гипостазирование это же такая форма шизы. Объекты высшего порядка существуют только в рамках той системы, где они могут быть определены.
источник

λ

λоλторт in rust_offtopic
И через эту систему определяются
источник

λ

λоλторт in rust_offtopic
При этом независимыми от неё они не становятся
источник

λ

λоλторт in rust_offtopic
А что не так с конструктивизмом я не понимаю
источник

DF

Dollar Føølish in rust_offtopic
Конструктивизм , наверное , тоже форма шизы) реальное познание же не разворачивается в бурбаки-прогрессии
источник

λ

λоλторт in rust_offtopic
Dollar Føølish
Конструктивизм , наверное , тоже форма шизы) реальное познание же не разворачивается в бурбаки-прогрессии
А при чем тут это и конструктивизм?
источник

DF

Dollar Føølish in rust_offtopic
В целом можно проработать эти аргументы, но выводы вряд ли будут полезны где то кроме компьютинга
источник

DF

Dollar Føølish in rust_offtopic
λоλторт
А при чем тут это и конструктивизм?
Философские системы традиционные для запада находят обоснование реальности объекта в субстанции. Бурбакизм выводит все из таких субстанций - базовых объектов. С этим был связан известный кризис начала ХХ века в искусствоведении например
источник

DF

Dollar Føølish in rust_offtopic
Так, чето я сумбурно говорю
источник

DF

Dollar Føølish in rust_offtopic
Я хотел бы выразить основную мысль : компьютинг возникает там где есть структурный паттерн,  и объекты , в общем , квантифицируемы. Философия - наоборот, где этого паттерна нет
источник

λ

λоλторт in rust_offtopic
Конструктивизм это же вроде логичное "а что делать если позитивизм сдох вместе с сотнями миллионов без пользы погибших людей в XX веке", не?
источник

DF

Dollar Føølish in rust_offtopic
Я не про математический конструктивизм)
источник

DF

Dollar Føølish in rust_offtopic
А про особенность мысли
источник

DF

Dollar Føølish in rust_offtopic
Обычно говорят про систему как конструктивистскую, если она все выводит внутри себя
источник