You're viewing the mastodonapp.uk public feed.

Sophie Schmiegsophieschmieg@infosec.exchange
Oct 28, 2026, 9:35 PM
@bnut @demofox Ultrafinitism does have irrational numbers, but it doesn't believe in such silly things as uncomputable numbers. Or uncountable infinity. Or countable infinity. Or numbers like 10^(10^8).
💬 3🔄 0⭐ 8

Replies

Zimmiebob_zim@infosec.exchange
Oct 28, 2026, 10:48 PM
@sophieschmieg @bnut @demofox … she says, immediately before using infinity in a sum in another branch of the thread. 😉
💬 0🔄 0⭐ 2
🌈 Andrew ☄️bnut@aus.social
Oct 28, 2026, 11:11 PM
@sophieschmieg @demofox the big numbers part is very interesting to me. iirc a lot of definitions around infinities and cardinality use proofs by induction, but maybe you can’t do a proof by induction without infinity? What’s the last number that’s not too big?
💬 0🔄 0⭐ 0
Richard Barrell0x2ba22e11@unstable.systems
Oct 30, 2026, 1:09 PM
@sophieschmieg @bnut @demofox the ultrafinitist opinion about computability is that the busy beaver would just get tired
💬 0🔄 3⭐ 2