- Добро пожаловать на Лингвофорум.
Автор basta
- июля 19, 2011, 09:21у ЕСМ их 63 штуки, а у МСШ — 15—30.
Автор basta
- июля 19, 2011, 07:17её я давным-давно нашёл. оно и проще.
Автор Artemon
- июля 19, 2011, 02:18Вежбицкая не сгодится? В "Гугле" немного есть.
Автор basta
- июля 18, 2011, 11:37это какбе про философские и логические конланги.
пишу не без горьких слёзок.
из википедии:
В трактате все математические теории описываются на основании аксиоматической теории множеств в духе крайней абстракции. Например, определение обыкновенного натурального числа 1 в «Теории множеств» даётся следующим образом:
Причём, учитывая, что в этой записи уже сделаны сокращения (например, пустое множество ∅ определяется в языке теории множеств Бурбаки как
), мы получаем, что полная запись обыкновенной единицы состоит из десятков тысяч знаков! Такой уровень абстракции <...>
- так конечно дела не делаются. значит, наукоподобный язык не сгодится, здесь. придётся ляпать конланги на чём-то бытовом, но ни в коем случае не в духе токипоны, а что-то около ЕСМ, только чуть более схематично.
в свете этого: что-то, никак не найду списки примитивов у МСШ, помогите! в частности надо достать
Цитата: Demetrius от мая 27, 2011, 10:13
basta: ---//--- хотя его страсти к формализации и оптимизации всего и вся не разделяю
пишу не без горьких слёзок.
из википедии:
В трактате все математические теории описываются на основании аксиоматической теории множеств в духе крайней абстракции. Например, определение обыкновенного натурального числа 1 в «Теории множеств» даётся следующим образом:
Причём, учитывая, что в этой записи уже сделаны сокращения (например, пустое множество ∅ определяется в языке теории множеств Бурбаки как
), мы получаем, что полная запись обыкновенной единицы состоит из десятков тысяч знаков! Такой уровень абстракции <...>
- так конечно дела не делаются. значит, наукоподобный язык не сгодится, здесь. придётся ляпать конланги на чём-то бытовом, но ни в коем случае не в духе токипоны, а что-то около ЕСМ, только чуть более схематично.
в свете этого: что-то, никак не найду списки примитивов у МСШ, помогите! в частности надо достать
- Апресян, Основания системной лексикографии, стр. 50-55
- Богуславски, A study in the Linguistics-Philosophy Interface