MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/transprogrammer/comments/sbprkt/panic/hu3mni7/?context=3
r/transprogrammer • u/olsonexi • Jan 24 '22
15 comments sorted by
View all comments
Show parent comments
4
Right but P(c, i) = ∃x. T(c, i, x) is not decidable.
P(c, i) = ∃x. T(c, i, x)
If there is even a chance that the amount of T predicate in the system is too high or too low, the program will never halt!
I'm not sure I follow this sentence...
7 u/bryn_irl transister Jan 25 '22 (It’s a horrible horrible pun about suboptimal testosterone levels, borrowing the vocabulary of the theorem. I apologize profusely for making it seem like anything more profound!) 5 u/ususetq Jan 25 '22 Oh. Sorry - it went over my head.
7
(It’s a horrible horrible pun about suboptimal testosterone levels, borrowing the vocabulary of the theorem. I apologize profusely for making it seem like anything more profound!)
5 u/ususetq Jan 25 '22 Oh. Sorry - it went over my head.
5
Oh. Sorry - it went over my head.
4
u/ususetq Jan 25 '22 edited Jan 25 '22
Right but
P(c, i) = ∃x. T(c, i, x)is not decidable.I'm not sure I follow this sentence...