Видеотека: В. Г. Кановей, О существенности параметров в схеме аксиом свертки в арифметике второго порядка

Видеотека

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Видеотека
	Архив
	Популярное видео

	Поиск
	RSS
	Новые поступления

Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
10 ноября 2022 г. 15:00–15:30, г. Москва, МГУ Ломоносов Холл

О существенности параметров в схеме аксиом свертки в арифметике второго порядка

В. Г. Кановей

*Видеозаписи:*
	MP4	398.5 Mb
*Дополнительные материалы:*
	Adobe PDF	435.4 Kb
	Adobe PDF	491.6 Kb
	Adobe PDF	490.8 Kb

Аннотация: Построена модель арифметики второго порядка, в которой аксиома свертки верна в беспараметрическом варианте но не верна в полном варианте с параметрами.

Дополнительные материалы:

КановейВГ.pdf (435.4 Kb) ,

КановейВГ_2.pdf (491.6 Kb) ,

КановейВГ_3.pdf (490.8 Kb)

Обратная связь:

Пользовательское соглашение

Регистрация посетителей портала

Логотипы