Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2010-01-23 21:18:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Для связи.
Комменты скринятся

(Читать комментарии) - (Добавить комментарий)


(Анонимно)
2010-05-01 02:11 (ссылка)
То есть, x|¬x есть факт, установленный полезностью этого принципа, а сочинения интуиционистов не читают, потому что из них не следует ничего практического?

Иногда встречаю в интернетах споры с конструктивистским подходом, но самих любителей его, кроме одного автора учебника по логике для дебилокодеров, я не припомню.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2010-05-01 03:58 (ссылка)
Да может и не факт, просто все аргументы за и против давно
отзвучали, и сейчас никого не интересуют

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

http://en.wikipedia.org/wiki/Intuitionistic_logic

(Ответить) (Уровень выше)


[info]grp
2010-05-01 20:47 (ссылка)
Сочинения интуиционистов читали во времена Брауэра и Гейтинга, пока было интересно.

В прикладной логике и CS сейчас есть [интуиционистская] теория типов, по духу близкая. Никакой философской нагрузки оно не несет.


В LJ(R) конструктивистом себя выставляет [info]gastrit, он не логик и не математик, в принципе.

(Ответить) (Уровень выше)

(Читать комментарии) -