Here, I change nothing. I break nothing. I inherit everything as it is." With this declaration, the entire history and all achievements of mathematics—from Peano arithmetic to ZFC set theory, large ...
Weave (codenamed "Project Picasso") is a multithreading runtime for the Nim programming language. It is continuously tested on Linux, MacOS and Windows for the following CPU architectures: x86, x86_64 ...
UPDATE: As of 1/9/2024, the Lax virtual machine now supports JIT compilation. Massive shoutout to the incredible SLJIT library for making this possible. JIT support is currently experimental and ...
The recent discussion about the consistency of arithmetic made me want to brush up on my logic. I’d like to learn a bit about axioms for arithmetic that are weaker than Peano arithmetic. The most ...
Faster-than-light neutrinos? Boring… let’s see something really revolutionary. Edward Nelson, a math professor at Princeton, is writing a book called Elements in which he claims to prove the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results