vimarsana.com

Binary Lambda Calculus News Today : Breaking News, Live Updates & Top Stories | Vimarsana

The largest number representable in 64 bits

The largest number representable in 64 bits
tromp.github.io - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from tromp.github.io Daily Mail and Mail on Sunday newspapers.

Shtetl-Optimized » Blog Archive » The 8000th Busy Beaver number eludes ZF set theory: new paper by Adam Yedidia and me

I've supervised a lot of great student projects in my nine years at MIT, but my inner nerdy teenager has never been as personally delighted by a project as it is right now.  Today, I'm proud to announce that Adam Yedidia, a PhD student at MIT (but an MEng student when he did most of this work),…

© 2025 Vimarsana

vimarsana © 2020. All Rights Reserved.