Tag

computability

1 views collected around this technical thread.

Tencent Cloud Developer
Tencent Cloud Developer
Jun 7, 2024 · Artificial Intelligence

I Understand Turing, Yet Turing Does Not Understand Me

Reflecting on Turing’s pioneering computability theory and the Turing Test, the author acknowledges that while his ideas still shape modern AI and computing, the digital age’s internet, privacy, bias, and security challenges reveal a temporal gap that Turing could not have fully imagined.

Alan TuringHistory of ComputingTuring Test
0 likes · 6 min read
I Understand Turing, Yet Turing Does Not Understand Me
360 Quality & Efficiency
360 Quality & Efficiency
Jul 9, 2018 · Fundamentals

Reliability Redundancy, Gödel’s Incompleteness, and the Halting Problem: Foundations of Program Analysis

The article explores reliability engineering with redundant systems, explains Gödel’s incompleteness theorem and the halting problem, and introduces program static analysis techniques, illustrating how theoretical foundations guide practical approaches to detecting software defects through approximations and abstract interpretation.

GödelStatic Analysiscomputability
0 likes · 8 min read
Reliability Redundancy, Gödel’s Incompleteness, and the Halting Problem: Foundations of Program Analysis