В настоящее время формальное доказательство широко применяется в различных разделах современной логики и математики. Они являются необходимым методом анализа в тех случаях, когда требуется выявить структуру умозаключений там, где были использованы неформальные доказательства.
Смотрите также
Русская философия первой половины XX столетия
Богдан Александрович Кистяковский
(1868-1920) родился в семье профессора уголовного права Киевского университета. Получил юридическое образование в Германии. Преподавал в Московском и Киевском универ ...