News for hackers. Stuff that matters.
Re:Opinions of Doron Zeilberger by edflsafoiewq on Friday January 19, 2024 @06:52PM (#39063054)
Discussion with an ultrafinitist:

-Do you believe in 1?

-Yes.

-Do you believe in 2?

-Yes.

-Do you believe in 4?

-[slight pause] Yes.

-Do you believe in 8?

-[slightly longer pause] Yes.

Eventually you realize each question takes him twice as long to answer as the last.

Re:Opinions of Doron Zeilberger by woopsn on Friday January 19, 2024 @08:22PM (#39063670)
That's funny. There is in fact a quasi-finitist number scheme called the counting numbers, closed under +1 and addition/multiplication generally but not exponentiation, so unbounded but not too "problematic" as they have limited ability to represent propositions (or machine states, etc) arithmetically.
Re:Opinions of Doron Zeilberger by auntienomen on Friday January 19, 2024 @08:56PM (#39063883)
I suppose a log-finitist takes O(1/n) to answer for 2*n? :-)