Generalized Computability and Model Theory for Linguistic Structures - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Generalized Computability and Model Theory for Linguistic Structures Доклады на конференциях

Язык

Английский

Тип доклада

Пленарный

Конференция

Международная конференция "Мальцевские чтения"
10-14 нояб. 2025 , Новосибирск, ИМ СО РАН

Авторы

Stukachev A.I. ^1,2

Организации

1	Институт математики им. С.Л. Соболева СО РАН
2	Новосибирский государственный университет

There is a remarkable list of mathematicians who contributed to both generalized computability theory and mathematical linguistics, including R. Montague, J. Barwise and Y. Moschovakis. In this talk, we discuss results of Yu.L. Ershov on approximation spaces and finite type functionals, which allow to construct generalized computable models for formal semantics (also known as Montague semantics) of natural languages, unifying generalized computability with mathematical linguistics. We survey our recent results and discuss some open questions.

Stukachev A.I.
Generalized Computability and Model Theory for Linguistic Structures
Международная конференция "Мальцевские чтения" 10-14 Nov 2025