The classes and boundaries of automation

On Computability 2 – 358 views

In continuation of the previous ‘On Computability’-papers, we proceed in exploring questions like: ‘What is computability?’, ‘Where do the exact boundaries of decidability lie?’, ‘Can the complexity classes be distinctly separated?’ and present responses provided by various pioneering scientists in the field through their lemmas and theorems over the last 90 years. Naturally, the selection is limited in a paper of 20+ pages…

In recent years, computer science has regained public attention, particularly with the remarkable progress in Artificial Intelligence driven by the integration of increasingly powerful statistical models and clever weighting approaches. However, some of the ‘old’ questions remain as pertinent as ever, with certain open problems persisting for decades.

Similar to our approach in the past, we refrain from confining ourselves to general explanations. Instead, we aim to present theorems about these topics with meticulousness and great attention to detail. Our intention is to make them more accessible to non-experts interested in mathematics and computer science. We consider these findings among the more important achievements of the human mind in recent decades, thus deeming them worthy of detailed examination.