Прувер нашел упрощенную версию онтологического аргумента

[vic_gorbatov]

Залта и Оппенгеймер молодцы! ))

Comments

[antonk83]

О, я презентацию этого аргумента слышал лично от Залты:). Года полтора назад; вроде бы даже пост об этом писал.
Кажется, там эта посылка попросту более навороченная: по сути включает в себя все необходимое из стандартных посылок.

[vic_gorbatov]

Ну и как публика оценила тогда этот результат? Мне кажется, работы Залты вообще оцениваются неоднозначно.

[antonk83]

Да в общем большинству особенно интересно не было, на самом деле:) (ну кроме одного из наших логиков, который участвовал в разработке этой программы). Единственный Q&A, где вопросов, по-моему, вообще не задавали.

[mondios]

Почему-то файл по ссылке не открывается. Не могли бы Вы дать ссылку не на приямой документ, а на сайт, откуда можно скачать?

[vic_gorbatov]

http://www.tandfonline.com/doi/abs/10.1080/00048401003674482

[mondios]

Спасибо, всё открылось.