Ang kanyang tesis na Systems of Logic Based on Ordinals ay nagpapakilala ng konsepto ng lohikang ordinal at ang ideya ng relatibong pagkukwenta , kung saan ang mga makinang Turing ay nagdadagdag ng mga tinatawag na oracle , na lumulutas sa mga problemang hindi malulutas ng isang makinang Turing.
