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? :-)
-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.