back
user profile
hackandthink
2,268karma·1,108submissions·October 2, 2022
recent activity (1,108 total)
comment
Hilbert's optimism (we will know) was not a given in the 1930s. What can we make of this almost 100 years later? On the one hand, mathematics and science are incredibly successful. On the other h…
22 pts
comment
I do not know anything about the Langlands program. But I see a lot of categories and functors, so I guess they use, speak and think Category Theory.
comment
"Updating (or conditioning, belief revision or inference) is one of the most fascinating topics of probability theory."
comment
This is an excellent text to understand mathematical structuralism. But it feels anticlimactic. At the beginning there are fundamental problems with mathematical equality. In the end, there is no grea…
comment
I expected Gaussian processes. Can someone relate this to Gaussian processes?
comment
Aristotle was the smartest guy around. Yes he got almost everything wrong but it took many centuries to find better theories. Carlo Rovelli: "Aristotle's Physics: a Physicist's Look&qu…
comment
It's about Milnor’s conjecture.
comment
The author should join the cult of Mnemosyne. https://en.wikipedia.org/wiki/Mnemosyne
comment
What are the limits of a generic implementation? The individual object calculi are already complicated, when does the meta-logic reach its limits?
comment
"As of March 2024, 6.9% of U.S. adults — 17.8 million people — have long Covid, a multisystem illness that sometimes appears after bouts of Covid-19"
comment
The crimes of Verfassungsschutz are serious (like giving weapons to Nazi terrorists) but many germans and german media love their secret police.