Myvideo

Guest

Login

44 арифметика в исчислении Тейта

Uploaded By: Myvideo
1 view
0
0 votes
0

Определяем арифметику PA(X) в расширенном языке с предикатом принадлежности, либо серией унарных предикатов-множеств. А также определяем исчисление PAω в секвенциальном исчислении в форме Тейта с опорой на арифметические факты из стандартной модели. 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty:

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later