run_nr_i

[bulygin69]

Для генерации натурального ряда достаточно оперировать понятиями "то же самое", "не то же самое". В явном или в неявном виде к "то же самое" апеллирует привычная глагол-связка "есть". Суть ее: А есть А, А есть F(не-А). В речи для второго варианта (в большинстве случаев) F не оговаривается. Сама запись Y=F(X) читается как: Y - то же самое (есть), что X, если это X однозначно относится к (только!) Y благодаря F.
Ссылка на видео программы: https://vk.com/video-97027965_171573475?list=4a64a9342a4a51ebadhttps://vk.com/video-97027965_171573475?lis...4a9342a4a51ebad
Cылка на текст программы: https://vk.com/doc295047655_409921100?hash=e187990e2f42b32521&dl=f81eeab03b56bddb7fhttps://vk.com/doc295047655_409921100?hash=...eeab03b56bddb7f
          Сообщество http://vk.com/life_and_thinkinghttp://vk.com/life_and_thinking
P.S. При желании, можно полностью избавиться от использования числовых переменных, которые играют в программе только  вспомогательную роль (в той части, в которой производится счет)
P.S. Картика к файлу data.txt

P.S. Фреге, Г. О существовании. Диалог с Пеньером 
Ссылка: http://magister.konvent.ru/lib/ELIB/in_t0005.htmhttp://magister.konvent.ru/lib/ELIB/in_t0005.htm
Цитата: Не обязательно употреблять слово «существовать»; вместо него можно сказать: «быть самотождественным», и это доказывает, что содержание высказывания не заключается в «существовании». «Имеются люди» означает то же, что и «некоторые люди (есть) самотождественны» или «нечто самотождественное есть человек». Из предложения «А самотождественно» так же нельзя узнать ничего нового об А, как и из предложения «А существует». Ни одно из этих предложений нельзя отрицать. В обоих на место А можно подставить что угодно - они всегда будут истинными

[folk]

Дядя если вы для людей пишите, пишите понятно.

[bulygin69]

Что непонятного в том, что сказано: натуральный ряд можно сгенерировать оперируя только понятиями "то же самое" и "не то же самое"? 
Дополнительные пояснения к видео программы, логика которой заключается в применении простых законов: А не-равно А, А равно А, А не-равно не-А.

[Andrew58]

А если случайно сгенерируется что-то не-натуральное?

[folk]

Для того чтобы было понятно обычно пишется постановка вопроса, исторический экскурс, затем формулируется сама проблема и даются определения, затем описывается подход к решению и наконец само решение.
 

[homosapiens4android]

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

[zam2]

Source of the post Ну хз, я тоже, когда первый свой серьёзный счёт курсе на четвертом-пятом отлаживал

Хе-хе. На четвертом-пятом весь геологоразведочный НИИ на моем софте работал.

[Andrew58]

Не, мужики, ну серьёзно! На восьмой итерации сгенерировалась сепулька. Куда её? В отдельную ветку? Чтобы генерировались без свистка и со свистком?

[bulygin69]

Source of the post Для того чтобы было понятно обычно пишется постановка вопроса, исторический экскурс, затем формулируется сама проблема и даются определения, затем описывается подход к решению и наконец само решение.

Не вижу смысла, если иметь в виду экскурс в историю, возвращаться к трактовке что есть натуральные числа.  В первую очередь потому, что принцип формирования их совершенно иной. Какой? Такой, что понятие “существует” является синонимом понятия “один”, а не понятия “хотя бы один”. Такой, что “ноль – это неравное себе”,  “один – равное себе”. И каждое последующее число есть равное себе, которое различается с предыдущими равными себе. Повторюсь, это изначально другой принцип. И программа – всего лишь демонстрация этого иного принципа.


 

[bulygin69]

Вообще, логика тут весьма проста:
(ноль А) = (А ≠ А)
(один А) = (А = А)
Это объясняет каким образом весьма примитивные животные, а не только, например, врановые, способны отличить “есть или нет А”.  Другое дело, если А – это нечто сложное, то описать его парой нейронов не получится. Но это, повторюсь, не  является ограничением для возможности считать (в пределах нескольких чисел натурального ряда), поскольку логика конструирования этих чисел  использует лишь примитивы “различаться” и “не различаться”.