Open Access. Powered by Scholars. Published by Universities.®
Artificial Intelligence and Robotics
Gödel; Hehner; Gunther; reflectional; interactional; polylogics
Articles 1 - 1 of 1
Full-Text Articles in Logic and Foundations
Gödel Games: "Cloning Gödel's Proofs", Rudolf Kaehr
Gödel Games: "Cloning Gödel's Proofs", Rudolf Kaehr
Rudolf Kaehr
Gödel's Proofs in the context of beautifying (Hehner) and re-beautifying in polycontextural logic. Deconstruction of the relevance.