|
|
На: Троичная логика…
Добавлено: 03 июл 18 2:12
|
по-моему, ни олег, ни кондрат не вникли в эту очередную странную странность вишневского. есть формальная логика, есть логическая семантика и есть философская логика (где рассматриваются вопросы что есть истина, разные концепции и критерии истины и как соотносится терм и его истинностная квалификация). А тут КВ обозначил мысль когда семантика логических констант возникает на предельном операционном переходе - как бы вопрос что есть истина решается 'внутри' 'cверхрасширенного' формализма.. может быть все это бред (сырые неаккуратности), но такова, как кажется, высказанная интуиция..
|
|
|
|
На: Троичная логика…
Добавлено: 03 июл 18 2:15
|
Автор: гость по-моему, ни олег, ни кондрат не вникли в эту очередную странную странность вишневского. есть формальная логика, есть логическая семантика и есть философская логика (где рассматриваются вопросы что есть истина, разные концепции и критерии истины и как соотносится терм и его истинностная квалификация). А тут КВ обозначил мысль когда семантика логических констант возникает на предельном операционном переходе - как бы вопрос что есть истина решается 'внутри' 'cверхрасширенного' формализма.. может быть все это бред (сырые неаккуратности), но такова, как кажется, высказанная интуиция. |
|
КВ вообще обсуждать серьёзно трудно, но Ваша идея понятна. Лично мне она не нравится, потому что не конструктивная.
|
|
|
NO. Сообщений: 10700 |
|
|
На: Троичная логика…
Добавлено: 03 июл 18 2:20
|
Интуитивно пределом должно быть то же значение, на котором стабилизировался ряд. А у него вдруг переход, запредельный.
|
|
|
|
На: Троичная логика…
Добавлено: 03 июл 18 2:31
|
вот олег во флудилке дал ссылку на некий блог магиямагия (тоже со странностями и лично мне неприемлемой антиматериалистической акцентуацией), - там верно проводится мысль, что неконструктивные якобы 'высшие аксиомы' играют вполне конструктивную роль в обосновании 'подчиненных' теорий. хотите умерить критиканство критиков теормножественной математики - апеллируйте к 'высшим аксиомам'.. (как полуформально (c помощью 'кардиналов') доказываем таки непротиворечивость 'достижимой' арифметики, приобретая хоть какую более-менее твердую почву под ногами в моделировании такого неопределенного мира..). это я к тому, что не надо догматически (или просто глупо) разводить вот это конструктивное, а вот это неконструктивное - 'на самом деле' все может оказаться совсем не таким каким вам мнится..
|
|
|
|
На: Троичная логика…
Добавлено: 03 июл 18 2:49
|
no> Интуитивно пределом должно быть то же значение, на котором стабилизировался ряд
вот ряд 1-1+1-1+..=(1-1)+(1-1)=.. вполне себе стабилизировался на нуле, и он же 1-(1-1)-(1-1)-.. - на единице.. интуиция может положить его сумму равной 1/2, а может вообще заявить что понятие сумма ряда не приложимо к данному ряду и требует ограничения.. вот и КВ пытается проинтуитить как бы получить выделенные логические значения из невыделенного (типо как из отрицания/неопределенности/абсурда формализм/машина/cистема 'cама' доперла бы до того что положить истиной, что ложью.. (а потом и общая постановка как коллектив 'исчисляторов-вычисляторов' сходится на общих истинах).
|
|
|
|
На: Троичная логика…
Добавлено: 03 июл 18 3:02
|
Автор: гость
вот олег во флудилке дал ссылку на некий блог магиямагия (тоже со странностями и лично мне неприемлемой антиматериалистической акцентуацией), - там верно проводится мысль, что неконструктивные якобы 'высшие аксиомы' играют вполне конструктивную роль в обосновании 'подчиненных' теорий. хотите умерить критиканство критиков теормножественной математики - апеллируйте к 'высшим аксиомам'.. (как полуформально (c помощью 'кардиналов') доказываем таки непротиворечивость 'достижимой' арифметики, приобретая хоть какую более-менее твердую почву под ногами в моделировании такого неопределенного мира..). это я к тому, что не надо догматически (или просто глупо) разводить вот это конструктивное, а вот это неконструктивное - 'на самом деле' все может оказаться совсем не таким каким вам мнится.. |
|
Смысл слова бесконечность в том, что оно отменяет необходимость дальнейшего оперирования в том направлении. У КВ - строго наоборот.
|
|
|
|
.
Добавлено: 03 июл 18 3:07
Изменено: 03 июл 18 5:37
|
|
|
|
|
На: Троичная логика…
Добавлено: 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. Единственное общее у них только что из единичек.
|
|
|
|
На: Троичная логика…
Добавлено: 03 июл 18 4:05
|
наверное ряд один (прообраз), а его представления разные - получается, что понятие сумма ряда (наивное) приложимо к представлениям, а не к объекту-прообразу, что для строгости нужно согласовать понятие ряда (его свойства) с понятием сумма ряда (подвести одно под другое) - КВ по-моему и высказал типо идею как согласовать (что нужно согласовывать) формализм и его семантику (модель) в одном 'cуперформализме'. Что нет фундаментальной дуальности, есть аспекты единого. В этом смысле наивные критики материализма не всасывают, что идеальное это только сопряженное к материальному пространство закономерностей его движения (в меру устойчивых), нейтральный монизм, двухаспектность рулез..
|
|
|
|
.
Добавлено: 03 июл 18 4:09
Изменено: 03 июл 18 5:36
|
|
|
|
|
На: Троичная логика…
Добавлено: 03 июл 18 9:15
|
Автор: гость по-моему, ни олег, ни кондрат не вникли в эту очередную странную странность вишневского. |
|
Это точно. Вот пример 1 + 1 = 2 1 + 1 = 69 69 = 2 Если наложить 6 на 9 получится 8, или бесконечность бесконечность равна двум
|
|
|
|
На: Троичная логика…
Добавлено: 03 июл 18 9:23
Изменено: 03 июл 18 9:23
|
Автор: гость
|
|
А вообще я тоже похоже не проникся. Внизу будет точно такое же изображение, как и на синем фоне. Или нет? Тогда получается истина = лжи, или 1 = 0. Это же тянет на открытие..
|
|
|
|
.
Добавлено: 03 июл 18 10:15
Изменено: 03 июл 18 15:36
|
|
|
|
|
На: Троичная логика…
Добавлено: 03 июл 18 12:08
|
Автор: * Немного поправлю вас: ложь - это абсолютная истина... Тогда получается, что технологическая сингулярность наступила ? |
|
Константин Вишневский, ты - супер!
|
|
|
|