I have a new post on Hackaday: Where Is Mathematics Going? Large Language Models And Lean Proof Assistant.
Category Archives: AI
Using Moondream AI To Make Your Pi “See” Like A Human
I have a new post on Hackaday: Using Moondream AI To Make Your Pi “See” Like A Human.
gong.sh
ChatGPT wrote me a gong.sh script.
ChatGPT Patched A BIOS Binary, And It Worked
I have a new post on Hackaday: ChatGPT Patched A BIOS Binary, And It Worked.
Homework
This is a part of the homework feature of my blog, which is an ongoing conversation with my mate S.F.
Hey mate. Lovely to see you again, as always.
It was Nietzsche who said: “He who has a why to live can bear almost any how.”
Wikipedia explains the Chinese room argument:
The Chinese room argument holds that a computer executing a program cannot have a mind, understanding, or consciousness, regardless of how intelligently or human-like the program may make the computer behave. The argument was presented in a 1980 paper by the philosopher John Searle entitled “Minds, Brains, and Programs” and published in the journal Behavioral and Brain Sciences. Before Searle, similar arguments had been presented by figures including Gottfried Wilhelm Leibniz (1714), Anatoly Dneprov (1961), Lawrence Davis (1974) and Ned Block (1978). Searle’s version has been widely discussed in the years since. The centerpiece of Searle’s argument is a thought experiment known as the Chinese room.
In the thought experiment, Searle imagines a person who does not understand Chinese isolated in a room with a book containing detailed instructions for manipulating Chinese symbols. When Chinese text is passed into the room, the person follows the book’s instructions to produce Chinese symbols that, to fluent Chinese speakers outside the room, appear to be appropriate responses. According to Searle, the person is just following syntactic rules without semantic comprehension, and neither the human nor the room as a whole understands Chinese. He contends that when computers execute programs, they are similarly just applying syntactic rules without any real understanding or thinking.
Personally, I don’t buy the Chinese room argument. I think you can have genuine semantic understanding even in the context of a wholly symbolic reality or experience. Indeed, I think our own semantic understandings are essentially that. That is, I think our semantic understandings can probably be reduced to symbols and are certainly mediated by them. To my mind our brains are obviously machines, thus machines can do what we can do. Do machines have to be brain-like in order to succeed? I doubt it. Both birds and aeroplanes can fly.
The Gettysburg Address is a famous speech that was delivered by Abraham Lincoln, the 16th U.S. president, following the Battle of Gettysburg during the American Civil War in 1863 (161 years ago). The speech has come to be viewed as one of the most famous, enduring, and historically significant speeches in American history. Peter Norvig did a hilarious send up of this famous speech as a series of powerpoint slides as an example of how terrible such slides can be: The Gettysburg Powerpoint Presentation.
Back in 2011 Peter Norvig and Sebastian Thrun taught an online course with over 100,000 students in attendance. Including me! Norvig spoke about the project in his 2012 TED Talk: The 100,000-student classroom.
I have a note here regarding fractionation, but I’m not sure why that was relevant? It must have come up in our discussion?
The welcome video for my YouTube channel is this one: Welcome to @InTheLabWithJayJay! An Electronics Video Blog.
You mentioned the concept of low-GI joy. As compared with, I suppose, hi-carb joy. I suppose this is what the Stoics were on about.
From Alan Watts:
You see, I’m not talking about a philosophy. I’m not talking about a rationalization, some sort of theory that somebody cooked up in order to explain the world and make it seem a tolerable place to live in. I’m talking about a rather whimsical, unpredictable experience that suddenly hits people and it includes this element of feeling the total harmoniousness of everything.
Check out Garys Economics. A former trader explains economics to the layperson.
Olivetti is the famous Italian company which made typewriters and computers back in the day. In this video they show you how everything is now abandoned and run down: The Downfall of Olivetti – Exploring an Abandoned Computer Factory. (Note: this made me think of the recent destruction at the Paragon in Katoomba.)
Allow third-party companies to train AI models using my channel content
What’s a good name for an AI?
Today I saw this article on BBC: The weird way AI assistants get their names.
So I figured I’d ask ChatGPT to suggest some AI names:
ChatGPT 4o
You said:
what’s a good name for an AI?
ChatGPT said:
Here are a few AI name ideas, depending on the vibe you’re going for:
Friendly and approachable
- Luna: Short, easy to remember, and gives a sense of calm and insight.
- Eli: A warm and friendly name that’s simple and memorable.
- Echo: Implies a voice or companion who responds and reflects back.
Futuristic and tech-inspired
- NOVA: Stands for “New Observer Virtual Assistant,” if you want an acronym, and gives a sense of brightness or discovery.
- Orion: Named after the constellation, giving it a starry, guiding feel.
- Zephyr: Evocative of swift and seamless interaction.
Elegant and sophisticated
- Aether: Based on the idea of something all-encompassing, like the sky or ether.
- Elara: Derived from one of Jupiter’s moons, adding a sense of celestial intelligence.
- Astra: Short for “astral” or “astronomy,” suggesting wisdom from the stars.
Let me know if you want more names with a particular tone or theme!
Stonehenge
GDP per Capita
I asked ChatGPT about some economic metrics, it gave me this table:
Leopold Kronecker and Georg Cantor
The following is this from ChatGPT.
ChatGPT 4o
You said:
tell me about Leopold Kronecker and Georg Cantor
ChatGPT said:
Leopold Kronecker and Georg Cantor were both influential mathematicians in the 19th century, particularly known for their work in number theory and the foundations of mathematics, especially in the realm of set theory. Despite their shared contributions to mathematics, they had significantly different philosophies, leading to a famous intellectual clash.
Leopold Kronecker (1823–1891)
- Background: Kronecker was a German mathematician born in what is now Poland. His early work focused on algebraic number theory and elliptic functions.
- Philosophy: Kronecker was known for his finitist view, believing that mathematics should be grounded in finite processes and integers. He famously said, “God made the integers; all else is the work of man,” reflecting his skepticism of mathematical concepts that extended beyond whole numbers, such as irrational and imaginary numbers.
- Opposition to Infinity: Kronecker was critical of the use of infinite sets and actual infinity, viewing them as metaphysical rather than mathematical. He opposed theories that relied on concepts he saw as unverifiable, which placed him at odds with his contemporaries who explored infinite sets.
- Legacy: While Kronecker’s finitist approach limited his acceptance of certain ideas, his rigorous approach to numbers influenced the development of constructive mathematics and intuitionism.
Georg Cantor (1845–1918)
- Background: Cantor, a German mathematician of Russian descent, is most famous for founding set theory, a significant milestone in modern mathematics.
- Set Theory and Infinity: Cantor’s groundbreaking work involved formalizing the concept of infinity. He introduced the notion of different “sizes” or cardinalities of infinity, showing that some infinities are larger than others (e.g., the set of real numbers is “larger” than the set of natural numbers).
- The Continuum Hypothesis: Cantor formulated the continuum hypothesis, a famous problem related to the cardinality of the real numbers, which became one of the most studied problems in set theory.
- Conflict with Kronecker: Cantor’s work on infinite sets was revolutionary, but it attracted criticism, especially from Kronecker. Kronecker viewed Cantor’s ideas as overly abstract and not grounded in what he saw as “acceptable” mathematics. This opposition from a respected figure in the mathematical community contributed to Cantor’s struggles and led to isolation.
- Legacy and Impact: Despite the initial resistance, Cantor’s ideas became fundamental to modern mathematics, influencing disciplines like logic, computer science, and philosophy. Set theory underpins much of contemporary mathematics and has shaped the development of various branches of theoretical math.
The Intellectual Clash
Kronecker and Cantor’s differing philosophies on the nature of mathematics epitomized a larger debate about the role of abstraction, infinity, and rigor in mathematics. While Kronecker sought to keep mathematics within the bounds of constructivism and the finite, Cantor’s work extended it into the transfinite, opening new realms that were later embraced by mathematicians worldwide. Their clash highlights one of the pivotal points in the philosophy of mathematics, influencing views on mathematical foundations for generations.


