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?

general 2 stars conversations schedule feeds 4 access

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?

$Mathematics$

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

first-order-logic logic

first message	2016-10-31
last message	3014 days ago

join this room
view transcript

Owners of this room

currently in room frequently in room