Discussion on question by Doug Spoonwood: Does Goedel Numbering Confuse the Concepts of A Constant and of A Variable? Is There a Type Confusion Implicit in It?
Discussion on question by Doug Spoonw…
Imported from a comment discussion on http://math.stackexchange.com/questions/1992151/does-goedel-numbering-confuse-the-concepts-of-a-constant-and-of-a-variable-is-t
3029d ago – Doug Spoonwood
2
export all events for this room