Seine Doktorarbeit führte den Begriff der „Hypercomputation“ ein, bei der Turingmaschinen zu sogenannten Orakel-Maschinen erweitert werden.
zˌaɪnə dˈɔktoːrˌaɾbaɪt fˈyːɾtə deːn bəɡɾˈɪf dɛɾ hˈyːpɜkˌɔmpuːtatsjˌoːn“ ˈaɪn, baɪ dɛɾ tˌuːrɪŋmaʃˈiːnən tsuː zˈoːɡənˌantən ˈoːrakəlmaʃˈiːnən ɛɾvˈaɪtɜt vˌɛɾdən.