Архетипы математики

Принцип Дирихле и критерий конечного поля

Принцип Дирихле и критерий конечного поля
Канал: Архетипы математики

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

51 завершение курса по матлогике
Канал: Архетипы математики

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

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

11:03
0
49 прогрессии Тьюринга

49 прогрессии Тьюринга
Канал: Архетипы математики

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

48 Схема рефлексий для арифметики
Канал: Архетипы математики

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

47/56 теорема Генцена о непротиворечивости арифметики Пеано
Канал: Архетипы математики

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

46/55 доказательный ординал теории
Канал: Архетипы математики

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

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

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

44 арифметика в исчислении Тейта
Канал: Архетипы математики

15:51
0
43 Исчисление Тейта

43 Исчисление Тейта
Канал: Архетипы математики

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

42 Про неклассические логики вообще
Канал: Архетипы математики

17:18
0
41 Гейтинговы алгебры

41 Гейтинговы алгебры
Канал: Архетипы математики

12:57
0
40 Генценовское исчисление

40 Генценовское исчисление
Канал: Архетипы математики

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

39 топологическая семантика логики доказуемости
Канал: Архетипы математики

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

38 Топологическая семантика Int
Канал: Архетипы математики

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

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

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

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

11:59
0