Изоморфен ли ЛИСП лямбда-исчислению?
От: Курилка Россия http://kirya.narod.ru/
Дата: 21.01.08 06:23
Оценка:
Собственно хотелось рассмотреть сабж. Сам сейчас сильно не готов заниматься исследованием темы. Но может быть найдутся желающие
Кстати — неплохая тема имхо для диплома или даже диссертации (если глубже копнуть), причём есть явная связь теории и практики.
P.S. Чтот я тут после прочтения интервью с академиком Арнольдом задумался — а почему в Computer Science нет чего-нибудь типа "проблем Гильберта"? Причём по-моему ключевой вопрос стоит в непосредственной связи абстрактной науки и реальной жизни (каких-либо прикладных вещей)
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.