Can I read Function Minimization and Error Analysis on EtoBox?

Function Minimization and Error Analysis by router001 is a document available to read on EtoBox.

What is Function Minimization and Error Analysis about?

This document presents a proof that it is impossible to write a program that can determine if any other program will terminate or loop. It does this by defining a routine P that examines itself to determine if it will terminate or loop, leading to a contradiction either way. Specifically, it defines P such that if the theoretical termination function T[P] returns True, P will loop, and if T[P] returns False, P will terminate, demonstrating that such a termination function T cannot exist.

Author

router001

Language

EN