Sökning: "arithmetised metamathematics"

Hittade 1 avhandling innehållade orden arithmetised metamathematics.

  1. 1. Metamathematical fixed points

    Författare :Rasmus Blanck; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; arithmetised metamathematics; fixed point; recursion theory;

    Sammanfattning : This thesis concerns the concept of metamathematical fixed points. After an introduction, we survey the field of metamathematics, from la fin du siècle to present. We are especially interested in the notion of fixed points, theorems on the existence of various kinds of fixed points, and their applications to metamathematics. LÄS MER