Follow

「形式的な定理証明がそうでない証明より何倍長くなるか」という議論というか概念、De Bruijn Factor という名前が付いていたのか……!
en.wikipedia.org/wiki/De_Bruij

Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!