Switch to: References

Add citations

You must login to add citations.
  1. ‘Metamathematics’ in Transition.Matthias Wille - 2011 - History and Philosophy of Logic 32 (4):333 - 358.
    In this paper, we trace the conceptual history of the term ?metamathematics? in the nineteenth century. It is well known that Hilbert introduced the term for his proof-theoretic enterprise in about 1922. But he was verifiably inspired by an earlier usage of the phrase in the 1870s. After outlining Hilbert's understanding of the term, we will explore the lines of inducement and elucidate the different meanings of ?metamathematics? in the final decades of the nineteenth century. Finally, we will investigate the (...)
    Direct download (2 more)  
    Export citation  
    Bookmark   1 citation