Anonymous
10/7/2025, 10:53:04 AM
No.16808512
>>16804430
i think it was made for the purpose of showing you can make a function that's definable in mathematics/first order logic, but you can't prove its outputs were finite without invoking second order logic. basically the threshold of what was definable vs. provable, all because it has massive as fuck outputs.
i think it was made for the purpose of showing you can make a function that's definable in mathematics/first order logic, but you can't prove its outputs were finite without invoking second order logic. basically the threshold of what was definable vs. provable, all because it has massive as fuck outputs.