undefined | Better HN

0 pointsconstantcrying2y ago0 comments

I agree that proofs assume for readability that the reader fills in some blanks. I might even go so far as to say that this informality can be dangerous.

Still, the question is, are there "folk theorems", where no proof exist which could be written down fully formal?

0 comments

cubefox2y ago

I said there are accepted statements for which nobody can "cite" a proof, not that these statements are not provable in principle.

j / k navigate · click thread line to collapse

0 pointsconstantcrying2y ago0 comments

I agree that proofs assume for readability that the reader fills in some blanks. I might even go so far as to say that this informality can be dangerous.

Still, the question is, are there "folk theorems", where no proof exist which could be written down fully formal?

0 comments

cubefox2y ago

I said there are accepted statements for which nobody can "cite" a proof, not that these statements are not provable in principle.

j / k navigate · click thread line to collapse