@johncarlosbaez Thanks so much for the answer. My intuition is that there must be a lower bound on how quickly the numbers most grow, but I cannot formalize it in any way: it would just seem strange if very small numbers were sufficient to encode complex theorems.

Cc @johncarlosbaez

When using Gödel encoding, the numbers grow really quickly: are there alternative encoding schemes that grow at a more reasonable rate? Is there a bound on how fast they must grow in order to encode sufficiently complex logic?

Yes!

US National Science Foundation looks to shake up funding with ‘Golden Ticket’ pilot

The agency wants to give individual reviewers the power to fund proposals they think are promising, even if other panelists disagree. The aim is to avoid only backing the least controversial applications

https://sciencebusiness.net/news/us-national-science-foundation-looks-shake-funding-golden-ticket-pilot

Everything about this story is just appalling: University administrators, and apparently even student journalists, have apparently decided that material a particular religious group considers “blasphemous” is therefore “harmful.” They cannot have thought through the consequences of applying that idiotic principle consistently. https://www.insidehighered.com/news/2023/01/03/debates-whether-academic-freedom-includes-images-offensive-muslims

@stellaathena I'm always incredibly impressed by the output of EleutherAI. Great job!

This is a great story of how Barnes & Noble’s new CEO who was hired in 2019 has turned around the company. Sales are up, it opened 16 stores this year and plans to open more next year.

The secret is the CEO really likes books and readers. So he stopped doing deals with publishers to promote their latest books & NYT best sellers and encouraged individual stores to promote books they found most interesting.

So simple yet…

https://tedgioia.substack.com/p/what-can-we-learn-from-barnes-and