[ SmokeDetector | MS ] Blacklisted user (69): Find basis for Q(sqrt(2)+cuberoot(2)) over Q(sqrt(2)) by Mondo Duke on math.SE

PSQs: c1, c2

@BillDubuque Technically, we both know that it is not merely 1 bit of information; the proof itself takes up some bits... Anyway, I see that I'm listed as one of the delete-voters; must have mis-clicked earlier... I'm not going to do anything more to this question, and I know your view that questions that are only useful to the asker, but I hope you don't continue deleting good proof-verification questions. Unless you bring it to Meta and the community consensus is that they should be deleted.

*that such questions are only useful to

C1, C2, C3.

D1, D2, D3.

D4, D5, D6.

D7, D8, D9.

D10, D11, D12.

D13, D14, D15.

D16.

Psq math.stackexchange.com/q/3159244/29335

C4, C5, C6.

C7, C8, C9.

@user21820 My argument specifically concerns "this particular question" so - of course - no generalization is intended. Many proof verification questions do add more info than a miserly boolean truth value e.g. debugging common misconceptions and errors, so they do have global value (if not dupes).

@user21820 Btw. when I say it adds only a boolean truth value (proof is correct or not) of course I am not talking about syntactic info ("proof takes some bits"). Rather I am concerned with novel higher level semantic mathematical information that the Q&A adds to the site,

@BillDubuque Okay thanks for clarifying.

Psq math.stackexchange.com/q/3159717/29335

Psq math.stackexchange.com/q/3159722/29335