構成理論は「直線」ではなく「輪」である これまで、構成的証明は「起点→展開→証明」という直線的思考で進められてきました。 しかし、複雑で巨大な未解決問題に挑むとき、この直線構造はすぐ限界に達する。 そこで必要になるのが、構成的循環 ...