| OberonCore https://forum.oberoncore.ru/ |
|
| Сетл https://forum.oberoncore.ru/viewtopic.php?f=26&t=1267 |
Страница 1 из 1 |
| Автор: | Neplul [ Вторник, 02 Декабрь, 2008 12:32 ] |
| Заголовок сообщения: | Сетл |
Добрый день, уважаемое Оберон-сообщество!!! Раз уже на форуме пошла речь о Рапиде http://forum.oberoncore.ru/viewtopic.php?f=28&t=1263, то хотелось бы затронуть еще один интересный проект команды Ершова - СЕТЛ. Работы проводились совместно с американской группой, но связи с войне в Афганистане сотрудничество было приостановлено. Сетл оказал влияние и на Рапиду(К примеру понятие кортежа пришло из Сетл). Хотелось бы услышать ваше мнение на счет данного проекта. http://ru.wikipedia.org/wiki/%D0%A1%D0%B5%D1%82%D0%BB http://www.computer-museum.ru/books/n_mozaika/setl.htm http://www.ershov.ras.ru/archive/eaindex.asp?lang=1&gid=1452 Спасибо за внимание. |
|
| Автор: | Info21 [ Вторник, 02 Декабрь, 2008 13:09 ] |
| Заголовок сообщения: | Re: Сетл |
На основе функций -- функциональное программирование. Почесали репу: хотим красиво! математически чтобы всё! А что лежит в основаниях математики? (терминология популярной мифологии, с коей лично я не дружу --ФТ) Теория множеств! "Рай, который открыл для нас Кантор" (с) Д.Гильберт ....... В общем, такого рода логика меня лично не впечатляет. Совсем. Зная, к каким провалам приводит жесткое приведение к теории множеств. Если кто-то занятия найти себе не может -- пусть этим занимаются. Поковыряться интересно, может, можно что-нибудь сковырнуть забавного. Но чисто лабораторно, без претензий. Говорю про претензии, т.к. подразумеваемый тут исходный тезис -- "теория множеств есть основание математики" -- такую претензию implies. |
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|