Gödel's incompleteness theorem

Vladimir A. Uspensky
1994 Theoretical Computer Science  
doi:10.1016/0304-3975(94)90222-4 fatcat:xvnw5noszjgp5edv6shx6v7yta