Comments 41
UFO just landed and posted this here
В Евклидовой геометрии нет определения точки и прямой, но известны их свойства.
UFO just landed and posted this here
Какие?
UFO just landed and posted this here
Это не математические определения. Что такое длина, ширина, радиус? Что такое абстрактный объект?
UFO just landed and posted this here
Длина и ширина имеют строгие определения. Причем одно и тоже определение, это понятие «мера». На википедии легко найти строгое определение.
Более того, привычное понятие объема для непрерывных замкнутых поверхностей очевидным образом определяется через вписанные и описанные многогранники вокруг поверхности и априорного задания объема многогранника.
Хотя на вопрос об определении интеллекта это никак не отвечает, так, маленький комментарий.
Более того, привычное понятие объема для непрерывных замкнутых поверхностей очевидным образом определяется через вписанные и описанные многогранники вокруг поверхности и априорного задания объема многогранника.
Хотя на вопрос об определении интеллекта это никак не отвечает, так, маленький комментарий.
Более того, это не отвечает на вопрос об определении точки.
Точку можно определить как нульмерное сдвинутое подрпространства исходного пространства.
Но если уж говорить о геометрии (которая очень тесно связана с такой вещью как линейное пространство), то понятие точки легко определить.
Как известно, линейное пространство это пара, поле P и декартово произведением поля L само на себя n раз (L ^ n) где P является подполем L и выполняется набор простых свойств, которые есть на википедии (подполем а не подмножеством для того, что бы операции сложения и умножения для любых элементов P были определены на L).
В таком случае точка определяется как элемент множества L ^ n. Мне показалось очевидным это определение и я не стал его указывать, тем не менее. При этом прямую тоже можно определить строго.
Для этого нужно сначала определить гиперплоскость, а потом определить прямую как гиперплоскость в сдвинутом двумерном линейном подпространстве исходного пространства.
Гиперплоскость в пространстве размерности n (с заданным скалярным произведением) определяется как геометрическое место точек удовлетворяющих условию (x, n) = c, где n и c заданные вектора. Более того, прямую в пространстве размерности n можно определить как пересечение n — 1 плоскости при условии, что нормали всех плоскостей линейно независимы.
(Спонсор этого поста курс линейной алгебры ВМК МГУ Валерия Семеновича Панферова).
Вообщем геометрия совсем не такая уж и размытая наука. Школьная так уж тем более.
Но если уж говорить о геометрии (которая очень тесно связана с такой вещью как линейное пространство), то понятие точки легко определить.
Как известно, линейное пространство это пара, поле P и декартово произведением поля L само на себя n раз (L ^ n) где P является подполем L и выполняется набор простых свойств, которые есть на википедии (подполем а не подмножеством для того, что бы операции сложения и умножения для любых элементов P были определены на L).
В таком случае точка определяется как элемент множества L ^ n. Мне показалось очевидным это определение и я не стал его указывать, тем не менее. При этом прямую тоже можно определить строго.
Для этого нужно сначала определить гиперплоскость, а потом определить прямую как гиперплоскость в сдвинутом двумерном линейном подпространстве исходного пространства.
Гиперплоскость в пространстве размерности n (с заданным скалярным произведением) определяется как геометрическое место точек удовлетворяющих условию (x, n) = c, где n и c заданные вектора. Более того, прямую в пространстве размерности n можно определить как пересечение n — 1 плоскости при условии, что нормали всех плоскостей линейно независимы.
(Спонсор этого поста курс линейной алгебры ВМК МГУ Валерия Семеновича Панферова).
Вообщем геометрия совсем не такая уж и размытая наука. Школьная так уж тем более.
Евклидова геометрия всё же не о линейном пространстве. В таком виде аксиомы евклидовой геометрии можно было бы выводить в виде теорем. Но Гильберт и другие создавали именно системы аксиом.
Но если точка это всё же элемент множества, то что такое множество, и что такое элемент множества?
Евклидова георметрия, или геометрия на евклидовом пространстве в современном понятии уже как раз о линейном пространстве, и вообще говоря аксиоматика евклидовой геометрии равносильна фиксации некоторых свойств этого самого линейного пространства и скалярного произведения на нем.
Однако если это не устраивает, то всегда можно определить евклидову геометрию через теорию групп.
Определить множество, и, следовательно его элемент можно через систему аксиом Цермело-Френкеля, но я не возьмусь этого делать. Да и разговор был о существовании в математике тех понятий, о которых шла речь.
На самом деле в итоге в математике очень много что определено, и, как мне кажется, если постараться, можно определить и процесс творчества, главное чтоб был контекст, из которого вытекало бы определение.
Однако если это не устраивает, то всегда можно определить евклидову геометрию через теорию групп.
Определить множество, и, следовательно его элемент можно через систему аксиом Цермело-Френкеля, но я не возьмусь этого делать. Да и разговор был о существовании в математике тех понятий, о которых шла речь.
На самом деле в итоге в математике очень много что определено, и, как мне кажется, если постараться, можно определить и процесс творчества, главное чтоб был контекст, из которого вытекало бы определение.
Понятия точки и прямой определяются неявно, через аксиомы. По сути определение звучит как «сущности, удовлетворяющие аксиомам, называются точками/прямыми». Так вся математика работает: новые объекты вводятся описанием их свойств.
Это такие понятия, которым по определению невозможно дать четкое определение.
Я бы сказал так, показываем результаты деятельности группе случайных (психически здоровых, со справкой) подопытных результаты «творчества» или «интеллекта» компьютера и спрашиваем, является ли это творчеством или интеллектуальным поведением, по результатам формируем обучающую выборку для нейросети, которая в дельнейшем будет без участия людей этим заниматься и прокачивать скилл тестируемых компьютеров.
Я бы сказал так, показываем результаты деятельности группе случайных (психически здоровых, со справкой) подопытных результаты «творчества» или «интеллекта» компьютера и спрашиваем, является ли это творчеством или интеллектуальным поведением, по результатам формируем обучающую выборку для нейросети, которая в дельнейшем будет без участия людей этим заниматься и прокачивать скилл тестируемых компьютеров.
Как запрограммируешь, так и будет. В наше время пора завязывать с «душой» компьютера и его «эмоциями». Сможете представить эмоции в виде алгоритма и найти для него условия? Будут эмоции. Сможете определить так же душу через алгоритм? Будет и душа. Дайте журналистам почитать техническую литературу вместо космополитена.
кажется, эти определения отсутствуют и для человека.
«Настоящее творчество» подобно «Настоящему шотландцу».
Меня одного буквально тошнит от трипофобических картинок за «авторством» Prisma, заполонивших буквально все интернеты? Теперь и на гиктаймсе.
UFO just landed and posted this here
Рандом это не творчество?
Компьютеру со временем добавят опыт, и он сможет сделать «новое», так же, как это делает человек.
вот интересно, когда я рисую дом, это исскуство, когда нейросеть — тонны возмущения мол он это копирует, блаблабла =)
А меж тем:
«дало возможность отделить содержание от стиля исполнения картины»
Это же самое настоящее абстрактное мышление, вот оно зарождение сильного ии. С начала мы научили машину думать логически, машина обыграла людей в их человеческие игры. Теперь медленно наступаем на золотой грааль абстрактного мышления, «творчество». И это, самый страшный сон нашей расы: перестать быть особенными. Ведь многие постоянно твердят, мол чувства недоступны машине, это человеческое. А меж тем, столь ли важно, белковый ли проводник передает сигнал от белкового рецептора, или же кремневый сенсор это с медным проводом.
А меж тем:
«дало возможность отделить содержание от стиля исполнения картины»
Это же самое настоящее абстрактное мышление, вот оно зарождение сильного ии. С начала мы научили машину думать логически, машина обыграла людей в их человеческие игры. Теперь медленно наступаем на золотой грааль абстрактного мышления, «творчество». И это, самый страшный сон нашей расы: перестать быть особенными. Ведь многие постоянно твердят, мол чувства недоступны машине, это человеческое. А меж тем, столь ли важно, белковый ли проводник передает сигнал от белкового рецептора, или же кремневый сенсор это с медным проводом.
Sign up to leave a comment.
Проект Magenta от Google: способен ли компьютер на творчество?