Разум требует времени на своё применение. Но он позволяет и планировать на годы вперёд. Это окупается на несколько порядков и даже больше. То, что мы изучаем в отдельные часы на протяжении года, например, мы используем (если это нужные знания) очень часто в течение всей последующей жизни. А то, что кто-то требует ещё большей скорости, разрушая ( Read more... )

( Read more... )

«Базовое» устройство живого существа такое, что оно стремиться избавиться от несчастий. Идея стремиться ко всё большему счастью - это именно идея, создание разума, притом ошибочное.

Даже не имея несчастий с точки зрения «базового» устройства - человек с идеей «надо больше счастья» будет несчастлив. Как же - ведь у него нет чего-то ещё более « ( Read more... )

. К оглавлению . Показать весь текст .

Возникает вопрос - почему логики в первой половине 20 века не воспользовались методикой перенесения исполнения программ машиной Тьюринга в некоторую функцию арифметики, подобно тому, что описана в начале данной статьи? Пусть у них не было теории строк, пусть для арифметики выполнен примат целостности ( Read more... )

. К оглавлению . Показать весь текст .

Рассмотрим «стандартную интерпретацию» арифметики, которая соответствует всем аксиомам арифметики, и при этом имеет предельно слабые среди всевозможных интерпретаций арифметики выразительные возможности. Тогда мы получим наглядно ту выразительность, выше которой арифметика в принципе не может подняться. Потому ( Read more... )

. К оглавлению . Показать весь текст .

Чтобы почувствовать разницу между теорией компьютерных строк и арифметикой, рассмотрим вопрос - почему в арифметике операция сложения аксиоматизируется, а не определяется? Ведь с использованием техники «протокола исполнения» вполне можно (вроде бы) дать для суммы a + i_Step следующее определение:

∃ Tracing (

( Read more... )

. К оглавлению . Показать весь текст .

Данная статья опирается на теорию компьютерных строк, аксиомы которой были изложены и обсуждались в предыдущей статье «Теория компьютерных строк».

Сейчас в математической теории (пока что для этих целей используется арифметика) алгоритмы в теории «представлены» для модели рекурсивных (aka общерекурсивных) ( Read more... )

. К оглавлению . Показать весь текст .

Оглавление и введение

I. Как в теории выразить работу алгоритмов с бесконечными или слишком большими входными аргументами

II. Трудности в арифметике с тем, чтобы выразить работу алгоритмов

III. Стандартная интерпретация арифметики и «не замеченная» логика строк

IV. Рекурсивные функции - удачный для своего ( Read more... )

Вообще-то обе идеологии - и коммунизм, и нацизм - созданы Западом. И Россия получила едва ли не смертельный ущерб от обеих. Но и воевала с ними обеими в первую очередь - Россия. Это коммуняки вынуждены были ослабить свои репрессии в отношении русского народа и его исторической памяти ради требований Войны. Это один из тех, кто уничтожал церкви и ( Read more... )

США поддерживало всякое отребье  в других странах, чтобы разрушать механизмы правосудия и самозащиты стран от их ограбления в пользу США. А теперь чужих стран стало мало и эти же механизмы с отребьем применяются внутри США. Чтоб грабить уже своих, одну часть США в пользу другой части США. В пользу некоторой части богачей - у которой есть ( Read more... )