Harvey M. Friedman
1 Publications
Concrete mathematical incompleteness
basic emulation theory
2018
in: Hilary Putnam on logic and mathematics, Berlin,
1 Publications
1 Publications
basic emulation theory
in: Hilary Putnam on logic and mathematics, Berlin,
1 Publications