Viewing profile — mathematically

> Part of me even thinks it’s a more straightforward “data science”-problem when you ask the user what they want instead of playing the guessing game with tensors. Instead of worry…

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.

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. comp…

It's very fun. Thanks for putting it together.

Yup, transposition error.

Related: https://theanarchistlibrary.org/library/david-graeber-after-... . It's cool to see people waking up and getting organized.

Just a heads up, worksheet 5 has an error: (P ↔ Q) → (R ↔ S) → (P ∧ Q ↔ R ∧ S). That proposition is not actually true.

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 a…

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.

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-58…

So then in the statement of the theorem the agent A can determine how many cycles the unit will run before halting, correct?

So how do you get a value out of an LSTM?

Ya, it's not looking good.

Have you read the referenced article?

Unrelated to the article but I ran across an interesting result recently that is related to AI (and the hype surrounding it): Let A be an agent and let S be a Turing machine deduct…

Direct link: https://www.city-journal.org/california-switch-to-primarily-... Really nice analysis of the non-viability of wind and solar: > Such realities expose the silliness of t…

2 years and still recovering.