All elementary functions from a single binary operator

BobbyTables2

How does one actually add with this?

peterlk

Reminds me a bit of the coolest talk I ever got to see in person: https://youtu.be/FITJMJjASUs?si=Fx4hmo77A62zHqzy It’s a derivation of the Y combinator from ruby lambdas

selcuka

So, like brainf*ck (the esoteric programming language), but for maths?

nonfamous

How would an architecture with a highly-optimized hardware implementation of EML compare with a traditional math coprocessor?

supermdguy

Next step is to build an analog scientific calculator with only EML gates

jekude

What would physical EML gates be implemented in reality? Posts like these are the reason i check HN every day

tripdout

Interesting, but is the required combination of EML gates less complex than using other primitives?

hyperhello

> eml(x,y)=exp(x)-ln(y) Exp and ln, isn't the operation its own inverse depending on the parameter? What a neat find.

zephen

Judging by the title, I thought I would have a good laugh, like when the doctor discovered numerical integration and published a paper. But no... This is about continuous math, not ones and zeroes. Assuming peer review proves it out, this is outstanding.

simplesighman

> For example, exp(x)=eml(x,1), ln(x)=eml(1,eml(eml(1,x),1)), and likewise for all other operations I read the paper. Is there a table covering all other math operations translated to eml(x,y) form?

qiller

For completeness, there is also Peirce’s arrow aka NOR operation which is functionally complete. Fun applications iirc VMProtect copy protection system has an internal VM based on NOR. Quick google seach brings up https://github.com/pr701/nor_vm_core , which has a basic idea

entaloneralie

This is amazing! I love seeing FRACTRAN-shaped things on the homepage :) This reminds me of how 1-bit stacks are encoded in binary: A stack of zeros and ones can be encoded in a single number by keeping with bit-shifting and incrementing. Pushing a 0 onto the stack is equivalent to doubling the number. Pushing a 1 is equivalent to doubling and adding 1. Popping is equivalent to dividing by 2, where the remainder is the number. I use something not too far off for my daily a programming based on a similar idea: Rejoice is a concatenative programming language in which data is encoded as multisets that compose by multiplication. Think Fractran, without the rule-searching, or Forth without a stack. https://wiki.xxiivv.com/site/rejoice

krick

> using EML trees as trainable circuits ..., I demonstrate the feasibility of exact recovery of closed-form elementary functions from numerical data at shallow tree depths up to 4 That's awesome. I always wondered if there is some way to do this.

DoctorOetker

EDIT: please change the article link to the most recent version (as of now still v2), it is currently pointing to the v1 version which misses the figures. I'm still reading this, but if this checks out, this is one of the most significant discoveries in years. Why use splines or polynomials or haphazardly chosen basis functions if you can just fit (gradient descent) your data or wave functions to the proper computational EML tree? Got a multidimensional and multivariate function to model (with random samples or a full map)? Just do gradient descent and convert it to approximant EML trees. Perform gradient descent on EML function tree "phi" so that the derivatives in the Schroedinger equation match. But as I said, still reading, this sounds too good to be true, but I have witnessed such things before :)

lioeters

> A calculator with just two buttons, EML and the digit 1, can compute everything a full scientific calculator does Reminds me of the Iota combinator, one of the smallest formal systems that can be combined to produce a universal Turing machine, meaning it can express all of computation.

noobermin

I don't mean to shit on their interesting result, but exp or ln are not really that elementary themselves... it's still an interesting result, but there's a reason that all approximations are done using series of polynomials (taylor expansion).

nurettin

The problem with symbolic regression is ln(y) is undefined at 0, so you can't freely generate expressions with it. We need to guard it with something like ln(1+y*y) or ln(1+|y|) or return undefined.

prvc

This is neat, but could someone explain the significance or practical (or even theoretical) utility of it?

notorandit

Not sure it really compares to NAND() and the likes. Simply because bool algebra doesn't have that many functions and all of them are very simple to implement. A complex bool function made out of NANDs (or the likes) is little more complex than the same made out of the other operators. Implementing even simple real functions out of eml() seems to me to add a lot of computational complexity even with both exp() and ln() implemented in hardware in O(1). I think about stuff sum(), div() and mod(). Of course, I might be badly wrong as I am not a mathematician (not even by far). But I don't see, at the moment, the big win on this.

eugene3306

This makes a good benchmark LLMs: ``` look at this paper: https://arxiv.org/pdf/2603.21852 now please produce 2x+y as a composition on EMLs ``` Opus(paid) - claimed that "2" is circular. Once I told it that ChatGPT have already done this, finished successfully. ChatGPT(free) - did it from the first try. Grok - produced estimation of the depth of the formula. Gemini - success Deepseek - Assumed some pre-existing knowledge on what EML is. Unable to fetch the pdf from the link, unable to consume pdf from "Attach file" Kimi - produced long output, stopped and asked to upgrade GLM - looks ok