>А теперь поставьте передо мной ЭВМ, которая будет работать по правилам ZF. Объектами в которой будут множества, а основными операциями — построение степени, пары, функция выбора, эффективная проверка предиката «\(A\) является подмножеством \(B\)», и т.д.

А теперь поставьте передо мной компьютер, который работает
по правилам конструктивной математики (всей
конструктивной математики, а не только её конечного
фрагмента). Объектами в котором будут натуральные числа
(все натуральные числа, а не их конечное подмножество),
а основными операциями — сложение и умножение.

>Простите, но я живу не в воображаемой вселенной, а в самой что ни на есть реальной. Мои конструктивные объекты — это счётные палочки, ручка с бумагой и кристаллы полупроводника. Проблемы мира призраков (каковы бы они ни были) меня не волнуют.

Вы живёте в воображаемой вселенной, в которой
существуют машины с неограниченным объёмом памяти.

(Reply to this) (Parent) (Thread)

> Объектами в котором будут натуральные числа
> (все натуральные числа, а не их конечное подмножество),
> а основными операциями — сложение и умножение.

То что Вы предлагаете сделать, называется классической математикой, а никак не конструктивной. Что такое конструктивная, Вы, похоже, не понимаете в приниципе. Что ж, будем считать создавшуюся ситуацию добавочной иллюстрацией к тезису, что теоретико-множественное мышление лечится только гильотиной :-)

> Вы живёте в воображаемой вселенной, в которой
> существуют машины с неограниченным объёмом памяти.

Я живу в реальной вселенной. Просто Вы этого не понимаете и понять, похоже, не можете (в силу особенностей Вашего стиля мышления).

С уважением,
Гастрит

(Reply to this) (Parent) (Thread)

>То что Вы предлагаете сделать, называется классической математикой, а никак не конструктивной. Что такое конструктивная, Вы, похоже, не понимаете в приниципе. Что ж, будем считать создавшуюся ситуацию добавочной иллюстрацией к тезису, что теоретико-множественное мышление лечится только гильотиной :-)
>Я живу в реальной вселенной. Просто Вы этого не понимаете и понять, похоже, не можете (в силу особенностей Вашего стиля мышления).

Я вижу, мои аргументы попали в цель. Вам больше
нечего возразить по существу и вы решили подвергать
сомнению мою способность мыслить. Не самый
достойных выход.

(Reply to this) (Parent) (Thread)

Да победили, победили по всем пунктам. Просто с землёй меня сравняли. Не было нашей уважаемой англиканской церкви до Лютера и Эколампадия, и не принадлежу я к фамилии :-)

С уважением,
Гастрит

(Reply to this) (Parent)