|
|
> формальные языки, которыми оперируют логики (и которые происходят из какой-то совершенно допотопной математики, типа до первой мировой войны
? Формальные языки происходят не из математики, а из математических доказательств. Их математика в целом не может быть понята - нельзя в одно запихнуть всё. Те немногие доказательства, что есть, в этой математике идут из её интепретации, через самореферентность. (Приложения может и используют какую-то интересную математику, но это другое). Это про начало века. Про форсинг и прочие науки я не знаю, но у меня есть интуиция, что там есть интересные и потенциально полезные (по крайней мере в анализе) идеи про переходы и пределы. Категорный язык инетерсен уже сейчас, конечно, но вы же понимаете, что интерес к формальным языкам происходит из-за их родства с доказательствами, которые в свою очередь являются более важной частью математики чем категории.
(Читать комментарии) Добавить комментарий:
|
|