Deciding the undecidable, Nature 352 (1991)

by I Stewart