Logician, musician, special edition. I run upper division math at Chaminade University, and study computability theory/LEAN when I can. Opinions my own. He/him.
Honolulu, HI
Joined June 2021
- Tweets3.2K
- Following34
- Followers284
- Likes59.2K
David J. Webb retweeted
Assuming 1 try per second continuously, it would take a human ≈ 3.67 x 10^69 years to guess a SHA-256 hash, unless of course it was coded by an Indian infosec company, in which case it would take 4 tries because the answer would simply be “4”
David J. Webb retweeted
really simple intuition for understanding the Löwenheim-Skolem theorem: homepages.ucl.ac.uk/~uctytbu…
David J. Webb retweeted
If you see someone on here using a word that ends with -oid, you can safely disregard whatever they're saying. For instance, "A monad is a monoid in the category of endofunctors"
David J. Webb retweeted
github.com/jeff87654/busy-be…
Someone else formalized my 254-state "halts iff ZFC is inconsistent" Turing Machine. Claude is really good for this, apparently.
So the 254th Busy Beaver cannot be proven in ZFC.
That leaves only the 238-state PA machine, which will probably come soon.
David J. Webb retweeted
An important version of Vaught's conjecture has been refuted! The original Vaught (for FOL) delenda est 🙏
David J. Webb retweeted
Mathematical logic will be less threatened by AI than other fields of mathematics.
Other mathematicians have already eliminated most of the jobs for logicians.
David J. Webb retweeted
I'm not interested in commentary on math from people who never cared or thought about math prior to the moment it became useful for raising investment $$$ business valuation go up.
David J. Webb retweeted
Man I understand the hatred towards mathematicians coming from people who genuinely struggled at math and other subjects, but seeing it from literal physics and philosophy professors is unreal. "Maybe their job shouldn't be subsidized" bro all of our jobs are for the same reason
David J. Webb retweeted
my friend milo (math phd student at caltech, research intern at logical intelligence) wrote an article on some of the consistency and soundness concerns of Lean, and why they should be taken seriously right now: lesswrong.com/posts/zHhGa3iQ…
David J. Webb retweeted
Now that I’m seeing results like integer multiplication and Fourier transforms breaking the (O(n\log n)) barrier, I’m starting to understand why Pythagoras threw that guy overboard
David J. Webb retweeted
Downside of dumping it all at once is that the feed isn't going to spend a week nicely explaining to me what each result is and why it's important.
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math
