The tag has no usage guidance.

learn more… | top users | synonyms

24
votes
1answer
2k views

Is there a common genesis for ADE classifications?

Recall that a certain type of object admits an ADE classification if there is a notion of equivalence relative to which equivalence classes of objects of the given type can be placed in one-to-one ...
3
votes
1answer
578 views

Feferman's extensional and intensional applications of the method of arithmetization

At the very beginning of Feferman's Arithmetization of metamathematics in a general setting it can be read: The method of arithmetization, as developed by Gödel[10], exploits the possibility of ...
6
votes
5answers
2k views

A meta-mathematical question related to Hilbert tenth problem

I am reading Bjorn Poonen's very nice survey on Hilbert's Tenth problem (http://www-math.mit.edu/~poonen/papers/uniform.pdf), and while I believe I understand the mathematics well, I have widespread ...
5
votes
2answers
1k views

Meta$^{n{-}th}$ mathematics [duplicate]

Metamathematics has a reasonably clear connotation, enough to have a Wikipedia page, with Gödel, Tarski, and Turing playing leading roles; Kleene's book (Introduction to Metamathematics (Amazon ...