Джон Стилуэлл

Обратная математика. Доказательства, вывернутые наизнанку

Джон Стилуэлл

Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы. В этой книге Джон Стилуэлл рассказывает о...