I woke up 3AM this morning, probably because my girlfriend has led us to experiment with Italian-style blankets over a duvet (it sucks, we're moving back).
Gabe, in a way you ruined my night, I got my phone and started reading, and then I couldn't stop and didn't sleep anymore.
I thoroughly enjoyed your piece.
To me it's of great coincidence that you know so much about this topic, because I subscribed to your mailing list for AI safety, and independently have been obsessed with metamathematics this summer, prompted by having just finished Russel's History of Western Philosophy and seeing how formalism solved a large part of philosophy, and criticizing Penrose for thinking Gödel's incompleteness says anything about consciousness, and finally reading GEB (which as been staring down at me all my life from my (now late) dad's bookshelf) (and enjoying what a dated perspective it seems to be unfolding on AI).
I couldn't agree more on what a magnificent achievement it has been of humanity. It's so beautiful
I woke up 3AM this morning, probably because my girlfriend has led us to experiment with Italian-style blankets over a duvet (it sucks, we're moving back).
Gabe, in a way you ruined my night, I got my phone and started reading, and then I couldn't stop and didn't sleep anymore.
I thoroughly enjoyed your piece.
To me it's of great coincidence that you know so much about this topic, because I subscribed to your mailing list for AI safety, and independently have been obsessed with metamathematics this summer, prompted by having just finished Russel's History of Western Philosophy and seeing how formalism solved a large part of philosophy, and criticizing Penrose for thinking Gödel's incompleteness says anything about consciousness, and finally reading GEB (which as been staring down at me all my life from my (now late) dad's bookshelf) (and enjoying what a dated perspective it seems to be unfolding on AI).
I couldn't agree more on what a magnificent achievement it has been of humanity. It's so beautiful
Will be musing more about it in the coming days,
David
Very glad to read, and please share your musings if you write them down :)
> If some one says: "You divide ten into two parts: multiply the one by itself; it will be equal to the other taken eighty-one times."
10 = 9 + 1
9^2 = 1 * 81
Really enjoyed this!
Felt like reading math encyclopedia for children.
What do you think are the main differences in incentives between now and then?
Glad you enjoyed!
I believe the difference has little to do with incentives (obligatory link to https://cognition.cafe/p/incentives-is-astrology-for-nerds )
There have never been direct incentives to work on fundamental maths research, let alone metamathematics :D
Thus, I think the explanation is more likely to be found in terms of personality and culture, than in structural terms