The very concept of abductive reasoning was introduced by C.S. Peirce, who was one of the premier logicians of his time, among other things. His work is certain

The very concept of abductive reasoning was introduced by C.S. Peirce, who was one of the premier logicians of his time, among other things. His work is certainly apropos to programming.