О НЕПОЛНОТЕ ФОРМАЛЬНЫХ СИСТЕМ, ОШИБКЕ ПУАНКАРЕ/ЭНШТЕЙНА И ШЕСТОЙ ПРОБЛЕМЕ ГИЛБЕРТА

[realurix]

О НЕПОЛНОТЕ ФОРМАЛЬНЫХ СИСТЕМ
ОШИБКЕ ПУАНКАРЕ/ЭНШТЕЙНА
И ШЕСТОЙ ПРОБЛЕМЕ ГИЛБЕРТА

Эту статью я отправлял в несколько изданий Академии Наук РФ, но везде получил отказ в

Comments

[adrianov]

Результирующий детерминированный автомат может содержать не больше 2N+1 состояний, а не 2N-1, как это доказано для алгоритмов с потерей топологии связей. Сложность алгоритма детерминизации конечного непротиворечивого автомата снизилась с O(N3) до O(N*sqrt(N)). Вычислительная сложность классического алгоритма детерминизации для потенциально противоречивых алгоритмов ставит крест на человеческом разуме, поскольку при растущей сложности автомата (мозга) из-за накопленного количества знаний, добавление в автомат (мозг) нового состояния (знания) в процессе обучения должно происходить за физически нереализуемое время и в результате должен получаться физически нереализуемый автомат (мозг). В то же время известно, что чем больше человек знает, тем легче он обучается.Есть такая система запоминания, когда человек составляет из нужных ему понятий последовательную историю, а потом проходит мысленно вдоль них, и может последовательно вспомнить очень многое. Гораздо больше, чем если запоминает эти понятия по отдельности и без системы. Это может

[realurix]

Да, поскольку в этом случае выстраивается некий граф с узлами которого связываются запоминаемые слова. Т.е., запоминаемые слова связываются некой семантической структурой. Мозг человека или животного мыслит смысловыми категориями.

Сложность детерминизации на самом деле становится порядка O(N). В реале для больших автоматов гораздо меньше N. Случаи O(N*sqrt(N)) - это специальные физически нереализуемые случаи, что-то вроде деления на ноль. Они могут представлять только чисто теоретический интерес.

P.S. Когда цитируете текст, то обращайте внимание на суперскрипт. Или тогда пишите 2**N-1.