> I see no barrier imposed by Gödel’s Theorem to the implementation on computers (or their successors) of types of symbol manipulation that achieve roughly the same results as brains do.
And a distinction between intelligence and consciousness:
> It is entirely another question to try and duplicate in a program some particular human’s mind—but to produce an intelligent program at all is a more limited goal.
And then:
> Gödel’s Theorem doesn’t ban our reproducing our own level of intelligence via programs
That is pretty hard to square with "GEB argued that AI couldn’t achieve intelligence without first mastering Gödelian self-reference."
A bit more introspective:
> I think that the process of coming to understand Gödel’s proof, with its construction involving arbitrary codes, complex isomorphisms, high and low levels of interpretation, and the capacity for self-mirroring, may inject some rich undercurrents and flavors into one’s set of images about symbols and symbol processing, which may deepen one’s intuition for the relationship between mental structures on different levels.
Both Aristotle and Sokrates would grant the song one point: The demand to be productive every waking hour is not a moral truth. The boss and the father do not own the day. The problem is what the song puts in the space gained. It clears out the obligations, then it stops short of asking what the free day is for.
Then ask an LLM. I'm serious, if you like the style. This article, despite the disclaimer, is almost certainly LLM-written. It's one of many ephemeral blogs that have been cropping up on HN lately and that post single-theme content with striking regularity.
I read GEB cover to cover and haven’t stopped thinking about it for years. Not a brag, a nudge that it’s not impenetrable and more people should read it.
It is a popular science book which catches the vibe of mathematical logic in an excellent way. It is not a textbook, nor a piece of research. It's all vibes, but high-quality vibes. If you are in the right headspace it can be really inspiring!
I had my copy signed by Prof Hofstadter; a treasure to this day. Led to a maths degree, years of organ playing classes, a career in software, and a Zen practice going on 20 years. And I'm pescatarian. I even wrote a few haiku when my babies were little. Hmm, time for another listen to a Tocatta and Fugue.
The extraneous stuff is honestly fabulous, IMO of course. Just being able to listen to a four part fugue sensibly is a rare but accessible pleasure. And amusing dialogs as an instantiated dialectic for showing the truth synthesized from apparent opposites, is a great pedagogical learning.
They don’t. They aren’t faking the BLS numbers as an electoral strategy. No one at WH or NRCC or CLF are rubbing their hands together as if this is all according to plan.
It seems that the "open access" is more marketing than something reality based they actually want to do.
https://dl.acm.org/openaccess ---> So how to access the content? Do I have to register or what? It the "open access" only for academic org's people or for everyone in the world?
https://dl.acm.org/ ---> Okay, nice simple search field without loggin in, but when you try to search something, you get thousands of results, even if you search specific author and the exact name of paper, you will get hundreds of results and the thing you want is buried somewhere on page 247. Filters of authors, years etc. are for Premium subscription. But just googling the thing finds the link to ACM... And want to get the actual PDF? Hope it says "free access"...
Google scholar has become the way to search papers (which is somewhat worrisome). What people want from there is a download for all the stuff that does not list an author copy. Open access IMHO is just a reaction to the fact that mostly you would not need a subscription anyhow. Now the authors are paying upfront or universities are paying flat for all their researchers. The problem is now the incentives are not increasing the number of subscriptions but increasing the number of papers published.
> I see no barrier imposed by Gödel’s Theorem to the implementation on computers (or their successors) of types of symbol manipulation that achieve roughly the same results as brains do.
And a distinction between intelligence and consciousness:
> It is entirely another question to try and duplicate in a program some particular human’s mind—but to produce an intelligent program at all is a more limited goal.
And then:
> Gödel’s Theorem doesn’t ban our reproducing our own level of intelligence via programs
That is pretty hard to square with "GEB argued that AI couldn’t achieve intelligence without first mastering Gödelian self-reference."
A bit more introspective:
> I think that the process of coming to understand Gödel’s proof, with its construction involving arbitrary codes, complex isomorphisms, high and low levels of interpretation, and the capacity for self-mirroring, may inject some rich undercurrents and flavors into one’s set of images about symbols and symbol processing, which may deepen one’s intuition for the relationship between mental structures on different levels.
reply