thinker
active
thinker:kurt-godel

Kurt Gödel

Proved incompleteness theorem showing Principia's formalist program could not succeed; cited for implications on computationalism

Authored
0
Introduces
1
Studies
0
Affiliations
0
Cited by
0

More papers — OpenAlex / S2