GotAI.NET

Форум: Проблемы искусственного интеллекта

 

Регистрация | Вход

 Все темы | Новая тема Стр.2 (3)<< < Пред. | След. > >>   Поиск:  
 Автор Тема: На: Троичная логика…
гость
188.170.75.*
На: Троичная логика…
Добавлено: 03 июл 18 2:12

по-моему, ни олег, ни кондрат не вникли в эту очередную странную странность вишневского.
есть формальная логика, есть логическая семантика и есть философская логика (где рассматриваются вопросы что есть истина, разные концепции и критерии истины и как соотносится терм и его истинностная квалификация). А тут КВ обозначил мысль когда семантика логических констант возникает на предельном операционном переходе - как бы вопрос что есть истина решается 'внутри' 'cверхрасширенного' формализма.. может быть все это бред (сырые неаккуратности), но такова, как кажется, высказанная интуиция..
[Ответ][Цитата]
kondrat
Сообщений: 3242
На: Троичная логика…
Добавлено: 03 июл 18 2:15
Цитата:
Автор: гость
по-моему, ни олег, ни кондрат не вникли в эту очередную странную странность вишневского.
есть формальная логика, есть логическая семантика и есть философская логика (где рассматриваются вопросы что есть истина, разные концепции и критерии истины и как соотносится терм и его истинностная квалификация). А тут КВ обозначил мысль когда семантика логических констант возникает на предельном операционном переходе - как бы вопрос что есть истина решается 'внутри' 'cверхрасширенного' формализма.. может быть все это бред (сырые неаккуратности), но такова, как кажется, высказанная интуиция.

КВ вообще обсуждать серьёзно трудно, но Ваша идея понятна. Лично мне она не нравится, потому что не конструктивная.
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Троичная логика…
Добавлено: 03 июл 18 2:20
Интуитивно пределом должно быть то же значение, на котором стабилизировался ряд.
А у него вдруг переход, запредельный.
[Ответ][Цитата]
гость
188.170.74.*
На: Троичная логика…
Добавлено: 03 июл 18 2:31
вот олег во флудилке дал ссылку на некий блог магиямагия (тоже со странностями и лично мне неприемлемой антиматериалистической акцентуацией), - там верно проводится мысль, что неконструктивные якобы 'высшие аксиомы' играют вполне конструктивную роль в обосновании 'подчиненных' теорий. хотите умерить критиканство критиков теормножественной математики - апеллируйте к 'высшим аксиомам'.. (как полуформально (c помощью 'кардиналов') доказываем таки непротиворечивость 'достижимой' арифметики, приобретая хоть какую более-менее твердую почву под ногами в моделировании такого неопределенного мира..). это я к тому, что не надо догматически (или просто глупо) разводить вот это конструктивное, а вот это неконструктивное - 'на самом деле' все может оказаться совсем не таким каким вам мнится..
[Ответ][Цитата]
гость
188.170.82.*
На: Троичная логика…
Добавлено: 03 июл 18 2:49

no> Интуитивно пределом должно быть то же значение, на котором стабилизировался ряд

вот ряд 1-1+1-1+..=(1-1)+(1-1)=.. вполне себе стабилизировался на нуле, и он же 1-(1-1)-(1-1)-.. - на единице.. интуиция может положить его сумму равной 1/2, а может вообще заявить что понятие сумма ряда не приложимо к данному ряду и требует ограничения.. вот и КВ пытается проинтуитить как бы получить выделенные логические значения из невыделенного (типо как из отрицания/неопределенности/абсурда формализм/машина/cистема 'cама' доперла бы до того что положить истиной, что ложью.. (а потом и общая постановка как коллектив 'исчисляторов-вычисляторов' сходится на общих истинах).
[Ответ][Цитата]
kondrat
Сообщений: 3242
На: Троичная логика…
Добавлено: 03 июл 18 3:02
Цитата:
Автор: гость

вот олег во флудилке дал ссылку на некий блог магиямагия (тоже со странностями и лично мне неприемлемой антиматериалистической акцентуацией), - там верно проводится мысль, что неконструктивные якобы 'высшие аксиомы' играют вполне конструктивную роль в обосновании 'подчиненных' теорий. хотите умерить критиканство критиков теормножественной математики - апеллируйте к 'высшим аксиомам'.. (как полуформально (c помощью 'кардиналов') доказываем таки непротиворечивость 'достижимой' арифметики, приобретая хоть какую более-менее твердую почву под ногами в моделировании такого неопределенного мира..). это я к тому, что не надо догматически (или просто глупо) разводить вот это конструктивное, а вот это неконструктивное - 'на самом деле' все может оказаться совсем не таким каким вам мнится..

Смысл слова бесконечность в том, что оно отменяет необходимость дальнейшего оперирования в том направлении.
У КВ - строго наоборот.
[Ответ][Цитата]
КВ (admin)
Сообщений: 678
.
Добавлено: 03 июл 18 3:07
Изменено: 03 июл 18 5:37
.
[Ответ][Цитата]
гость
188.170.82.*
На: Троичная логика…
Добавлено: 03 июл 18 3:40

к-т> в том направлении.

это только у советских конструктивистов 'а дальше ничего', уж больно они были озабочены количествами зерна и дальностью полета ракет.. а у канторианцев за счетной бесконечностью есть несчетная и даже целая иерархия несчетных бесконечностей.. а кому ведомо какая модель континиума/компаунда отвечает реальности в ее особенно экстремальных состояниях? зачем полагать возможными только жесткие сетки (трансмировой компутер по образу современных машин а ля антропоморфный образ бога)?
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Троичная логика…
Добавлено: 03 июл 18 3:45
Цитата:
Автор: гость
вот ряд 1-1+1-1+..=(1-1)+(1-1)=.. вполне себе стабилизировался на нуле, и он же 1-(1-1)-(1-1)-.. - на единице.. интуиция

чего-то моя интуиция считает это три разных ряда, первый скачет, там стабильности нет, второй если под элементами считать скобки и сначала вычислять в них, будет ряд нулей, тут сумма не меняется, последний это 1 и ряд нулей. Количество элементов 4, 2, 3. Сумма неопределена, 0, 1. Единственное общее у них только что из единичек.
[Ответ][Цитата]
гость
188.170.82.*
На: Троичная логика…
Добавлено: 03 июл 18 4:05
наверное ряд один (прообраз), а его представления разные - получается, что понятие сумма ряда (наивное) приложимо к представлениям, а не к объекту-прообразу, что для строгости нужно согласовать понятие ряда (его свойства) с понятием сумма ряда (подвести одно под другое) - КВ по-моему и высказал типо идею как согласовать (что нужно согласовывать) формализм и его семантику (модель) в одном 'cуперформализме'. Что нет фундаментальной дуальности, есть аспекты единого. В этом смысле наивные критики материализма не всасывают, что идеальное это только сопряженное к материальному пространство закономерностей его движения (в меру устойчивых), нейтральный монизм, двухаспектность рулез..
[Ответ][Цитата]
КВ (admin)
Сообщений: 678
.
Добавлено: 03 июл 18 4:09
Изменено: 03 июл 18 5:36
.
[Ответ][Цитата]
гость во лбу гвоздь
Сообщений: 574
На: Троичная логика…
Добавлено: 03 июл 18 9:15
Цитата:
Автор: гость
по-моему, ни олег, ни кондрат не вникли в эту очередную странную странность вишневского.
Это точно. Вот пример
1 + 1 = 2
1 + 1 = 69
69 = 2
Если наложить 6 на 9 получится 8, или бесконечность
бесконечность равна двум
[Ответ][Цитата]
гость во лбу гвоздь
Сообщений: 574
На: Троичная логика…
Добавлено: 03 июл 18 9:23
Изменено: 03 июл 18 9:23
Цитата:
Автор: гость

А вообще я тоже похоже не проникся. Внизу будет точно такое же изображение, как и на синем фоне. Или нет?
Тогда получается истина = лжи, или 1 = 0. Это же тянет на открытие..
[Ответ][Цитата]
КВ (admin)
Сообщений: 678
.
Добавлено: 03 июл 18 10:15
Изменено: 03 июл 18 15:36
.
[Ответ][Цитата]
гость
199.87.154.*
На: Троичная логика…
Добавлено: 03 июл 18 12:08
Цитата:
Автор: *
Немного поправлю вас: ложь - это абсолютная истина...
Тогда получается, что технологическая сингулярность наступила ?
Константин Вишневский, ты - супер!
[Ответ][Цитата]
 Стр.2 (3)1  [2]  3<< < Пред. | След. > >>