Every day in math I face the halting problem:
whether I can finish a proof,
or whether I will go on trying to prove forever.
At any given point
all problems become an undecidable problem.
Time for a break.
Apr 30, 2021
Apr 30, 2021 at 11:24 AM UTC
Every day in math I face the halting problem:
whether I can finish a proof,
or whether I will go on trying to prove forever.
At any given point
all problems become an undecidable problem.
Time for a break.
auto-learn
Request permission to use this poem