Вот, вот, тут недавно оказалось, из ссылки в комментариях, что мы все стали понимать интуиционизм прагматично-современным образом (есть в классической математике алгебры открытых множеств топологических пространств и прочие алгебры Гейтинга, и с ними связана прелестная не вполне стандартная логика, а так ничего особенного, часть стандартной математики), а оказывается, основатель его имел в виду гораздо более радикальную интерпретацию: "The dependence of intuitionism on time is essential: statements can become provable in the course of time and therefore might become intuitionistically valid while not having been so before."
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2019-05-21 05:16 am (UTC)Так что, надо долго тестировать!
https://plato.stanford.edu/entries/intuitionism/
via
https://timelets.dreamwidth.org/1042186.html