There is a very active community around Lean ranging from mathematicians with no clue about computers to AI researchers trying to improve the automation. These AI researchers have explicitly said that bigger training…
Two months ago I bought a starter kit with some electronics: breadboards, LEDs, cables, transistors, resistors, etc... My 8/9yo daughter really got hooked, and since then I've bought all kinds of logic gates, switches,…
The equality test is equivalent to deciding if something is 0. You can probably ask the app to calculate sqrt(2) * sqrt(2). If that doesn't show a 2 as answer, you've lost. Same goes for sin(arcsin(1/2)). You want the…
@somethingsome If you want to turn arbitrary maths into code, you should take a look at interactive proof assistants. I'm a fan of https://leanprover-community.github.io/ It has Borel spaces:…
There is a very active community around Lean ranging from mathematicians with no clue about computers to AI researchers trying to improve the automation. These AI researchers have explicitly said that bigger training…
Two months ago I bought a starter kit with some electronics: breadboards, LEDs, cables, transistors, resistors, etc... My 8/9yo daughter really got hooked, and since then I've bought all kinds of logic gates, switches,…
The equality test is equivalent to deciding if something is 0. You can probably ask the app to calculate sqrt(2) * sqrt(2). If that doesn't show a 2 as answer, you've lost. Same goes for sin(arcsin(1/2)). You want the…
@somethingsome If you want to turn arbitrary maths into code, you should take a look at interactive proof assistants. I'm a fan of https://leanprover-community.github.io/ It has Borel spaces:…