logoalt Hacker News

sreantoday at 8:01 AM0 repliesview on HN

Yes.

But remember one is dealing with idealized / axiomatized folding. The situation is similar with compass and straight edge geometry -- those physical lines and circles marked on paper are approximate but mathematically, in the world of axioms we assume the tools are capable of perfect constructions.