Лада Шиповалова - лекция по философии науки.
- Мы сами знаем, что она не имеет решения, - сказал Хунта, немедленно ощетинившись. - Мы хотим знать, как ее решать. [...] Бессмыслица - искать решение, если оно и так есть. Речь идет о том, как поступить с задачей, которая решения не имеет. Это глубоко принципиальный вопрос, который, как я вижу, тебе, прикладнику, к сожалению, не доступен.
С 0:28:00 примерно:
... О чем речь? О том, что математик [...] ищет то, для чего еще нет алгоритма. То есть, математики не считают, а ищут неисчислимое. То есть, удивляются. Сомневаются в том, что наше знание в исчислении всего сущего уже достаточно.В этом смысле они пытаются не то, что подчинено математической просчитываемости, а то, что выходит за рамки просчитываемости. Зачем они это пытаются? Понятно, зачем - затем, чтобы наша способность считать возросла. Точнее, совершила некий скачок, и как бы мы поняли, что нет, то, как мы умели считать - это еще не все. Мы можем круче, мы можем больше, да? Но для того, чтобы это понять или даже заподозрить, нам нужно усомниться в том, что наших способов считать достаточно. Вот оно - удивление, или сомнение, которое присуще самой науке. Кроме того, мы видим - в смысле вот этого другого образа науки - что в науке не всегда всё есть, наука не имеет дела с чем-то вечным и неизменным. В науке возникают научные понятия, научные ценности, научные объекты возникают...
originally in: https://saiscea.dreamwidth.org/234505.html
Click to viewС 0:28:00 примерно:
... О чем речь? О том, что математик [...] ищет то, для чего еще нет алгоритма. То есть, математики не считают, а ищут неисчислимое. То есть, удивляются. Сомневаются в том, что наше знание в исчислении всего сущего уже достаточно.В этом смысле они пытаются не то, что подчинено математической просчитываемости, а то, что выходит за рамки просчитываемости. Зачем они это пытаются? Понятно, зачем - затем, чтобы наша способность считать возросла. Точнее, совершила некий скачок, и как бы мы поняли, что нет, то, как мы умели считать - это еще не все. Мы можем круче, мы можем больше, да? Но для того, чтобы это понять или даже заподозрить, нам нужно усомниться в том, что наших способов считать достаточно. Вот оно - удивление, или сомнение, которое присуще самой науке. Кроме того, мы видим - в смысле вот этого другого образа науки - что в науке не всегда всё есть, наука не имеет дела с чем-то вечным и неизменным. В науке возникают научные понятия, научные ценности, научные объекты возникают...
originally in: https://saiscea.dreamwidth.org/234505.html