В логическом доказательстве, тавтологии могут входить на любом шаге такого доказательства. Во всяком случае, такое правило было не запрещено на определенном интервале развития исчислений, предикатов и высказываний. И сложность оказалась в том, что в более предметном смысле, когда программирование стало бурно развиваться, ясно и отчетливо, открылось, что в схемах кода могут встречаться строки, которые читаются компилятором, но явно не могут быть выполнены, команды, что не выполняются и бесполезны, для реализации замысла алгоритма схемы кода. В логических формализмах, в этом, можно было не видеть особой проблемы, тем более, что было совершенно не очевидно, чем может быть вредно неограниченное добавление тавтологий логики в промежуточные шаги доказательства. Коль скоро, все это легко можно было сократить. И кто будет столь нелепо умножать сущности? Но после открытия многозначности, и той простой и не простой ситуации, что тавтологий логики, ни четыре или пять, но таких законов может быть неограниченное число, и сократить таким образом, все это возможное многообразие вхождений, может быть и не получиться. Коль скоро, выяснилось кроме прочего, то простое и не простое обстоятельство, что тавтологии содержательны. И накопление мельчайших, но отрицательных и неограниченно нарастающих изменений, может быть, видимо, не то, что хотелось бы. И потому, кроме прочего, появилась релевантная логика. Что и была призвана исключать привходящее содержание из логических систем, соответствующим строением их языков. В плане самой себе подобия ситуации, в программировании, таким же образом могут встречаться, вообще говоря, неограниченно нарастающие строки кода, что не выполняются, и, казалось бы, не могут приносить вред, но бесполезны. Основная причина перехода на C# может быть эта, в этом языке, количество привходящей информации может быть уменьшено кратно, если ни многократно по сравнению с VB. Эта особенность кодируется соответствующим предупреждением теперь такого компилятора, в редакторе кода, что данная строка в этом контексте, смысла не имеет. Но хороша новость та, что привходящие случайные мельчайшие изменения могут быть, и позитивными, на известных масштабах. Эти изменения, таким же образом могут накапливаться, и из них можно создать в направлении дальней верной когерентности, верную схему кода, отбирая их из различных таких схем. И потому, может быть резонен запрос: чем больше условно правильно упорядоченных схем кода, попыток ИИ написать программу с листа, тем лучше. Возможная сложность в том, что скорость генерации схем кода, что условно правильно упорядочены и генерируются ИИ, сможет быть весьма велика, и может все время возрастать. Соответственно может расти объем таких схем. И их тестирование может стать проблемой, подобной проблеме промывке песка в поисках крупиц золота, любой фильтрации. Это и может быть предназначением, кроме прочего, логик кортежей смысла и программ тестирования в широком смысле- метафоричности, фигуральности текста- известного рода фильтрация. Строки программного кода могут быть случайными, по крайней мере в двух смыслах. В том, в каком любой переход в программировании, от одной строки к другой, как и любой шаг, имеет вероятностных характер, и до выпадения, такое событие может быть, случайно, коль скоро, это так, и в самых строгих и сильных логических доказательствах. И в том смысле, что информация, несомая строкой кода, может быть случайна, привходящим образом. Это различие было хорошо известно уже Аристотелю, коль скоро, он его и придумал, если ни открыл. Математика кортежей смысла, что являются масштабами интервалов и диапазонов когерентности, таким образом возможное средство нахождения и тестирования, окрестных горизонтов: случайных, позитивных изменений, что случились в массивах условно упорядоченных программных предписаний, сгенерированных ИИ. Коль скоро масштаб совершенствования такого ИИ видимо никогда не станет абсолютным и горизонт останется все время открыт, то на любом таком масштабе, ИИ может порождать многообразие схем кода что относительно бесполезны, но в части вполне годны и более того имеют эвристический характер. Коль скоро, скорость генерации может быть высока, то и в случае верно поставленного чтения с верной скоростью, это количество может не быть проблемой, по мимо все еще той что ИИ видимо следует совершенствовать неограниченно, словно и это верное чтение и его эффективность.
Коль скоро, теория кортежей смысла имеет дело с текстурой, что устойчива к разрывам, то и фильтрация такой системой может быть гораздо мягче. В известном смысле это даже нельзя назвать фильтрацией, коль скоро, та, теперь, может состоять, просто в добавлении строк кода к бесполезным, но в другом месте и времени. Это, и действительно, может быть похоже на раскрытие в многообразиях картин, фигур, закрашенных однородным цветом в рассмотрении множества Мандельброта. То, что многообразие может быть замкнуто или раскрыто, это в известном смысле видимость, если ни иллюзия. То, что система в целом должна быть таким образом гораздо быть может сложнее, чем нынешняя, восходя тем не менее, к простоте предъявления, может быть ясно, коль скоро абстрактные противоположности, видимо, в таких ситуациях никогда не остаются в одиночестве, после соответствующего возможного отвлечения, но склонны к нарастанию и в самых порой непредвиденных ситуациях и связностях,- приращение температуры например, не слишком хорошее приращение может быть, но может и не быть, как в виду существования так и в виду хорошего и плохого, - но ясно, что в этом раздумии о возможности обработки массивов схем кода сгенерированных ИИ, в направлении поиска верных решений, может быть резон.
Конечно, объединение нахождения условно случайных вхождений, имеющих значение эвристики, и их синтеза в готовые упорядочения, из различных схем кода, в двух относительно различных потоках генерации кодов ИИ, дело не столь простое и близкое, в виду машинного обучения машин, но и этот горизонт вполне просматривается теперь. То есть, речь может идти о том, что генерация кодов ИИ может объединять два потока, один - первичный, в котором собственно и происходит создание основного массива кода, и второй , в котором это вновь созданное многообразие быстро перебирается в горизонте некоего теперь наиболее релевантного многообразия кодов, так что, исходный результат, распадается, ближайшим образом, на тривиальные схемы кода, что сокращаются до готовых элементов хранения, и те, что имеют эвристическое значение, что можно практически тут же пустить в пробег исполнения. То, что эта схема может быть встроена в ИИ, условно намеченного таким образом, первого уровня, не делает ее неверной, просто и не просто, меняется масштаб рассмотрения.
"СТЛА".
Караваев В.Г.