Librarium
Settings

Sawa Kazimirov

@mathreisender

Канал посвящен математике, в большей степени - математической логике и теории множеств. Сайт проекта Архетипы Математики: https://mathem.at/book Заказать уроки/консультации со мной можно тут: https://mathem.at/explain

111
2023-06-19
0.0 LBC

42:22

51 завершение курса по матлогике

Sawa Kazimirov

Shared 05/07/2024

32:43

50 Классы доказуемо тотальных рекурсий

Sawa Kazimirov

Shared 28/06/2024

43:32

49 прогрессии Тьюринга

Sawa Kazimirov

Shared 21/06/2024

39:11

48 Схема рефлексий для арифметики

Sawa Kazimirov

Shared 14/06/2024

44:07

47/56 теорема Генцена о непротиворечивости арифметики Пеано

Sawa Kazimirov

Shared 07/06/2024

51:54

46/55 доказательный ординал теории

Sawa Kazimirov

Shared 31/05/2024

41:57

45/54 теорема Генцена. Оценка силы PA(X) сверху.

Sawa Kazimirov

Shared 24/05/2024

49:01

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

Sawa Kazimirov

Shared 17/05/2024

40:27

43 Исчисление Тейта

Sawa Kazimirov

Shared 10/05/2024

51:07

42 Про неклассические логики вообще

Sawa Kazimirov

Shared 03/05/2024

36:52

40 Генценовское исчисление

Sawa Kazimirov

Shared 19/04/2024

13:31

38 Топологическая семантика Int

Sawa Kazimirov

Shared 05/04/2024

23:17

37 Топологическая семантика S4: корректность и полнота

Sawa Kazimirov

Shared 29/03/2024

27:09

36 Топологическая семантика модальных логик

Sawa Kazimirov

Shared 22/03/2024

27

39 топологическая семантика логики доказуемости

Sawa Kazimirov

Shared 19/03/2024

43:26

35 Логика выводимости

Sawa Kazimirov

Shared 15/03/2024

26:09

34 Основные свойства модальных логик

Sawa Kazimirov

Shared 08/03/2024

40:08

33 Великолепная семерка модальных логик

Sawa Kazimirov

Shared 01/03/2024

31:06

32 Шкалы Крипке для унимодальных логик

Sawa Kazimirov

Shared 23/02/2024

41:18

31 Семантика Крипке

Sawa Kazimirov

Shared 16/02/2024

28:04

30 Интуиционистская логика

Sawa Kazimirov

Shared 09/02/2024

49:16

29 Большая пятерка арифметик

Sawa Kazimirov

Shared 02/02/2024

41:29

28 некоторые полные теории

Sawa Kazimirov

Shared 26/01/2024

17:33

27 Пересечение теорий

Sawa Kazimirov

Shared 19/01/2024

32:22

26 Вторая теорема Гёделя о неполноте

Sawa Kazimirov

Shared 12/01/2024

47:14

25 Первая теорема Гёделя о неполноте

Sawa Kazimirov

Shared 05/01/2024

46:14

24 вычислимость и разешимость

Sawa Kazimirov

Shared 05/01/2024

20:01

23 разрешимые и перечислимые множества

Sawa Kazimirov

Shared 29/12/2023

33:52

22 Сигма-1 полнота и Сигма-1 определимость

Sawa Kazimirov

Shared 22/12/2023

55:50

21 вычислимость и представимость арифметических функций

Sawa Kazimirov

Shared 15/12/2023

38:35

19 Теорема Лося об ультрапроизведениях

Sawa Kazimirov

Shared 01/12/2023

33:44

18 ультрапроизведение

Sawa Kazimirov

Shared 24/11/2023