zlacker

[parent] [thread] 4 comments
1. bmacho+(OP)[view] [source] 2026-02-02 20:13:14
Can you give a formulation of the problem you are trying to answer?
replies(1): >>tromp+91
2. tromp+91[view] [source] 2026-02-02 20:19:16
>>bmacho+(OP)
To find the largest number that is computable by a program of at most 64 bits in a non-cheating language; i.e. one that's not geared toward producing large numbers.
replies(1): >>bmacho+94
◧◩
3. bmacho+94[view] [source] [discussion] 2026-02-02 20:30:52
>>tromp+91
Do you have a mathematical formulation, or?

Ultimately you seem to pick a random definition of computing and size and then work with that?

replies(2): >>SAI_Pe+YI >>ted_du+5w1
◧◩◪
4. SAI_Pe+YI[view] [source] [discussion] 2026-02-02 23:13:58
>>bmacho+94
"Computable" has a well-known standard definition in this context, meaning a computable function[1]. In a given model of computation, a computable function is one for which an algorithm exists which computes the value of the function for every value of its argument. For example, the successor function adds 1 to an input number, and is computable. The halting problem (determine whether a program given in the argument halts) is not computable.

[1] https://en.wikipedia.org/wiki/Computable_function

◧◩◪
5. ted_du+5w1[view] [source] [discussion] 2026-02-03 04:45:21
>>bmacho+94
The article described why the choices were neither random nor particularly arbitrary.
[go to top]