/sci/ - Science & Math

>>15235635
This could be a lot closer to a formal proof
- you could be using LyX/TeX
- you could proofread your proof (haha)
- you could admit that it's a choice function on some subset of P(X)
- you could omit this gratuitous use of "process must terminate eventually" because I really can't think why you'd want to genuinely contaminate a proof with that with sentence fragments that stink of computability and "effective" (it smells like old books here)
I mean,
other than that, I'm not going to even suggest that I have the time to read your comment and offer my editorial work free of charge to strangers here on the internet
::shoots an arrow at 3 o'clock::