Kurt Gödel help edit space_dashboard Mathematician and logician; the incompleteness theorems. Cited as a background-reference author, not a Hyperon-project contributor.