RSS

homotowat

Karma: 60

Rel­a­tivized Defi­ni­tions as a Method to Sidestep the Löbian Obstacle

homotowatFeb 27, 2022, 6:37 AM
27 points
4 comments7 min readLW link