realurix ну и вижу некоторые несколько сомнительные утверждения в тексте у вас не совсем все так про Геделя проблема появляется потому, что в любой формальной системе могут существовать истинные утверждения, которые невыводимы, т.е. они не получатся из вашего графа путем какихто ваших стандартных операций и доказательства Геделя по сути используют диагональный метод Кантора, типа пронумеровали все выводы в формальной системе а потом взяли и посстроили утверждение по диагонали и получается что пронумеровать все утверждения невозможно, т.к. можно всегда построить новое утверждение не пронумерованное и этот процесс можно сделать всегда
на графах это говорит о следующем, т.е. не все виды допустимых конструкций графов можно сконфигурировать допустимым операциями (допустимыми выводами) и это происходит не только изза ппотерь связей, просто сущществуют отдельный коннфигурации правильные но не вывводимые
аналог таких конфигураций есть в игре Жизнь Конвея (Конуэй) нааззываются сад Эдема они не могут появиться в игре из других конфигураций, их можно увидить только если поместить на игровое поле, аналогично и с графами, аналогично и с теориями и выводимостью
****Утрировано, под «Семантикой» следует понимать нечто подобное топологии связей, устанавливающих порядок выполнения действий (вычисления выражений), заданных правилами формальной системы. В формальных выражениях всегда есть семантика и потеря или произвольное переключение связей приводит к потере или искажению исходной семантики (смысла) в выражениях.
супер! тут наши взгляды сходятся это хорошо, типа что независимыми путями люди приходят к похожим выводам, косвенное подтверждение правильности или общего заблуждения ))) теоретически и так может быть )
***В мозге человека семантика хранится в основном в «твёрдом» виде, как связи между нейронами (аналог теорем)
поскольку вы написали в основном, то соответственно часть так хранится, а часть по иному консенсус, тоже примерно так думаю
***Надеюсь, теперь понятно почему после проделанной работы я, насколько это возможно, стараюсь избегать использовать потенциально искажающую семантику неполносвязную математическую нотацию и предпочитаю излагать свои мысли на гораздо более мощном, чем любая формальная система, хорошо развитом русском языке. Тем более, что алфавит (словарь) и набор правил русского языка конечны, а значит и реализующий язык автомат хотя и большой, но всё же конечный. Сложность языка не может служить доказательством неформальности языка, если высказывания на этом языке содержат семантику. По большому счёту только высказывания на неформальном языке не содержат в себе семантику, что следует из сильной теоремы Гёделя.
это абзац сильно спорный отмечу только это неформальность заключается не в самом языке а в неформальности семантики, семантика естественных языков паршивая, много неоднозначностей и неопределенностей т.е. по сути пустых слов с неопрееделеенным смыслом
не совсем все так про Геделя
проблема появляется потому, что в любой формальной системе могут существовать истинные утверждения, которые невыводимы, т.е. они не получатся из вашего графа путем какихто ваших стандартных операций
и доказательства Геделя по сути используют диагональный метод Кантора, типа пронумеровали все выводы в формальной системе а потом взяли и посстроили утверждение по диагонали и получается что пронумеровать все утверждения невозможно, т.к. можно всегда построить новое утверждение не пронумерованное и этот процесс можно сделать всегда
на графах это говорит о следующем, т.е. не все виды допустимых конструкций графов можно сконфигурировать допустимым операциями (допустимыми выводами)
и это происходит не только изза ппотерь связей, просто сущществуют отдельный коннфигурации правильные но не вывводимые
аналог таких конфигураций есть в игре Жизнь Конвея (Конуэй) нааззываются сад Эдема
они не могут появиться в игре из других конфигураций, их можно увидить только если поместить на игровое поле, аналогично и с графами, аналогично и с теориями и выводимостью
Reply
супер! тут наши взгляды сходятся
это хорошо, типа что независимыми путями люди приходят к похожим выводам, косвенное подтверждение правильности
или общего заблуждения ))) теоретически и так может быть )
***В мозге человека семантика хранится в основном в «твёрдом» виде, как связи между нейронами (аналог теорем)
поскольку вы написали в основном, то соответственно часть так хранится, а часть по иному
консенсус, тоже примерно так думаю
Reply
это абзац сильно спорный
отмечу только это
неформальность заключается не в самом языке а в неформальности семантики, семантика естественных языков паршивая, много неоднозначностей и неопределенностей т.е. по сути пустых слов с неопрееделеенным смыслом
Reply
Leave a comment