«Кто сказал, что нельзя построить математику креативных рассуждений?» А где математика? Где, то чем обработать не фиксированную базу? Где creative logic? Ведь она-то (логика) и есть математика, а не база )))
смысл простой, используем коиндукцию, берем не наименьшее множество, отвечающее заданным условиям, а наибольшее. От любой фиксированной базы данных не остается тогда и следа, а математика сохраняется)
Тогда вопрос прямой: чем отличается креативное суждение, от некриативного? Только фиксировав это отличие можно говорить о креативных рассуждениях, то есть о логике получения истинных креативных суждениях.
я различаю так. Обычная (некреативная) логика строится на индукции (стремится фиксировать базу данных), а креативная логика -- на коиндукции (стремится выйти за рамки любой фиксированной базы данных). О коиндукции (coinduction) можно посмотреть в нете
Comments 14
А где математика? Где, то чем обработать не фиксированную базу? Где creative logic? Ведь она-то (логика) и есть математика, а не база )))
Reply
http://dl.acm.org/citation.cfm?id=1608362
смысл простой, используем коиндукцию, берем не наименьшее множество, отвечающее заданным условиям, а наибольшее. От любой фиксированной базы данных не остается тогда и следа, а математика сохраняется)
Reply
Reply
Reply
Наверное, это что-то мультимодальное.
А что такое "фиксированная база данных" и где это применяется? ;-)
Reply
Leave a comment