1. Введение в формальные системы

00:00 - причины формализмов
03:50 - про меры и веса
08:10 - язык медицины и юриспруденции
09:56 - появление спецсимволов в математике
12:53 - необходимость формализации логики
14:40 - построение простейшего формализма
20:10 - определение грамматики
25:10 - интерпретация формализма высказываний
26:50 - аксиоматика
30:47 - таблицы истинности
36:42 - формальная теория равенства
40:20 - взаимозаменяемость переменных
43:52 - модели теории равенства
46:50 - равенство как разрешающая способность языка

Обсуждаем понятие формального языка, грамматики, формальной теории.

💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty: https://boosty.to/mathreisender

Видео 1. Введение в формальные системы канала Sawa Kazimirov