Myvideo

Guest

Login

51. Ординальный анализ. Доказательная сила теории.

Uploaded By: Myvideo
2 views
0
0 votes
0

Вводим понятие силы арифметической теории с помощью доказуемых вполне упорядочений. Сравнение теорий по силе: арифметики Робинсона, элементарной арифметики, арифметики Пеано и т.п. Эквивалентность принципов индукции и фундированности.

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later