Consequences of Incompleteness Theorems. Unsolvability. Creativity in Mathematics. Size of Proofs. Related Results. By K.Podnieks

See Section 6 of the entire book in PDF format: