У нас вы можете посмотреть бесплатно ACT@UCR Seminar: A Complete Axiomatisation of Partial Differentiation - Gordon Plotkin или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
We formalise the well-known rules of partial differentiation in a version of equational logic with function variables and binding constructs. We prove the resulting theory is complete with respect to polynomial interpretations. The proof makes use of Severi’s theorem that all multivariate Hermite problems are solvable. We also hope to present a number of related results, such as decidability and Hilbert–Post completeness. Slides and more: https://johncarlosbaez.wordpress.com/... This talk on 2020 May 20 is part of the Applied Category Theory at U. C. Riverside Seminar: https://sites.google.com/ucr.edu/actucr/