Rob, the problem I have with things like "type theory" and "category
theory" is that they almost always elide their foundation in HOL (high
order logic) which means they don't *really* admit that they are syntactic
sugars for second-order predicate calculus. The reason I describe this as
"risible"
On Thu, May 16, 2024, 11:27 AM wrote:
> What should symbolic approach include to entirely replace neural networks
> approach in creating true AI? Is that task even possible? What benefits and
> drawbacks we could expect or hope for if it is possible? If it is not
> possible, what would be the rea
The first job of supremacist theocrats is to conflate IS with OUGHT and
then cram it down everyone's throat.
So it was with increasing suspicion that I saw the term "foundation model"
being used in a way that conflates next-token-prediction training with
supremacist theocrats conveining inquisitio
It's not about who wins the battle of models, rather if the models employed
would theoretically (symbolically) be a true representation of an AGI with
potential for ASI.
I think that LLMs on their own simply won't hack it. You may be satisfied
with the tradeoffs in commercialized value, but there
