| ▲ | c-linkage 2 hours ago | |||||||||||||
I don't need to be able to write proofs about my maths using logic and determinism. If the answer comes out in a way that I like then it has to be correct! | ||||||||||||||
| ▲ | dpark 2 hours ago | parent [-] | |||||||||||||
This is vapid condescension. The comment you replied to made no statements about math or proofs. They made a statement about working in systems of non determinism effectively. Your statement seems to imply that this is dumb, as if working in a world of full determinism is an option. | ||||||||||||||
| ||||||||||||||