Formal Recursion, 14 Essence of Set Theory
Watch my videos Ad-free & free:
Odysee: https://odysee.com/@MiroslavOlsak:9?view=lists
Vimeo: https://vimeo.com/user129589056
Download: http://olsak.net/mirek/manim/my_videos.html
The formal proof of "If a nonempty set doesn't have a first element, it contains an infinite decreasing sequence."
Download: http://www.olsak.net/mirek/manim/eost/eost14-formal-recursion.mp4
Видео Formal Recursion, 14 Essence of Set Theory канала Mirek Olšák
Odysee: https://odysee.com/@MiroslavOlsak:9?view=lists
Vimeo: https://vimeo.com/user129589056
Download: http://olsak.net/mirek/manim/my_videos.html
The formal proof of "If a nonempty set doesn't have a first element, it contains an infinite decreasing sequence."
Download: http://www.olsak.net/mirek/manim/eost/eost14-formal-recursion.mp4
Видео Formal Recursion, 14 Essence of Set Theory канала Mirek Olšák
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Ordinal Arithmetics, 6 Essence of Set Theory
Burnsideovo lemma: počítání až na symetrie
Aplikace katézského součinu -- 10a. Esence teorie množin
Axiom výběru -- 13. Esence teorie množin
Formal numbers, 11 Essence of Set Theory
Reálná čísla jako Dedekindovy řezy -- 12. Esence teorie množin
Reklamy na mém kanále
Video iKS
Paradoxy a formální množiny -- 8. Esence teorie množin
Formální čísla -- 11. Esence teorie množin
Rekurze na kardinálu -- 16. Esence teorie množin
Axiomy -- 9. Esence teorie množin
Zornovo lemma -- 15. Esence teorie množin
Krychle, aneb příběh dvaceti vertexů / Cubes, or the story of twenty vertices
Formální rekurze -- 14. Esence teorie množin
Recursion on a Cardinal, 16 Essence of Set Theory
Set Size Comparison, Countability, 2 Essence of Set Theory
Ads on my channel
Cartesian Product -- Applications, 10a Essence of Set Theory
Cartesian Product -- Formally, 10b Essence of Set Theory
Kartézský součin formálně -- 10b. Esence teorie množin