Wójtowicz, K. Theory of Quantum Computation and Philosophy of Mathematics. Part II. LLP 2018, 28, 173-193.