Это невозможно сделать
Hello, everyone. Я пытаюсь естественный язык с LLM привязать к темпоральной логике и научиться алгоритмически составлять абстрактную систему для проверки утверждений в этой ло...
А есть ли сайт, какой-нибудь проект, в рамках которого собирают коллекцию максимально подробных формализаций в языке логики предикатов тех или иных теорем? Помню, сюда скидыва...
Тип-произведение и тип-сумма могут быть бесконечной длины? В смысле того, что произведение и сумма производится по актуально бесконечному числу термов
@alexanderplatz_square как вы, логики, к зиновьеву относитесь, кстати? Шиза или база? Просто он не колмогоров и не мальцев с войшвилло, слишком философ, у меня плохие подозрен...
Всем привет, посмотрите бота, кому не сложно, создал просто как пет проект, думаю что добавить? @ programmer_assistant_fr_bot
🐱: Существуют чистые системы типов (pure type systems, PTS), которые можно увидеть, в частности, в так называемом лямбда-кубе (lambda cube). От обычных теорий типов отличаются...
Итак. Если универсальный квантор в нестандартной интерпретации раскладывается на возможно бесконечную конъюнкцию, а это возможно бесконечная формула, то будет ли верно, что ...
Интуиционистская логика вот имеет, например, семантику Крипке. Есть семантика Бета. В целом очень понятные там семантики, стандартные. Релевантные логики (очень похожи на лин...
Короче, не суть. Саша говорит, что в теориях типов строго конечный язык. Я в это верю, иначе как мы будем использовать это в компьютерных науках? Ну, может, и можем где-то. Н...
Вот такой вопрос есть: Если считать порядок объектов, представленный некоторым числом, то это называется ординальное число. Для конечных случаев это натуральное число, т.е. ...
Обсуждают сегодня