#mathematical — Public Fediverse posts

Designing an L-system language and interpreter

#Coding #Programming #Tech #Fractal #Fractals #Language #Languages #Declarative #Math #Maths #Mathematics #Mathematical #System #Systems #Compiler #Interpreter #C #CProgramming #C_Programming #Programming_Language

Learning more about Claude's mathematical capabilities

https://www.anthropic.com/research/riemann-zeta

Comments: https://news.ycombinator.com/item?id=49247070

#HackerNews #Claude #AI #mathematical #capabilities #Riemann #Zeta #research #Anthropic

Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumanely short intervals. It now appears that mathematics, and indeed creativity, has no place in modern high-frequency CI/CD CRUD-grinding.

But even in this #AI Slop Age, life-critical #engineering work still demands #mathematical reasoning and #professional guarantees, under law. Software now plays a central role in this type of work. And software frailties have reached epidemic levels, from operating system kernels, device drivers, and up. Hence, #verified #programming has become an urgent necessity.

By “verified”, I mean not post hoc but ab initio verification, at every stage of the process: requirements analysis, specifications as propositions, computer assisted proofs, design synthesis, deterministic code transformation.

Many #IT software practitioners maintain that they neither know nor care about mathematics, and that they cannot afford mathematical frolics when there are profits to be reaped.

That economic argument is, at best, weak, in the modern, tightly integrated society, where the full cost of software failures is incalculable. Even amongst ordinary, but essential, business applications that cannot harm life and limb, a propagating cascade failure now has the potential to collapse the global economy, in an instant.

Be that as it may, such economic objections have no force at all against the legally mandated safety requirements of life-critical applications.

Time for #mathematical #giraffe #genius

https://www.smithsonianmag.com/smart-news/giraffes-might-be-even-smarter-than-we-thought-some-can-solve-simple-math-problems-a-new-study-suggests-180989124/?itm_source=parsely-api?itm_source=most-popular&itm_medium=parsely-api #wildlife

“Large Language Models (LLMs) like ChatGPT are extremely good at some things like #coding, #mathematical problems and generating #text, LeCun says.

But he argues that these are well defined and predictable problems.

"They [LLMs] basically just accumulate knowledge... They can regurgitate something, you train them to #regurgitate, but they're not particularly smart. They don't have an underlying understanding," he says. In the real world there is a bewildering array of outcomes to any action, which requires a more flexible type of #ArtificialIntelligence.”

Not every problem requires a 🔨

#LLM / #NonAGI / #YannLaCun / #IngmarPosner <https://www.bbc.com/news/articles/cj6gr0xkyr3o>

The University of Liverpool has launched a call for ten 150th Anniversary Chairs. 🎓

In #Mathematical #Sciences, we read the priority areas broadly. We already work across four of the five: materials, AI/data, health, and clean energy/oceans/maritime — and we’re keen to build further capacity and to hear from exceptional #mathematicians.

🚀 Please boost widely.

https://news.liverpool.ac.uk/2026/07/01/global-call-launched-for-exceptional-academic-leaders

#Maths #AcademicJobs

Oscillating Patterns in Image Processing and Nonlinear Evolution Equations: The Fifteenth Dean Jacqueline B. Lewis Memorial Lectures by Yves Meyer (PDF)
Author: Yves Meyer
File Type: PDF
Download at https://sci-books.com/oscillating-patterns-in-image-processing-and-nonlinear-evolution-equations-the-fifteenth-dean-jacqueline-b-lewis-memorial-lectures-b0056wttw2/
#Mathematical, #YvesMeyer

Nonlinear Oscillations by Ali H. Nayfeh (PDF)
Author: Ali H. Nayfeh
File Type: PDF
Download at https://sci-books.com/nonlinear-oscillations-0471121428/
#Mathematical, #AliH.Nayfeh

Some mathematical research that I've been doing. I just took a screenshot of my status update on DeviantArt, since there's no way I can fit it into the Mastodon format.

#Math #Maths #Mathematics #Mathematical #Fractal #Fractals #Topology #Geometry #Geometric #Research #Series #Theorem #Proof #Deduction #Mathstodon

#mathematical : relating to mathematics

- French: mathématique

- Italian: matematico

- Portuguese: matemático

- Spanish: matemático

------------

Fill in missing or incorrect translations @ https://wordofthehour.org/r/translations

Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. The declaration is open for signing: 🌍 https://leidendeclaration.ai/

Leiden Declaration on Artifici...

Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. It is not completely against #AI, but argues for #transparency, attribution, human authorship, #OpenScience and proper review.

The declaration is open for signing:

🌍 https://leidendeclaration.ai/
📄 https://doi.org/10.5281/zenodo.20302944

#ResponsibleAI #LeidenDeclaration

An Introduction to Dynamical Systems and Chaos by G.C. Layek (PDF)
Author: G.C. Layek
File Type: PDF
Download at https://sci-books.com/an-introduction-to-dynamical-systems-and-chaos-b018u4teuy/
#Mathematical, #G.C.Layek

An Introduction to Stochastic Processes in Physics (Johns Hopkins Paperback) by Don S. Lemons (PDF)
Author: Don S. Lemons
File Type: PDF
Download at https://sci-books.com/an-introduction-to-stochastic-processes-in-physics-johns-hopkins-paperback-080186867x/
#Mathematical, #DonS.Lemons

The Energy Method, Stability, and Nonlinear Convection (Applied Mathematical Sciences, 91) 2nd Edition by Brian Straughan (PDF)
Author: Brian Straughan
File Type: PDF
Download at https://sci-books.com/the-energy-method-stability-and-nonlinear-convection-applied-mathematical-sciences-91-2nd-edition-038700453x/
#Mathematical, #BrianStraughan

Dirac \(\delta(t)\) and Kronecker \(\delta[n]\) have long been staples of #engineering analysis.

But those with refined mathematical sensibilities had strenuously objected to the use of the delta function. It took a Fields Medal winner, Schwartz, to place the \(\delta\) on a firm #mathematical foundation.

Of late, such fastidiousness in #STEM practice had been sent adrift in the strong, turbulent, fast currents of #Python and #AI.

Noise, Oscillators and Algebraic Randomness: From Noise in Communication Systems to Number Theory (Lecture Notes in Physics, 550) 2000th Edition by Michel Planat (PDF)
Author: Michel Planat
File Type: PDF
Download at https://sci-books.com/noise-oscillators-and-algebraic-randomness-from-noise-in-communication-systems-to-number-theory-lecture-notes-in-physics-550-2000th-edition-3662142961/
#Mathematical, #MichelPlanat

A Nonlinear Dynamics Perspective of Wolfram's New Kind of Science (2 Volume Set) (World Scientific Nonlinear Science Series a) by Leon O Chua (PDF)
Author: Leon O Chua
File Type: PDF
Download at https://sci-books.com/a-nonlinear-dynamics-perspective-of-wolframs-new-kind-of-science-2-volume-set-world-scientific-nonlinear-science-series-a-9812566422/
#Mathematical, #LeonOChua

Proof by #intimidation

#AI could soon spew out hundreds of #mathematical proofs that look “right” but contain hidden #flaws, or proofs so complex we can’t verify them

- How will we know if they’re right?

A model might be giving convincing — but #incorrect — answers

“I think #o4-mini has mastered proof by intimidation!; it says everything with so much confidence.”

https://www.livescience.com/physics-mat

#QuestionAuthority #false #CriticalThinking #AISlop

Handbook of Chaos Control 2nd Edition by Eckehard Schà¶ll (PDF)
Author: Eckehard Schöll
File Type: PDF
Download at https://sci-books.com/handbook-of-chaos-control-2nd-edition-3527406050/
#Mathematical, #EckehardSchöll

Collective Dynamics of Nonlinear and Disordered Systems 2005th Edition by Gà¼nter Radons (PDF)
Author: Günter Radons
File Type: PDF
Download at https://sci-books.com/collective-dynamics-of-nonlinear-and-disordered-systems-2005th-edition-354021383x/
#Mathematical, #GünterRadons

In establishing a Centre, I am very aware of how few well-designed physical spaces for #mathematical collaboration exist. That may only be due to my personal experience, so I am reaching out to you to ask for examples. Please post ideas, photos, sketches, ideas… The more the merrier

The Poset of K-Shapes and Branching Rules for K-Schur Functions (Memoirs of the American Mathematical Society) by Thomas Lam (PDF)
Author: Thomas Lam
File Type: PDF
Download at https://sci-books.com/the-poset-of-k-shapes-and-branching-rules-for-k-schur-functions-memoirs-of-the-american-mathematical-society-082187294x/
#Mathematical, #ThomasLam

Affine Insertion and Pieri Rules for the Affine Grassmannian (Memoirs of the American Mathematical Society) by Thomas Lam (PDF)
Author: Thomas Lam
File Type: PDF
Download at https://sci-books.com/affine-insertion-and-pieri-rules-for-the-affine-grassmannian-memoirs-of-the-american-mathematical-society-0821846582/
#Mathematical, #ThomasLam