Pavel Pudlák. Gödel and computations: a 100th anniversary retrospective. SIGACT News, 37(4):13-21, 2006. [doi]
@article{Pudlak06,
title = {Gödel and computations: a 100th anniversary retrospective},
author = {Pavel Pudlák},
year = {2006},
doi = {10.1145/1189056.1189058},
url = {http://doi.acm.org/10.1145/1189056.1189058},
researchr = {https://researchr.org/publication/Pudlak06},
cites = {0},
citedby = {0},
journal = {SIGACT News},
volume = {37},
number = {4},
pages = {13-21},
}