Что такое аксиоматический метод?

Успенский В. А. Что такое аксиоматический метод?
ссылка на книгу www.vixri.com

Аксиоматический метод (лекции, ОТиПЛ)
к.ф.-м.н., с.н.с. Е. Е. Золин∗
http://lpcs.math.msu.su/~zolin/ax/pdf/2015_Axiomatic_method_Zolin_Lectures.pdf

основная идея Unison

https://www.unison-lang.org/docs/the-big-idea/ Упрощение распределенного программирования Сегодняшние языки программирования, как правило, основаны…
Трясина Тьюринга. Трясина подробностей.

Трясина Тьюринга. Смоляная яма Тьюринга. Трясина подробностей. Трясина Тьюринга. https://ru.wikipedia.org/wiki/Тьюринговская_трясина Смоляная яма…
На пальцах. Монады, морфизмы, функторы, каррирование, замыкание.

На пальцах. Монады, морфизмы, функторы, каррирование, замыкание. Три статьи на хабре. Почему функциональное программирование такое сложное…