mathematically
Joined 5 years ago
Karma
208
Submissions
99
Member since
Aug 6
Recent submissions
Comment · 5 years ago
Comment · 5 years ago
We're not actually and assuming that is the case is why we're in the mess we're in right now facing an existential risk from global warming and potential ecological collapse.
Comment · 5 years ago
Yes, that's the usual assumption when working with Turing machines and proofs. But I guess you could also allow infinite inputs and it wouldn't make that much difference, e.g. computing exp(x) for some real x as input.
Comment · 5 years ago
It's very fun. Thanks for putting it together.
Comment · 5 years ago
Yup, transposition error.
Comment · 5 years ago
Related: https://theanarchistlibrary.org/library/david-graeber-after-.... It's cool to see people waking up and getting organized.
Comment · 5 years ago
Just a heads up, worksheet 5 has an error: (P ↔ Q) → (R ↔ S) → (P ∧ Q ↔ R ∧ S). That proposition is not actually true.
Comment · 5 years ago
I mean by looking at the source code for the neural network someone can give an upper bound on how many steps will be required before the entire network halts and gives an answer and they can prove that their upper bound is really an upper bound.
Comment · 5 years ago
Ya, it could be more concise but I think that would require more prerequisites from the reader in terms of model theory and formal logic.
Comment · 5 years ago
At the rate things are going large parts of India will become uninhabitable: https://phys.org/news/2021-06-india-climate.html, https://www.dw.com/en/india-climate-change-ipcc/a-58822174. Similar things can be said for many other places that are currently near tipping points in terms of frequency and duration of heat waves and droughts.
Optimizing profits at the expense of everything else is a surprisingly large part of much dysfunction on the internet. Significant parts of the internet are sponsored by ads and this business model creates perverse incentives for the people operating the infrastructure that serves those ads [1]. This is most obvious in social media but it's starting to be the case for Google as well, the quality of their search is continuing to degrade and more of their results are sponsored ads or SEO optimized sites instead of actually useful or pertinent pages [2]. I now mostly look for academic articles when I want to do actual research because most sites matching the keywords I'm looking for almost never contain any semantically relevant content.
1: https://niklasblog.com/?p=25416
2: https://www.washingtonpost.com/news/arts-and-entertainment/w...