Let's be honest

Authors: Nachum Dershowitz

Published: 2021-04-26

DOI: 10.1145/3431281

Source: Full article


Abstract

Seeking to rectify the two mutually exclusive ways of comparing computational power---encoding and simulation.