Я спрашивал именно как у формалиста и логициста, тем более у того, который сам поставил вопрос о "математике креативных рассуждений", то есть о математике, которая должна иметь формальное представление о том, чем она как креативная отличается от некреативной.
Так вот мне всегда казалось, что креативное (творческое) суждение отличается от некреативного (не творческого) именно по признаку формальной выводимости: если мы имеем базу данных + логику ее обработки, то любое полученное на выходе суждение будет некреативным. По сути, это означает, что получить такое суждение может любой в результате выполнения ряда формальных операций. И наоборот, если суждение получено неформальным путем, неизвестно каким путем, вне фиксированного алгоритма, то такое суждение мы называем креативным, полученным в результате творчества, а не формального вывода. И если принять эти рассуждения, то само понятие "креативная математика" является нонсенсом: если уж математика, если есть формализированный вывод, то это по определению не творчество.
Тут вроде все банально. Интересна лишь проблема истинности креативного суждения - а ведь оно должно быть истинным, поскольку не любое суждение, полученное вне формализованных операций, является креативным. Понятно только, что эта истинность имеет принципиально другую природу, чем истинность некреативных суждений (перенесенная правилами вывода от истинности аксиом).
Так вот мне всегда казалось, что креативное (творческое) суждение отличается от некреативного (не творческого) именно по признаку формальной выводимости: если мы имеем базу данных + логику ее обработки, то любое полученное на выходе суждение будет некреативным. По сути, это означает, что получить такое суждение может любой в результате выполнения ряда формальных операций. И наоборот, если суждение получено неформальным путем, неизвестно каким путем, вне фиксированного алгоритма, то такое суждение мы называем креативным, полученным в результате творчества, а не формального вывода. И если принять эти рассуждения, то само понятие "креативная математика" является нонсенсом: если уж математика, если есть формализированный вывод, то это по определению не творчество.
Тут вроде все банально. Интересна лишь проблема истинности креативного суждения - а ведь оно должно быть истинным, поскольку не любое суждение, полученное вне формализованных операций, является креативным. Понятно только, что эта истинность имеет принципиально другую природу, чем истинность некреативных суждений (перенесенная правилами вывода от истинности аксиом).
Reply
Leave a comment