Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gdel's Impact on Logic, Mathematics, and Computer Science.

John W. Dawson

Browse the full LICS paper archive.