RSS

Adrià Garriga-alonso

Karma: 1,228

Löb’s the­o­rem sim­ply shows that Peano ar­ith­metic can­not prove its own soundness

Adrià Garriga-alonsoApr 22, 2021, 9:17 AM
5 points
15 comments1 min readLW link