Y
Hacker News
new
|
ask
|
show
|
jobs
by
ProfHewitt
1830 days ago
The logical contradiction is that allowing the [Gödel 1931]
proposition
I'mUnprovable
into foundations makes the
foundations inconsistent.