Algorithm Characterizations/1936 1963 1964 G%C3%B6dels Characterization

Sorry, we're still building and haven't quite gotten to this subject yet.