LBRY Block Explorer

LBRY Claims • 11-компактность

72e699a8ffac30a76776a3c53c0546cf43e92bff

Published By
Anonymous
Created On
6 Oct 2023 22:29:37 UTC
Transaction ID
a662fbc2641d7b2e95ce8f8a6bfa2bdfd3ef72add04f89ff9cdc829f63a630e2
Cost
Safe for Work
Free
Yes
11 компактность (теорема Мальцева)
Теорема Мальцева о компактности (свойства непротиворечивости)<br />Применение для обоснования нестандартных моделей арифметики<br />...<br /><a href="https://www.youtube.com/watch?v=rXbT6Ulf6DI" target="_blank" rel="nofollow">https://www.youtube.com/watch?v=rXbT6Ulf6DI</a>
Author
Content Type
Unspecified
video/mp4
Language
Open in LBRY