Математика отражает философию: larva tus против лямбда-куба.

[furia_krucha]

Недоразумение прояснило забавную вещь: системы до-декартовых философов (Суарез, Фома, Дунс Скот, all the way back to Aristotle), оперировавших механизмом „субстанциональных форм“, естественным образом интерпретируются в декартово замкнутой категории (может в топосе?), по-крайней мере, если верить Куайну; а декартово отрицание субстанциональных форм

Comments

[moonwalker72]

А всё-таки, причина этого в неполноте алфавита? Под алфавитом я понимаю некоторый набор неделимых понятий-определений из которых складываются описания. Бытие по сути своей нельзя считать чем-то неделимым, хотя бы в силу размытости фраз, которыми его пытаются описать. Бытие как-то постулируется. Так же как вакуум в физике -- никто не претендует пока на полноту его описания, тем не менее его ставят в основу многих расчетных моделей, полагаясь на имеющееся принципиально ограниченное описание. А с бытием все наверное еще сложнее -- оно слишком объемно и многогранно и развитие наверное идет в сторону согласования определений и не более того -- никто не может претендовать не то что на полноту (об этом и речи быть не может) но и на хоть какую-то безупречность.

[ex_juan_gan]

В компьютерных науках аналогично. Ведь и в sql главная проблема - карриинг, т.е. материализация как бы духов. А рассуждать о них, когда они существуют лишь виртуально, почему-то не получается в sql.

[furia_krucha]

Конечно, ведь у двух запросов с одинаковым денотатом (т.е. возвращающих один и тот же набор результатом), концепт (т.е. как результаты получаются) может быть совершенно разным - оптимизатор не зацепил индекс и привет - работает в 10 раз медленнее. Более явно это проявляется даже не в реляционной модели, а в Codasyl-е.

[109]

> в sql главная проблема - карриинг

huh? (не побоюсь этого слова)

[cema]

Да, интересно.

[az118]

вопрос:

натуральный ряд в аксиоматике Пеано иституализируется
с позиции реализма или номинализма?

[furia_krucha]

В „стандартной“ аксиоматике первого порядка он номиналистичен: согласно Куайну эта аксиоматика не признаёт предикатов вроде „___ есть натуральное число“, „___ есть натуральное число, не представимое в виде суммы трёх простых“ реально существующими.

С другой стороны, NNO - реалистское описание натуальных чисел.

[az118]

благодарю.

[ex_juan_gan]

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