AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Unraveling Complexity and Truth in Computation
This chapter explores the intricate relationship between blockchain technology and automated theorem proving, addressing the challenges of defining correctness in computation. It highlights philosophical implications rooted in Gödel's theorem and the evolution of complexity in science, touching on underappreciated computational concepts and their future significance. The discussion includes the establishment of complexity as a dedicated field and proposes frameworks like metamodelling and ruleology to better understand complex systems.