Pragmatic Cosmos • 1
• https://inquiryintoinquiry.com/2024/09/21/pragmatic-cosmos-1-a/
Re: Michael Harris • Not About Fibonacci
• https://mathematicswithoutapologies.wordpress.com/about-the-author/
• https://mathematicswithoutapologies.wordpress.com/2016/06/09/not-about-fibo…
I have often reflected on the interminglings of the main three
normative sciences. In one of my earliest meditations I saw
Beauty, Goodness, and Truth as the intersecting circles of
a Venn diagram, with the “summum bonum” the central cell.
As far as our ability to approach our object from our origin without,
perfect knowledge of the Good would require us to know all the consequences
of our contemplated actions while perfect knowledge of the True would require us
to know all the axiom sets which never beget a contradiction.
As far as I could tell, and as far as I could see deciding with the empirical tests
and theorem provers I could morally and mathematically envision devising, the above
two tasks exceed the talents of mortal humans and all their technological extensions.
But when it comes to Beauty, our form of being appears to have an inborn sense
to guide us on our quest to the highest good. That way through beauty to our
ultimate goal I called the “human‑hearted path”.
Regards,
Jon
cc: https://www.academia.edu/community/Lpz0q7
cc: https://mathstodon.xyz/@Inquiry/113175621041124276
Logical Graphs • Formal Development 1
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development…
Recap —
A first approach to logical graphs was outlined in the article linked below.
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-…
That introduced the initial elements of logical graphs and hopefully supplied
the reader with an intuitive sense of their motivation and rationale.
Formal Development —
Logical graphs are next presented as a formal system by going back to the
initial elements and developing their consequences in a systematic manner.
The next order of business is to give the precise axioms used to
develop the formal system of logical graphs. The axioms derive
from C.S. Peirce's various systems of graphical syntax via the
“calculus of indications” described in Spencer Brown's “Laws
of Form”.
The formal proofs to follow will use a variation of Spencer Brown's
annotation scheme to mark each step of the proof according to which
axiom is called to license the corresponding step of syntactic
transformation, whether it applies to graphs or to strings.
Resources —
Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs…
Regards,
Jon
cc: https://www.academia.edu/community/ld361R
cc: https://mathstodon.xyz/@Inquiry/113129787112676868
James,
Thanks for that link. It provides important insights into the kinds of jobs that can benefit from current versions of AI. People classified as "developer" use AI tools far more than people classified as "programmer" or "data scientist".
The percentages for the last two are 7% and 8%. They need absolute precision, and an occasional bug takes far more time to correct than the time they gain by using AI tools,
As I keep repeating, precise evaluation is absolutely essential for a wide range of critical applications. For such tasks, any gain in speed is lost in the delays and even disasters caused by AI systems that have a "high percentage" of being correct.
As one programmer said, AI systems let me write a program in 5 minutes that would usually take an hour. But then I have to spend a week in debugging it.
People called developers are probably looking for suggestions that they can pass along to a programmer. And those suggestions may be good. But the programmer has the responsibility for mapping a broad suggestion to a precise solution that is designed for the exact situation.
John
----------------------------------------
From: "James Davenport' via ontolog-forum" <ontolog-forum(a)googlegroups.com>
https://www.infoworld.com/article/3489925/github-survey-finds-nearly-all-de… which is based on https://github.blog/news-insights/research/survey-ai-wave-grows/
The following article shows an important use of GPT-style tools. But note that they are not doing any reasoning or evaluation. The most valuable parts are error correction (simple mistakes) and finding code snippets from a vast range of software that can be found on the WWW.
I recommend clicking on the link below for more information.
But caveat emptor: it can also insert bugs, especially for larger snippets that do almost what you want, but for a slightly different representation than what you're using.
These are the same issues as writing aids in English and other languages. They are good for correcting spelling, inserting useful phrases, reducing the amount of typing, etc. But when they insert larger amounts of text, you have to check the details -- because they can insert stuff that is not what you meant. The worst cases are sections that look good at first glance, but you (or somebody else) discovers misleading or just false passages.
Treat every passage they insert as if written by a clever assistant who does a lot of good stuff, but sometimes makes disastrous errors.
John
--------------------------------
From ACM technews. Information for computer professionals three times a week.
GitHub Survey Finds Nearly All Developers Use AI Coding Tools
Nearly all (97%) of the 2,000 developers, engineers, and programmers polled by GitHub across the U.S., Brazil, Germany, and India said they have used AI coding tools at work. Most respondents said they perceived a boost in code quality when using AI tools, and 60% to 71% of those polled said adopting a new programming language or understanding an existing codebase was "easy" with AI coding tools.
[https://www.infoworld.com/article/3489925/github-survey-finds-nearly-all-de… ]InfoWorld (August 21, 2024)
First-order logic is a universal format that has been used to define every digital device of any kind and anything that can be implemented on any digital computer. Furthermore, every logician in the world and everybody who has studied logic knows FOL.
Alex: Let me propose to keep it in a knowledge hub form of framework. Like for ugraph theory here. Today when we have GenAI as an alternative knowledge concentrator we at least know that it is possible to put ALL our theoretical knowledge in one "computer".
No, no, no absolutely NOT! Only a tiny fraction of logicians have ever seen ugraph.
Only until there is a formal translation to and from FOL, we have ZERO evidence that ugraph is precise and reliable. And if anybody can demonstrate that such a translation is possible, then that is a proof that we don't need ugraph. We can continue to use FOL.
But there is also a standard for the superset of FOL called DOL, which is an official standard of the Object Management
Group. For a summary of the DOL standard, see slides 8 to 12 of https://jfsowa.com/talks/eswc.pdf . That talk (with a subset of the slides) won the best presentation award at the 2020 European Semantic Web Conference.
For the complete specification of the Distributed Ontology, Modeling, and Specification
Language, see https://www.omg.org/spec/DOL/1.0
And GenAI is notorious for its errors and hallucinations. It is not a good recommendation for anything that requires absolute precision and reliability.
John
----------------------------------------
From: "Nadin, Mihai" <nadin(a)utdallas.edu>
Sent: 8/24/24 4:32 PM
Why not?
Just wondering.
Mihai Nadin
Get Outlook for iOSFrom: ontolog-forum(a)googlegroups.com <ontolog-forum(a)googlegroups.com> on behalf of Alex Shkotin <alex.shkotin(a)gmail.com>
Sent: Saturday, August 24, 2024 3:22:23 AM
Heinrich,
Following "We developed a new theory of time and space" is it possible to read it?
What is the form your theory
exists in?
Let me propose to keep it in a knowledge hub form of framework. Like for ugraph theory here.
Today when we have GenAI as an alternative knowledge concentrator we at least know that it is possible to put ALL our theoretical knowledge in one "computer". But this must be done through the formalization of accumulated verified theoretical and technological knowledge, and not through training✈️
Alex
пт, 23 авг. 2024 г. в 16:58, Heinrich Herre <heinrich.herre(a)uni-leipzig.de>:
Hallo together,
I know, of course, that my proposal is a bit provocative. I wanted to hint that the onto-axiomatic method allows an access to the understanding of this problem. This problem can be reduced to another problem: Quantum mechanics needs time quants (and space quants), on the other hand, general relativity assumes the continuity of time and space. How these completely different structures can be unified? We developed a new theory of time and space, based the ideas of Franz
Brentano, and hopefully these new models allows constructions of new type. I had some years ago contacts to top physicists, they never heard something about Brentano's approach. Sometimes scientists are living an a bubble of conventional standard notions. The onto-axiomatic method provides methods to break such bubbles. We are working on this problem, let us see what we get.
With best wishes
Heirich
Am 22.08.2024 um 22:14 schrieb John F Sowa:
Heinrich and Alex,
The goal Heinrich summarized is the ultimate goal of mathematical physics. But I realize that it is a goal that some of the greatest scientists in the world have been working on for the past century. And I would also like to quote two scientists from the past century:
Einstein: God does not play dice with the universe.
Niels Bohr: Stop telling God what to do.
If Einstein, Bohr, and their colleagues and students couldn't solve the problems. I doubt that Ontolog Forum and the other sites listed on this note
will do so
I agree with Alex that a smaller, but still vast project would be somewhat more manageable.
Alex: So let's formalize one or another existing theory. We have this effort in Math like Isabelle, Coq etc. libraries, but not so much in other sciences. Even Mechanics, just Statics, is not fully formalized...
However, Ontolog forum has over a thousand subscribers, and most of them are not mathematical physicists. Even those who do have a good background in math & physics have other work to do, and they won't be able to contribute on a daily basis to any such project.
Therefore, I recommend that somebody who does have the time, funding, and interest in this project should set up a mailing list dedicated to it. Then send a monthly summary of the status to Ontolog Forum and/or other email lists.
John
Phil,
That policy you suggest below would be hard to implement, and it would require a huge amount of government legislation by every country in the world.
But the social media giants could implement a solution if and when some company developed the HYBRID technology to detect bad stuff (or any kind of stuff that anybody might be searching for). As an example of the kind of technology required, see the VifoMind examples from 2010 and earlier: https://jfsowa.com/talks/cogmem.pdf .
Skip to slide 44, which describes three projects that scan large volumes of text to find patterns stated as English questions. Those questions could be English descriptions of patterns to be detected. In those days, the technology was implemented (by us) on a small server. Today, a cell phone has more power. Our customers ran the VivioMind software on large systems that were vastly more powerful than our server.
Those systems did not use LLMs. But our new Permion.ai company has developed a major upgrade to the VivoMind system. In effect, it supports a HYBRID that uses LLMs to support a natural language translator that maps English (or other NLs) to conceptual graphs, which support the analysis and reasoning for finding, analyzing, and evaluating data of any kind,
Unfortunately, we can't get it ready to search the social media for the 2024 election, but we could do that for the 2026 election and scale it up for the 2028 election.
John
----------------------------------------
From: "Philip Jackson" <philipcjacksonjr(a)hotmail.com>
Sent: 8/17/24 7:53 AM
Here is one simple way to greatly reduce the spam, scam, erroneous and evil (e.g. virus-containing) emails that are sent to and received each day by hundreds of millions of people: Make it so that sending a single email would have a nonzero cost, e.g. a nickel for each destination email address, which would need to be paid by the sender to the national post office. Without the sender paying such a cost, the email would go into the bit bucket, and not be delivered.
To be clear, although this is simple to describe and easy to understand, it would not be easy to implement: There would be a variety of technical, business and government challenges, and probably also new laws to create and implement. Yet we appear to have reached a point where something like this may be needed.
Phil
Just after I wrote that I was going to limit the number of notes that I would forward, I was gifted with the following note.
I believe that it is an important innovation that can make LLMs significantly better. But I still believe that some hybrid method for evaluating results is stll a requirement.
For example, I don't believe that it can detect and eliminate all the bad stuff on social media.
John
--------------------------------------------------------------------------------
Meta’s Multi-token Model, A New Beginning for AI?
A New Type of Faster… and Smarter LLMs?
https://medium.com/@ignacio.de.gregorio.noblejas/metas-multi-token-model-a-…
Meta offers this with new research: a model that predicts multiple tokens at once in every prediction, not just one, and unlike previous proposals, with no training overhead.
This not only speeds up the model's text generation but could also make it smarter, meaning we might be about to enter a new training paradigm for frontier AI.
