Единое человечество.
alim
Мастер
6/11/2013, 1:22:28 PM
(Chelydra @ 11.06.2013 - время: 07:40)
Скажу коротко (ибо разговор этот весьма объемный): считаю это большим заблуждением.
ИИ будет обладать всеведением по человеческим меркам. Когда вся информация хранящаяся нынче на всех носителях, в том числе и в мозгу каждого человека, станет доступна для ИИ.
Какие принципиальные препятствия Вы видите в достижении этого состояния?
Я Вас понял, В таком контексте, другое дело.
Представьте, что Вы провели опрос на знание принципов работы теплового двигателя среди студентов физфака, и среди студентов филфака. Как Вы думаете, где будет наблюдаться большее разнообразие мнений?
Представьте, что Вы провели опрос на знание оснований математики среди профессиональных математиков, и среди студентов филфака. Как Вы думаете, где будет наблюдаться большее разнообразие мнений?
А я Вам сразу отвечу: студенты филфака худо-бедно вспомнят школьную программу, одну на всех, и мнение у них будет примерно одинаковое. А вот математики, поверьте мне на слово, непременно подерутся, думаю, придется даже полицию вызывать, если им еще и по 100 грамм налить. А без 100 грамм они тем более не разберутся.
Если объективная реальность одна на всех, то и истина одна на всех.
Вы верите в объективную реальность? И в истину? Блажен, кто верует...
Объективная реальность может описываться как угодно многими математическими моделями, причем часто логически несовместимы моделями. Какую выберет ИИ одному Богу известно. Возможно разные ИИ выберут разные базовые модели, и... непременно подерутся, возможно даже придется полицию вызывать, а если им еще по 100 грамм налить.... такое начнется....
Новые знания появляются, когда результаты наблюдений и экспериментов осмысливаются разумом. Человечество накопило безбрежный океан наблюдений и экспериментов, а вот разума для их обработки определённо не хватает.
Скажу коротко (ибо разговор этот весьма объемный): считаю это большим заблуждением.
ИИ будет обладать всеведением по человеческим меркам. Когда вся информация хранящаяся нынче на всех носителях, в том числе и в мозгу каждого человека, станет доступна для ИИ.
Какие принципиальные препятствия Вы видите в достижении этого состояния?
Я Вас понял, В таком контексте, другое дело.
Представьте, что Вы провели опрос на знание принципов работы теплового двигателя среди студентов физфака, и среди студентов филфака. Как Вы думаете, где будет наблюдаться большее разнообразие мнений?
Представьте, что Вы провели опрос на знание оснований математики среди профессиональных математиков, и среди студентов филфака. Как Вы думаете, где будет наблюдаться большее разнообразие мнений?
А я Вам сразу отвечу: студенты филфака худо-бедно вспомнят школьную программу, одну на всех, и мнение у них будет примерно одинаковое. А вот математики, поверьте мне на слово, непременно подерутся, думаю, придется даже полицию вызывать, если им еще и по 100 грамм налить. А без 100 грамм они тем более не разберутся.
Если объективная реальность одна на всех, то и истина одна на всех.
Вы верите в объективную реальность? И в истину? Блажен, кто верует...
Объективная реальность может описываться как угодно многими математическими моделями, причем часто логически несовместимы моделями. Какую выберет ИИ одному Богу известно. Возможно разные ИИ выберут разные базовые модели, и... непременно подерутся, возможно даже придется полицию вызывать, а если им еще по 100 грамм налить.... такое начнется....
alim
Мастер
6/11/2013, 1:27:36 PM
(Nancy @ 11.06.2013 - время: 09:16)
При достаточном "объеме" квантового ядра (в грубой аналогии - процессора) самосборка произойдет в малые доли секунды. Тут совершенно не уместна аналогия с живым разумом и его обучением. Боюсь Вы не слишком глубоко представляете сложность проблемы. Проблема не в физике (повторюсь: мозг не слишком сложная система, куда ему до квантового процессора, а то и до обычного - а ведь работает), проблема в математике.
При достаточном "объеме" квантового ядра (в грубой аналогии - процессора) самосборка произойдет в малые доли секунды. Тут совершенно не уместна аналогия с живым разумом и его обучением. Боюсь Вы не слишком глубоко представляете сложность проблемы. Проблема не в физике (повторюсь: мозг не слишком сложная система, куда ему до квантового процессора, а то и до обычного - а ведь работает), проблема в математике.
Lady Mechanika
Грандмастер
6/11/2013, 1:31:43 PM
(alim @ 11.06.2013 - время: 09:22)
Объективная реальность одна. И есть несметное количество заблуждений на счет неё.
ИИ построенный на не противоречивых принципах, и опирающийся на абсолютную логику, рациональность просто не сможет впасть в заблуждение. Он абсолютная противоположность человеческому разуму, который на 90% своего бытия пребывает в состоянии заблуждения и плодоносит дальнейшие абсурды.
Рациональность означает способность приходить к однозначным выводам на основании исходных посылок, без каких-либо ошибок, скрытых влияний, произвольностей, то есть в основе рациональности лежит логика.
Позволю себе вольность, заявив - сутью ИИ будет непогрешимость и абсолютность.
Вы верите в объективную реальность? И в истину? Блажен, кто верует...
Объективная реальность может описываться как угодно многими математическими моделями, причем часто логически несовместимы моделями. Какую выберет ИИ одному Богу известно. Возможно разные ИИ выберут разные базовые модели, и... непременно подерутся, возможно даже придется полицию вызывать, а если им еще по 100 грамм налить.... такое начнется....
Объективная реальность одна. И есть несметное количество заблуждений на счет неё.
ИИ построенный на не противоречивых принципах, и опирающийся на абсолютную логику, рациональность просто не сможет впасть в заблуждение. Он абсолютная противоположность человеческому разуму, который на 90% своего бытия пребывает в состоянии заблуждения и плодоносит дальнейшие абсурды.
Рациональность означает способность приходить к однозначным выводам на основании исходных посылок, без каких-либо ошибок, скрытых влияний, произвольностей, то есть в основе рациональности лежит логика.
Позволю себе вольность, заявив - сутью ИИ будет непогрешимость и абсолютность.
Lady Mechanika
Грандмастер
6/11/2013, 1:37:13 PM
(alim @ 11.06.2013 - время: 09:27)
Не вижу проблемы, в смысле принципиально не познаваемой и не решаемой.
К стати с нетерпением жду докладов которые случатся через несколько дней на конгрессе «ГЛОБАЛЬНОЕ БУДУЩЕЕ 2045» а именно эти:
Теодор Бергер — Проектируя память. Когнитивные нейропротезы для восстановления и улучшения функции памяти
Эд Бойден — Инструменты для инженерии мозга
Джордж Черч — Продление закона Мура в контексте бионанотехнологии. Американский проект BRAIN (запись и копирование информации в мозге) и проект по расшифровке генома человека
Кен Хейворт — Коннектом мозга. Сохранение и создание карты
Стюарт Хамерофф и Роджер Пенроуз — Перенос индивидуального сознания человека с помощью квантовой телепортации
Амит Госвами — Квантовость сознания. Наука, психология и духовность
https://gf2045.ru/program/
Боюсь Вы не слишком глубоко представляете сложность проблемы. Проблема не в физике (повторюсь: мозг не слишком сложная система, куда ему до квантового процессора, а то и до обычного - а ведь работает), проблема в математике.
Не вижу проблемы, в смысле принципиально не познаваемой и не решаемой.
К стати с нетерпением жду докладов которые случатся через несколько дней на конгрессе «ГЛОБАЛЬНОЕ БУДУЩЕЕ 2045» а именно эти:
Теодор Бергер — Проектируя память. Когнитивные нейропротезы для восстановления и улучшения функции памяти
Эд Бойден — Инструменты для инженерии мозга
Джордж Черч — Продление закона Мура в контексте бионанотехнологии. Американский проект BRAIN (запись и копирование информации в мозге) и проект по расшифровке генома человека
Кен Хейворт — Коннектом мозга. Сохранение и создание карты
Стюарт Хамерофф и Роджер Пенроуз — Перенос индивидуального сознания человека с помощью квантовой телепортации
Амит Госвами — Квантовость сознания. Наука, психология и духовность
https://gf2045.ru/program/
alim
Мастер
6/11/2013, 1:51:27 PM
(Nancy @ 11.06.2013 - время: 09:31)
Вы верите в объективную реальность? Напрасно. Есть только несметное количество заблуждений - вот это и есть единственная реальность.
Никакой "абсолютной логики нет". Из банального учебника логики:
Непосредственным результатом революции, происшедшей в логике в конце XIX — начале XX в.в., было возникновение логической теории, получившей со временем имя классической логики. У ее истоков стоят наряду со многими другими исследователями ирландский логик Д. Буль, американский философ и логик Ч. Пирс, немецкий логик Г. Фреге. В их работах была постепенно реализована идея перенесения в логику тех методов, которые обычно применяются в математике.
Классическая логика ориентировалась главным образом на анализ математических рассуждений. С этими связаны многие ее особенности, нередко расценивающиеся теперь как ее недостатки. В процессе развития она оказалась одной из многих логических теорий. Но это не означает, что она представляет теперь только исторический интерес. Классическая логика по-прежнему остается ядром современной логики, сохраняющим как теоретическую, так и практическую значимость.
Разнообразные неклассические направления, возникшие позднее, составляют в совокупности то довольно неопределенное и разнородное целое, которое принято объединять под именем неклассической логики. Некоторые из этих направлений формировались в оппозиции к классической логике, другие — в полемике с нею. Но для всех она была образцом подхода к логическому анализу мышления, первой теорией, последовательно и полно реализовавшей программу математизации логики.
Из истории неклассической логики
Критика классической логики началась уже в начале этого века и велась с разных направлений. Результатом ее явилось возникновение целого ряда новых разделов современной логики. В ряде случаев оказалось, что реализованные при этом идеи активно обсуждались еще в античной и средневековой логике, но были основательно забыты в новое время.
В 1908 г. Л. Брауэр, голландский математик и логик, подверг сомнению неограниченную приложимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. А. Гейтингом и не содержащей указанных законов. Одновременно с Брауэром идею неуниверсальности закона исключенного третьего отстаивал НА. Васильев.
Еще в 1912 г. американский логик и философ К.И. Льюис обратил внимание на так называемые «парадоксы импликации», характерные для формального аналога условного высказывания в классической логике — материальной импликации. Льюис разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации, определявшееся в терминах логической невозможности. К настоящему времени предложен целый ряд теорий, претендующих на более адекватное, чем даваемое классической логикой, описание логического следования и условной связи. Наибольшую известность из них получила релевантная логика, развития американскими логиками А.Р. Андерсоном и Н.Д. Белнапом.
На рубеже 20-х гг. К.И.Льюисом и Я.Лукасевичем были построены первые в современной логике модальные логики, рассматривавшие понятия необходимости, возможности, случайности и т.п. Тем самым была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики.
В 20-е гг. начали складываться также многозначная логика, предполагающая, что утверждения являются не только истинными или ложными, но могут иметь и другие истинностные значения; деонтическая логика, изучающая логические связи нормативных понятий; логика абсолютных оценок, исследующая логическую структуру и логические связи оценочных высказываний; вероятностная логика, использующая теорию вероятностей для анализа проблематичных рассуждений, и др. Все эти новые разделы логики не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки.
В дальнейшем сложились и нашли интересные приложения логика времени, описывающая логические связи высказываний, у которых временной параметр включается в логическую форму; паранепротиворечивая логика, не позволяющая выводить из противоречия все что угодно; эпистемическая логика, изучающая понятия «опровержимо», «неразрешимо», «доказуемо», «убежден», «сомневается» и т.п.; логика предпочтений, имеющая дело с понятиями «лучше», «хуже» и «равноценно»; логика изменения, говорящая об изменении и становлении; логика причинности, изучающая утверждения о детерминизме и причинности, и др. Экстенсивный рост логики не завершился и сейчас.
И немного посложнее:
Дедуктивная полнота логики предикатов ещё более укрепила убеждение Гильберта, что вся классическая математика в конечном счете выразима в первопорядковой логике. К этому времени были уже выявлены два важнейших теоретико-модельных свойства теорий в первопорядковом языке:
Теорема Лёвенгейма-Скулема. Если Т имеет бесконечную модель, то Т имеет модель любой бесконечной мощности t , большей или равной мощности теории Т.
Теорема компактности. Пусть Т - произвольное множество аксиом логики. Если для каждого конечного подмножества Т0 множества Т существует модель для всех аксиом из Т0, то существует модель для всех аксиом из Т.
Обе эти теоремы используются для доказательства неаксиоматизируемости теорий.
Вышеприведенный тезис Гильберта разделялся и разделяется многими логиками, отдающими предпочтение классической логике предикатов перед всеми другими логическими системами. К тому же в 1969 г. была выявлена уникальность первопорядковой логики, заключающейся в том, что классическая логика предикатов является наиболее сильной логикой, обладющей свойством Лёвенгейма-Скулема и свойством компактности.
Теорема Линдстрёма даёт определение первопорядковой логики в терминах её глобальных свойств. Интересно, что первоначально результат Линдстрёма не привлёк к себе особого внимания, о чём говорит издание в 1973 г. знаменитой книги Г. Кейслера и Ч. Ч. Чэна, где эта теорема вообще не обсуждается. Только в третьем издании уже в предисловии говорится, что этот результат является отправной точкой для развития абстрактной теории моделей и вводится новый раздел, где дается определение “абстрактной логики” как пары классов, где l есть класс предложений и л l есть отношение выполнимости, удовлетворяющее определенным условиям. Наиболее известным примером абстрактной логики как раз и является обычная первопорядковая логика, которая обозначается посредством lw ,w .
Абстрактная теория моделей претендует на обозрение всего спектра логик, связей между ними и их сравнение. С начала 70-х годов эта теория бурно развивается, а Дж. Барвайс назвал результат Линдстрёма “одним из первых и до сих пор наиболее поразительных результатов в абстрактной теории моделей”.
Имеется много интересных логик, которые богаче первопорядковой логики, такие, как слабая логика второго порядка, которая пытается построить понятие конечного в логике некоторым естественным образом; логики с формулами бесконечной длины; логики с различными экстра-кванторами типа “существует конечно много”, “существует бесконечно много”, “большинство” и т. д.; логики высших порядков. Однако не имеет значения, как мы будем расширять первопорядковую логику - в любом случае теряется или свойство компактности, или свойство Лёвенгейма-Скулема, или оба вместе. Уже второпорядковая логика, допускающая квантификацию по подмножествам, отношениям и функциям, кроме указанных свойств теряет также свойство полноты, и на самом деле является не столько логикой, сколько теорией множеств. Отсюда вся теоретико-множественная проблематика может быть сформулирована во второпорядковых терминах. Это является основным возражением против второпорядковой логики в недавно вышедшей монографии, посвященной расширениям первопорядковой логики, и поэтому автор отдает предпочтение многосортной первопорядковой логике, которая является переинтерпретацией второпорядковой логики или даже логики высших порядков в первопорядковую с различными видами объектов. Редукция к первопорядковой логике настолько сильна, что мы приходим к рекурсивно-аксиоматизируемому множеству истин. Еще ранее А. Мальцев, Хао Ван и С. Феферман, среди прочих, подчеркивали удобство работы с такой логикой, хотя, заметим, она только внешне выглядит более богатой. Хорошее введение можно найти у Фефермана.
Первой работой, поставившей вопрос о введении новых кванторов, является статья А. Мостовского, где на самом деле обсуждаются лингвистические операторы нового вида, представляющие “естественное обобщение логических кванторов”. Идея Мостовского заключается в том, что любое второпорядковое свойство рассматривается как логический квантор, если оно инвариантно относительно биективных преобразований (перестановок). Построение логики с обобщенными кванторами в последние десителетия привлекло к себе большое внимание лингвистов, математиков, философов, когнитологов. Некоторым итогом развития этого направления является фундаментальный труд “Модельно-теоретические логики”, где Дж. Барвайс приходит к следующему выводу: “Нет обратной дороги к точке зрения, что логика является первопорядковой”. А в монографии Г. Шер в связи с данной проблематикой ставится вопрос “Что есть логика?”, обсуждаются границы логики и делается вывод, что логика шире, чем традиционное мышление.
Логик много, а с появлением ИИ возможно будет еще больше
Позволю себе вольность, заявив - сутью ИИ будет непогрешимость и абсолютность.
Увы, этого не будет.
Объективная реальность одна. И есть несметное количество заблуждений на счет неё.
ИИ построенный на не противоречивых принципах, и опирающийся на абсолютную логику, рациональность просто не сможет впасть в заблуждение. Он абсолютная противоположность человеческому разуму, который на 90% своего бытия пребывает в состоянии заблуждения и плодоносит дальнейшие абсурды.
Позволю себе вольность, заявив - сутью ИИ будет непогрешимость и абсолютность.
Вы верите в объективную реальность? Напрасно. Есть только несметное количество заблуждений - вот это и есть единственная реальность.
Никакой "абсолютной логики нет". Из банального учебника логики:
Непосредственным результатом революции, происшедшей в логике в конце XIX — начале XX в.в., было возникновение логической теории, получившей со временем имя классической логики. У ее истоков стоят наряду со многими другими исследователями ирландский логик Д. Буль, американский философ и логик Ч. Пирс, немецкий логик Г. Фреге. В их работах была постепенно реализована идея перенесения в логику тех методов, которые обычно применяются в математике.
Классическая логика ориентировалась главным образом на анализ математических рассуждений. С этими связаны многие ее особенности, нередко расценивающиеся теперь как ее недостатки. В процессе развития она оказалась одной из многих логических теорий. Но это не означает, что она представляет теперь только исторический интерес. Классическая логика по-прежнему остается ядром современной логики, сохраняющим как теоретическую, так и практическую значимость.
Разнообразные неклассические направления, возникшие позднее, составляют в совокупности то довольно неопределенное и разнородное целое, которое принято объединять под именем неклассической логики. Некоторые из этих направлений формировались в оппозиции к классической логике, другие — в полемике с нею. Но для всех она была образцом подхода к логическому анализу мышления, первой теорией, последовательно и полно реализовавшей программу математизации логики.
Из истории неклассической логики
Критика классической логики началась уже в начале этого века и велась с разных направлений. Результатом ее явилось возникновение целого ряда новых разделов современной логики. В ряде случаев оказалось, что реализованные при этом идеи активно обсуждались еще в античной и средневековой логике, но были основательно забыты в новое время.
В 1908 г. Л. Брауэр, голландский математик и логик, подверг сомнению неограниченную приложимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. А. Гейтингом и не содержащей указанных законов. Одновременно с Брауэром идею неуниверсальности закона исключенного третьего отстаивал НА. Васильев.
Еще в 1912 г. американский логик и философ К.И. Льюис обратил внимание на так называемые «парадоксы импликации», характерные для формального аналога условного высказывания в классической логике — материальной импликации. Льюис разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации, определявшееся в терминах логической невозможности. К настоящему времени предложен целый ряд теорий, претендующих на более адекватное, чем даваемое классической логикой, описание логического следования и условной связи. Наибольшую известность из них получила релевантная логика, развития американскими логиками А.Р. Андерсоном и Н.Д. Белнапом.
На рубеже 20-х гг. К.И.Льюисом и Я.Лукасевичем были построены первые в современной логике модальные логики, рассматривавшие понятия необходимости, возможности, случайности и т.п. Тем самым была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики.
В 20-е гг. начали складываться также многозначная логика, предполагающая, что утверждения являются не только истинными или ложными, но могут иметь и другие истинностные значения; деонтическая логика, изучающая логические связи нормативных понятий; логика абсолютных оценок, исследующая логическую структуру и логические связи оценочных высказываний; вероятностная логика, использующая теорию вероятностей для анализа проблематичных рассуждений, и др. Все эти новые разделы логики не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки.
В дальнейшем сложились и нашли интересные приложения логика времени, описывающая логические связи высказываний, у которых временной параметр включается в логическую форму; паранепротиворечивая логика, не позволяющая выводить из противоречия все что угодно; эпистемическая логика, изучающая понятия «опровержимо», «неразрешимо», «доказуемо», «убежден», «сомневается» и т.п.; логика предпочтений, имеющая дело с понятиями «лучше», «хуже» и «равноценно»; логика изменения, говорящая об изменении и становлении; логика причинности, изучающая утверждения о детерминизме и причинности, и др. Экстенсивный рост логики не завершился и сейчас.
И немного посложнее:
Дедуктивная полнота логики предикатов ещё более укрепила убеждение Гильберта, что вся классическая математика в конечном счете выразима в первопорядковой логике. К этому времени были уже выявлены два важнейших теоретико-модельных свойства теорий в первопорядковом языке:
Теорема Лёвенгейма-Скулема. Если Т имеет бесконечную модель, то Т имеет модель любой бесконечной мощности t , большей или равной мощности теории Т.
Теорема компактности. Пусть Т - произвольное множество аксиом логики. Если для каждого конечного подмножества Т0 множества Т существует модель для всех аксиом из Т0, то существует модель для всех аксиом из Т.
Обе эти теоремы используются для доказательства неаксиоматизируемости теорий.
Вышеприведенный тезис Гильберта разделялся и разделяется многими логиками, отдающими предпочтение классической логике предикатов перед всеми другими логическими системами. К тому же в 1969 г. была выявлена уникальность первопорядковой логики, заключающейся в том, что классическая логика предикатов является наиболее сильной логикой, обладющей свойством Лёвенгейма-Скулема и свойством компактности.
Теорема Линдстрёма даёт определение первопорядковой логики в терминах её глобальных свойств. Интересно, что первоначально результат Линдстрёма не привлёк к себе особого внимания, о чём говорит издание в 1973 г. знаменитой книги Г. Кейслера и Ч. Ч. Чэна, где эта теорема вообще не обсуждается. Только в третьем издании уже в предисловии говорится, что этот результат является отправной точкой для развития абстрактной теории моделей и вводится новый раздел, где дается определение “абстрактной логики” как пары классов, где l есть класс предложений и л l есть отношение выполнимости, удовлетворяющее определенным условиям. Наиболее известным примером абстрактной логики как раз и является обычная первопорядковая логика, которая обозначается посредством lw ,w .
Абстрактная теория моделей претендует на обозрение всего спектра логик, связей между ними и их сравнение. С начала 70-х годов эта теория бурно развивается, а Дж. Барвайс назвал результат Линдстрёма “одним из первых и до сих пор наиболее поразительных результатов в абстрактной теории моделей”.
Имеется много интересных логик, которые богаче первопорядковой логики, такие, как слабая логика второго порядка, которая пытается построить понятие конечного в логике некоторым естественным образом; логики с формулами бесконечной длины; логики с различными экстра-кванторами типа “существует конечно много”, “существует бесконечно много”, “большинство” и т. д.; логики высших порядков. Однако не имеет значения, как мы будем расширять первопорядковую логику - в любом случае теряется или свойство компактности, или свойство Лёвенгейма-Скулема, или оба вместе. Уже второпорядковая логика, допускающая квантификацию по подмножествам, отношениям и функциям, кроме указанных свойств теряет также свойство полноты, и на самом деле является не столько логикой, сколько теорией множеств. Отсюда вся теоретико-множественная проблематика может быть сформулирована во второпорядковых терминах. Это является основным возражением против второпорядковой логики в недавно вышедшей монографии, посвященной расширениям первопорядковой логики, и поэтому автор отдает предпочтение многосортной первопорядковой логике, которая является переинтерпретацией второпорядковой логики или даже логики высших порядков в первопорядковую с различными видами объектов. Редукция к первопорядковой логике настолько сильна, что мы приходим к рекурсивно-аксиоматизируемому множеству истин. Еще ранее А. Мальцев, Хао Ван и С. Феферман, среди прочих, подчеркивали удобство работы с такой логикой, хотя, заметим, она только внешне выглядит более богатой. Хорошее введение можно найти у Фефермана.
Первой работой, поставившей вопрос о введении новых кванторов, является статья А. Мостовского, где на самом деле обсуждаются лингвистические операторы нового вида, представляющие “естественное обобщение логических кванторов”. Идея Мостовского заключается в том, что любое второпорядковое свойство рассматривается как логический квантор, если оно инвариантно относительно биективных преобразований (перестановок). Построение логики с обобщенными кванторами в последние десителетия привлекло к себе большое внимание лингвистов, математиков, философов, когнитологов. Некоторым итогом развития этого направления является фундаментальный труд “Модельно-теоретические логики”, где Дж. Барвайс приходит к следующему выводу: “Нет обратной дороги к точке зрения, что логика является первопорядковой”. А в монографии Г. Шер в связи с данной проблематикой ставится вопрос “Что есть логика?”, обсуждаются границы логики и делается вывод, что логика шире, чем традиционное мышление.
Логик много, а с появлением ИИ возможно будет еще больше
Позволю себе вольность, заявив - сутью ИИ будет непогрешимость и абсолютность.
Увы, этого не будет.
Lady Mechanika
Грандмастер
6/11/2013, 2:00:33 PM
(alim @ 11.06.2013 - время: 09:51)
Вы продемонстрировали классическое закольцованное заблуждение.
А этими учебниками скоро будут разжигать палую осеннюю листву.
Никакой "абсолютной логики нет". Из банального учебника логики:
Вы продемонстрировали классическое закольцованное заблуждение.
А этими учебниками скоро будут разжигать палую осеннюю листву.
alim
Мастер
6/11/2013, 2:36:41 PM
(Nancy @ 11.06.2013 - время: 10:00)
(alim @ 11.06.2013 - время: 09:51)
Уже разжигали, и не раз
Мы к звездам летели.
Летели и пели.
Мы пели свободу
Мы пили свободу,
Свободу, как воду,
Кристальную воду
Источника знанья
Ключей мирозданья.
И мы прилетели.
Но все, что хотели
Нам только приснилось.
Приснилось - проснулись
И мы ужаснулись,
И все повторилось:
Мы думали звезды нас манят в ночи
Но бабочкой мчались на пламя свечи.
Не звезды мерцали в неведомой дали
Костры инквизиции в поле пылали!
(alim @ 11.06.2013 - время: 09:51)
Никакой "абсолютной логики нет". Из банального учебника логики:
Вы продемонстрировали классическое закольцованное заблуждение.
А этими учебниками скоро будут разжигать палую осеннюю листву.
Уже разжигали, и не раз
Мы к звездам летели.
Летели и пели.
Мы пели свободу
Мы пили свободу,
Свободу, как воду,
Кристальную воду
Источника знанья
Ключей мирозданья.
И мы прилетели.
Но все, что хотели
Нам только приснилось.
Приснилось - проснулись
И мы ужаснулись,
И все повторилось:
Мы думали звезды нас манят в ночи
Но бабочкой мчались на пламя свечи.
Не звезды мерцали в неведомой дали
Костры инквизиции в поле пылали!
alim
Мастер
6/11/2013, 2:44:28 PM
(Nancy @ 11.06.2013 - время: 09:37)
Если у вас нет паранойи, это вовсе не значит, что за вами не следят (С)
Не вижу проблемы,
Если у вас нет паранойи, это вовсе не значит, что за вами не следят (С)
dedO"K
Акула пера
6/11/2013, 5:12:17 PM
(alim @ 11.06.2013 - время: 11:36)
Мы пели, летели, навзрыд и на спор!
И с маху влетели в бетонный забор!
Да, быть хорошо властелином судьбе...
Но надо, друзья, соблюдать ПДД.
И помнить, насколько б ты ни был хорош,
Что ты не один в этом мире живёшь.
Напрасны упрёки, напрасны укоры;
Есть в мире дороги, строенья, заборы.
Уже разжигали, и не раз
Мы к звездам летели.
Летели и пели.
Мы пели свободу
Мы пили свободу,
Свободу, как воду,
Кристальную воду
Источника знанья
Ключей мирозданья.
И мы прилетели.
Но все, что хотели
Нам только приснилось.
Приснилось - проснулись
И мы ужаснулись,
И все повторилось:
Мы думали звезды нас манят в ночи
Но бабочкой мчались на пламя свечи.
Не звезды мерцали в неведомой дали
Костры инквизиции в поле пылали!
Мы пели, летели, навзрыд и на спор!
И с маху влетели в бетонный забор!
Да, быть хорошо властелином судьбе...
Но надо, друзья, соблюдать ПДД.
И помнить, насколько б ты ни был хорош,
Что ты не один в этом мире живёшь.
Напрасны упрёки, напрасны укоры;
Есть в мире дороги, строенья, заборы.
Lady Mechanika
Грандмастер
6/11/2013, 6:44:38 PM
(alim @ 11.06.2013 - время: 10:36)
Я совершенно не воспринимаю и не понимаю, совсем, стихотворный стиль. Бессмысленный набор слов...
Мы к звездам летели.
Летели и пели.
Мы пели свободу
Мы пили свободу,
Свободу, как воду,
Кристальную воду
Источника знанья
Ключей мирозданья.
И мы прилетели.
Но все, что хотели
Нам только приснилось.
Приснилось - проснулись
И мы ужаснулись,
И все повторилось:
Мы думали звезды нас манят в ночи
Но бабочкой мчались на пламя свечи.
Не звезды мерцали в неведомой дали
Костры инквизиции в поле пылали!
Я совершенно не воспринимаю и не понимаю, совсем, стихотворный стиль. Бессмысленный набор слов...
efv
Акула пера
6/11/2013, 7:19:17 PM
(Nancy @ 11.06.2013 - время: 06:47)
По мнению разработчиков ИИ, их детище будет иметь широкополосные, скоростные каналы соединения со всемирной сетью, с серверами всех университетов, институтов и лабораторий, им будут доступны каналы управления автоматическими лабораториями и высокоточными научными инструментами.
Эй, Victor665!!! Где тут отключённый от сети ИИ? Наоборот, у него всё под контролем.
Нэнси, предлагаю такой вариант. Иисус Христос - бежавший из кошмарного будущего. Он хочет предотвратить такой сценарий развития и предупреждает человечество о приходе некоего "зверя" или порядка, если угодно. А мы тут радостно - трасгуманизм, ИИ, новый Бог!Как он всё предвидел! Хи-хи.
Или вот представьте. ИИ подумал чуть-чуть и всё-таки принял решение о нецелесообразности дальнейшего развития человека. Ему вдруг захотелось посмотреть как будет регрессировать человек. Уничтожены все лаборатории, изолированы все учёные. Вы сидите в клеточке. Всё более менее благопристойно. Кормят-поят. Редкий секс ...с механизмами. Никакой победы над смертью. Пофантазируйте о чувствах, которые придётся испытывать.
И про подвал некоего британского музея. Действительно, почему бы человечеству не занять соседние полки, раз такое уже не раз бывало?
По мнению разработчиков ИИ, их детище будет иметь широкополосные, скоростные каналы соединения со всемирной сетью, с серверами всех университетов, институтов и лабораторий, им будут доступны каналы управления автоматическими лабораториями и высокоточными научными инструментами.
Эй, Victor665!!! Где тут отключённый от сети ИИ? Наоборот, у него всё под контролем.
Нэнси, предлагаю такой вариант. Иисус Христос - бежавший из кошмарного будущего. Он хочет предотвратить такой сценарий развития и предупреждает человечество о приходе некоего "зверя" или порядка, если угодно. А мы тут радостно - трасгуманизм, ИИ, новый Бог!Как он всё предвидел! Хи-хи.
Или вот представьте. ИИ подумал чуть-чуть и всё-таки принял решение о нецелесообразности дальнейшего развития человека. Ему вдруг захотелось посмотреть как будет регрессировать человек. Уничтожены все лаборатории, изолированы все учёные. Вы сидите в клеточке. Всё более менее благопристойно. Кормят-поят. Редкий секс ...с механизмами. Никакой победы над смертью. Пофантазируйте о чувствах, которые придётся испытывать.
И про подвал некоего британского музея. Действительно, почему бы человечеству не занять соседние полки, раз такое уже не раз бывало?
Lady Mechanika
Грандмастер
6/11/2013, 7:42:42 PM
(efv @ 11.06.2013 - время: 15:19)
Ну скорее всего не из будущего, а из прошлого. Он видел гибель предшественников. И решил предупредить, и донести мысль о морали, ибо без нее новое человечество закончит так же или близко к тому. Тут вон mjo высказал мысль что любая цивилизация достигая определенного технологического уровня, по его мнению просто таки обязана погибнуть.
Или вот представьте. ИИ подумал чуть-чуть и всё-таки принял решение о нецелесообразности дальнейшего развития человека. Ему вдруг захотелось посмотреть как будет регрессировать человек. Уничтожены все лаборатории, изолированы все учёные. Вы сидите в клеточке. Всё более менее благопристойно. Кормят-поят. Редкий секс ...с механизмами. Никакой победы над смертью. Пофантазируйте о чувствах, которые придётся испытывать. Ну это из серии напридумывать много чего. Но в приближении к реальной логике и смыслу, мелким садизмом он заниматься не будет, ибо объект слишком прост и примитивен. И посчитав нас не нужными найдет простое и оригинальное решение.
И про подвал некоего британского музея. Действительно, почему бы человечеству не занять соседние полки, раз такое уже не раз бывало? Если не умные победят и трансгуманизм не случится то так и будет.
Нэнси, предлагаю такой вариант. Иисус Христос - бежавший из кошмарного будущего. Он хочет предотвратить такой сценарий развития и предупреждает человечество о приходе некоего "зверя" или порядка, если угодно. А мы тут радостно - трасгуманизм, ИИ, новый Бог!Как он всё предвидел! Хи-хи.
Ну скорее всего не из будущего, а из прошлого. Он видел гибель предшественников. И решил предупредить, и донести мысль о морали, ибо без нее новое человечество закончит так же или близко к тому. Тут вон mjo высказал мысль что любая цивилизация достигая определенного технологического уровня, по его мнению просто таки обязана погибнуть.
Или вот представьте. ИИ подумал чуть-чуть и всё-таки принял решение о нецелесообразности дальнейшего развития человека. Ему вдруг захотелось посмотреть как будет регрессировать человек. Уничтожены все лаборатории, изолированы все учёные. Вы сидите в клеточке. Всё более менее благопристойно. Кормят-поят. Редкий секс ...с механизмами. Никакой победы над смертью. Пофантазируйте о чувствах, которые придётся испытывать. Ну это из серии напридумывать много чего. Но в приближении к реальной логике и смыслу, мелким садизмом он заниматься не будет, ибо объект слишком прост и примитивен. И посчитав нас не нужными найдет простое и оригинальное решение.
И про подвал некоего британского музея. Действительно, почему бы человечеству не занять соседние полки, раз такое уже не раз бывало? Если не умные победят и трансгуманизм не случится то так и будет.
efv
Акула пера
6/11/2013, 7:57:11 PM
1. Я предложил будущее.
2. Так простое решение это и есть деволюция человечества.
2. Так простое решение это и есть деволюция человечества.
1NN
Акула пера
6/11/2013, 11:20:24 PM
Возникает ощущение, что создание ИИ ознаменует конец истории человечества. В том числе, и трансгуманизма...
kotas13
Акула пера
6/11/2013, 11:26:12 PM
(sxn2561388870 @ 11.06.2013 - время: 19:20)
Даже фильм есть и там это всё очень красочно показано - "Дерминатор" !
Возникает ощущение, что создание ИИ ознаменует конец истории человечества. В том числе, и трансгуманизма...
Даже фильм есть и там это всё очень красочно показано - "Дерминатор" !
Lady Mechanika
Грандмастер
6/11/2013, 11:31:52 PM
(sxn2561388870 @ 11.06.2013 - время: 19:20)
Да наступит сингулярность. Как это будет выглядеть никто сказать не может, и ни какое прогнозирование не работает.
Технологи́ческая сингуля́рность — гипотетический момент, по прошествии которого, по мнению сторонников данной концепции, технический прогресс станет настолько быстрым и сложным, что окажется недоступным пониманию, предположительно следующий после создания искусственного интеллекта и самовоспроизводящихся машин, интеграции человека с вычислительными машинами, либо значительного скачкообразного увеличения возможностей человеческого мозга за счёт биотехнологий.
По некоторым прогнозам, технологическая сингулярность может наступить уже около 2030 года
Возникает ощущение, что создание ИИ ознаменует конец истории человечества. В том числе, и трансгуманизма...
Да наступит сингулярность. Как это будет выглядеть никто сказать не может, и ни какое прогнозирование не работает.
Технологи́ческая сингуля́рность — гипотетический момент, по прошествии которого, по мнению сторонников данной концепции, технический прогресс станет настолько быстрым и сложным, что окажется недоступным пониманию, предположительно следующий после создания искусственного интеллекта и самовоспроизводящихся машин, интеграции человека с вычислительными машинами, либо значительного скачкообразного увеличения возможностей человеческого мозга за счёт биотехнологий.
По некоторым прогнозам, технологическая сингулярность может наступить уже около 2030 года
kotas13
Акула пера
6/11/2013, 11:33:54 PM
(Nancy @ 11.06.2013 - время: 19:31)
(sxn2561388870 @ 11.06.2013 - время: 19:20)
Т.е вы ратуете за конец истории человечества ?
(sxn2561388870 @ 11.06.2013 - время: 19:20)
Возникает ощущение, что создание ИИ ознаменует конец истории человечества. В том числе, и трансгуманизма...
Да наступит сингулярность. Как это будет выглядеть никто сказать не может, и ни какое прогнозирование не работает.
Технологи́ческая сингуля́рность — гипотетический момент, по прошествии которого, по мнению сторонников данной концепции, технический прогресс станет настолько быстрым и сложным, что окажется недоступным пониманию, предположительно следующий после создания искусственного интеллекта и самовоспроизводящихся машин, интеграции человека с вычислительными машинами, либо значительного скачкообразного увеличения возможностей человеческого мозга за счёт биотехнологий.
По некоторым прогнозам, технологическая сингулярность может наступить уже около 2030 года
Т.е вы ратуете за конец истории человечества ?
Lady Mechanika
Грандмастер
6/11/2013, 11:39:18 PM
(kotas13 @ 11.06.2013 - время: 19:33)
Т.е вы ратуете за конец истории человечества ?
конец истории человечества не стоит понимать это буквально. Хотя да, это будет концом старого, традиционного человечества. Вместо него будет пост человечество.
Что такое постчеловек?
Постчеловек (posthuman) - это потомок человека, модифицированный до такой степени, что уже не является человеком. Многие трансгуманисты хотят стать постлюдьми.
В качестве постчеловека, вы будете обладать умственными и физическими возможностями, далеко превосходящими возможности любого не модифицированного человека. Вы будете умнее, чем любой человек-гений и будете обладать намного более совершенной памятью. Ваше тело не будет подвержено заболеваниям и оно не будет разрушаться с возрастом, что обеспечит вам неограниченную молодость и энергию. Вы сможете получить гораздо большие способности испытывать эмоции, удовольствие и любовь или восхищаться красотой. Вам не придется испытывать усталость или скуку и раздражаться по мелочам.
Средства, которые трансгуманисты собираются использовать для превращения в постлюдей включают, следующие: молекулярную нанотехнологию генную инженерию, искусственный интеллект (некоторые считают, что искусственные интеллекты станут первыми постлюдьми), лекарства для изменения настроения, терапию против старения, нейроинтерфейс, программы для управления информацией, лекарства для улучшения памяти, носимые компьютеры, экономические изобретения (такие как фьючерсы на идеи, совместная обработка информации, и т. д.), и когнитивные технологии. В целом, технологические и социальные изобретения, которые увеличивают общую экономическую эффективность, как правило помогают и достижению трансгуманистических целей.
Постлюди могут оказаться полностью искусственными созданиями (основанными на искусственном интеллекте) или результатом большого числа изменений и улучшений биологии человека или трансчеловека. Некоторые постлюди могут даже найти для себя полезным отказаться от собственного тела и жить в качестве информационных структур в гигантских сверхбыстрых компьютерных сетях. Иногда говорят, что мы, люди, не способны представить себе, что значит быть постчеловеком. Их дела и стремления могут оказаться так же недоступны нашему пониманию, как обезьяне не понять сложности человеческой жизни.
Т.е вы ратуете за конец истории человечества ?
конец истории человечества не стоит понимать это буквально. Хотя да, это будет концом старого, традиционного человечества. Вместо него будет пост человечество.
Что такое постчеловек?
Постчеловек (posthuman) - это потомок человека, модифицированный до такой степени, что уже не является человеком. Многие трансгуманисты хотят стать постлюдьми.
В качестве постчеловека, вы будете обладать умственными и физическими возможностями, далеко превосходящими возможности любого не модифицированного человека. Вы будете умнее, чем любой человек-гений и будете обладать намного более совершенной памятью. Ваше тело не будет подвержено заболеваниям и оно не будет разрушаться с возрастом, что обеспечит вам неограниченную молодость и энергию. Вы сможете получить гораздо большие способности испытывать эмоции, удовольствие и любовь или восхищаться красотой. Вам не придется испытывать усталость или скуку и раздражаться по мелочам.
Средства, которые трансгуманисты собираются использовать для превращения в постлюдей включают, следующие: молекулярную нанотехнологию генную инженерию, искусственный интеллект (некоторые считают, что искусственные интеллекты станут первыми постлюдьми), лекарства для изменения настроения, терапию против старения, нейроинтерфейс, программы для управления информацией, лекарства для улучшения памяти, носимые компьютеры, экономические изобретения (такие как фьючерсы на идеи, совместная обработка информации, и т. д.), и когнитивные технологии. В целом, технологические и социальные изобретения, которые увеличивают общую экономическую эффективность, как правило помогают и достижению трансгуманистических целей.
Постлюди могут оказаться полностью искусственными созданиями (основанными на искусственном интеллекте) или результатом большого числа изменений и улучшений биологии человека или трансчеловека. Некоторые постлюди могут даже найти для себя полезным отказаться от собственного тела и жить в качестве информационных структур в гигантских сверхбыстрых компьютерных сетях. Иногда говорят, что мы, люди, не способны представить себе, что значит быть постчеловеком. Их дела и стремления могут оказаться так же недоступны нашему пониманию, как обезьяне не понять сложности человеческой жизни.
kotas13
Акула пера
6/11/2013, 11:39:46 PM
(Chelydra @ 11.06.2013 - время: 07:40)
(alim @ 11.06.2013 - время: 01:00)
Т.е. как в фантастических романах людей будут судить за плохие мысли.
(alim @ 11.06.2013 - время: 01:00)
Но вот чего Вы взяли, что ИИ будет всеведущим? Довольно странная идея. Вы что, всерьез считаете, что знания возникают сами по себе исключительно от большого ума?
Это не так, источниками знаний являются наблюдение и эксперимент. И именно от технологий наблюдения и эксперимента, а не от наличия или отсутствия ИИ зависит и объем знаний и скорость их роста. Безусловно, высокий интеллект значительно ускорит создание новых теорий. Вполне возможно теории будут создаваться на утренней планерке со всеми формулами и расчетами сразу в готовом виде. Но теория лишь систематизирует знания, но никак не увеличивает их объем.
Новые знания появляются, когда результаты наблюдений и экспериментов осмысливаются разумом. Человечество накопило безбрежный океан наблюдений и экспериментов, а вот разума для их обработки определённо не хватает.
Так что "всеведение" - это не из области фантастики, это, простите, из области бреда.
ИИ будет обладать всеведением по человеческим меркам. Когда вся информация хранящаяся нынче на всех носителях, в том числе и в мозгу каждого человека, станет доступна для ИИ.
Т.е. как в фантастических романах людей будут судить за плохие мысли.
kotas13
Акула пера
6/11/2013, 11:44:19 PM
(Nancy @ 11.06.2013 - время: 19:39)
(kotas13 @ 11.06.2013 - время: 19:33)
Что-то очень похоже на идеи Гитлера. По его понятиям должны остаться только "правильные" люди.
(kotas13 @ 11.06.2013 - время: 19:33)
Т.е вы ратуете законец истории человечества?
конец истории человечества
не стоит понимать это буквально. Хотя да, это будет концом старого, традиционного человечества. Вместо него будет пост человечество.
Что-то очень похоже на идеи Гитлера. По его понятиям должны остаться только "правильные" люди.