This - "These are languages for computation, for expressing algorithms, not for mathematical reasoning. They are universal programming languages that are maximally expressive, maximally concise."
IMO, computation, expressing algorithms, AND mathematical reasoning PLUS Etc.. - An estimably "perfect" language expresses all of them. All the same stuff... And, any other language and symbol system would be expressible with it, relatively efficiently, synergistic with protocol. ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T37756381803ac879-Mb9140ba883e65fa537f939ff Delivery options: https://agi.topicbox.com/groups/agi/subscription