Computation is the Covenant Between Truth and Language

Glen and Karen discuss how language and computation are tied together, that multiple languages can be used to create a symphony of choices to express something logically and emotionally. Links follow timestamps. Timestamps: 00:00 Intro 01:40 The halting problem, Joscha Bach on Godel’s incompleteness theorem, and the connection between language and computation. 04:24 “There is no deeper notion of truth than proof.” Joscha Bach Patterns 06:20 “There. Is a covenant between Truth and Language.” 15:33 Euclid’s fifth postulate is not decidable Decidability and the equivalence of the halting problem to other problems. Wolfram’s computational irreducibility Rule 110 in cellular automata. 22:30 The concept of computation relates to heuristic rule sets. Computation as a physical process that can be based on formal languages or logic, probabilities, or heurist ...