|
|
|
|
|
|
by arketyp
1062 days ago
|
|
|
But it does become relevant if you consider the mathematics we can understand expanded to some ontological boundedness, for instance perhaps something that relates to the validity of the Church-Turing thesis. Then talking about mathematics beyond such a scope becomes moot too. With this I'm not saying we can't reason about Gödel's results by the way. |
|
|