> > I will still be told that I am off topic, but Leibniz never said that all >> human problems would be settled by logic. >> > This is an extreme view. I don't believe that anyone could view history or philosophy of mathematics, especially relevant to logic as "off-topic".
> I prefer to warn because if some people think, based on Leibniz, that we > will remedy the ecological disaster with AI, > they are very much mistaken. > They will be at least naive. And that's what making any such discussions outside of expert community useless at best or demagogy at worst. But of course people tend to complain about their grievances anyway. But what good will it make (except make them feel better)? Heck, it's impossible to get most programmers fix even their own bugs. Does somebody believes that a few strangers can affect world markets by just complaining? BTW, "contrary" to expectations Greta doesn't post her grievances on Facebook by herself, you know... I've told you, I'm cynical. BTW, let's first define what AI should really mean. Is it some sentient thing (whatever that mean) or just a statistical trick? If the latter then I see that term just as a hype. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/487c2505-dcdc-4453-ab98-87ca763cfc02%40googlegroups.com.
