r
Я создал
Size: a a a
2020 May 20
AS
Если бы математика или программирование не были бы творческими процессами, то существовали бы алгоритмы автоматизации этих процессов
G
Если бы математика или программирование не были бы творческими процессами, то существовали бы алгоритмы автоматизации этих процессов
О, интересное определение
r
Алгоритм и у мозга существует - численно решить уравнения квантмеха.
DS
red75prime
Творчество - чтобы все задумались, глядя на результат (и, возможно, всплакнули). Инженерия - чтобы пользовались.
Так тут всё просто.
Математика - это искусство, если именно про научную математику говорить. Программирование - это часть конструктивной математики, по очевидным причинам (см. изоморфизм Карри-Говарда, все дела). Следовательно - программирование - это искусство.
Математика - это искусство, если именно про научную математику говорить. Программирование - это часть конструктивной математики, по очевидным причинам (см. изоморфизм Карри-Говарда, все дела). Следовательно - программирование - это искусство.
r
Так тут всё просто.
Математика - это искусство, если именно про научную математику говорить. Программирование - это часть конструктивной математики, по очевидным причинам (см. изоморфизм Карри-Говарда, все дела). Следовательно - программирование - это искусство.
Математика - это искусство, если именно про научную математику говорить. Программирование - это часть конструктивной математики, по очевидным причинам (см. изоморфизм Карри-Говарда, все дела). Следовательно - программирование - это искусство.
Поправлю: следовательно программирование в Coq и подобных - творчество.
DS
red75prime
Поправлю: следовательно программирование в Coq и подобных - творчество.
Так это любое программирование, потому что любую программу можно в итоге представить в виде лямбда исчисления
r
Так это любое программирование, потому что любую программу можно в итоге представить в виде лямбда исчисления
Но доказать, что она делает то что надо в общем случае нельзя.
DS
red75prime
Но доказать, что она делает то что надо в общем случае нельзя.
А тут не обязательно про это речь.
Лямбда исчисление даже в своем нетипизированном виде, это всё равно однозначно часть именно математики.
Лямбда исчисление даже в своем нетипизированном виде, это всё равно однозначно часть именно математики.
AS
Творчество - это процесс, который не поддается автоматизации
r
Творчество - это процесс, который не поддается автоматизации
Неконструктивное определение. Если придерживаться этой точки зрения, то можно просто сказать: творчество - это то, чем занимаются люди. Потому что создание новых форм, вызывающих эмоциональный отклик, будет (и уже частично) автоматизировано.
AS
red75prime
Неконструктивное определение. Если придерживаться этой точки зрения, то можно просто сказать: творчество - это то, чем занимаются люди. Потому что создание новых форм, вызывающих эмоциональный отклик, будет (и уже частично) автоматизировано.
Я так думаю, что оно просто частичное, ну то есть его нужно уточнить
r
Творчество - это творчество, пока мы не знаем деталей порождающего механизма?
AS
Я думаю это вполне справедливо, у творчества есть момент новизны
AZ
Не, совместимость можно и ломать. Если при этом есть тулзы, которые полностью мигрируют твой код на новую версию.
такие тулы очень редко работают в 100% случаев, а для екоторых и людей нет чтобы эту тулу прогнать
ML
red75prime
Творчество - чтобы все задумались, глядя на результат (и, возможно, всплакнули). Инженерия - чтобы пользовались.
Не ревьювер, а искусствовед
AZ
red75prime
Творчество - чтобы все задумались, глядя на результат (и, возможно, всплакнули). Инженерия - чтобы пользовались.
эейфелева башня - искусство (собсна, она заналя первое место на выставке), но ей пользуются
r
Я не говорил, что это взаимоисключающие понятия.
r
Иногда пользоваться можно, но и поплакать тоже охота