Sökning: "Rasmus Blanck"

Hittade 2 avhandlingar innehållade orden Rasmus Blanck.

  1. 1. Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility

    Författare :Rasmus Blanck; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; arithmetic; incompleteness; flexibility; independence; non-standard models; partial conservativity; interpretability;

    Sammanfattning : This thesis concerns the incompleteness phenomenon of first-order arithmetic: no consistent, r.e. theory T can prove every true arithmetical sentence. The first incompleteness result is due to Gödel; classic generalisations are due to Rosser, Feferman, Mostowski, and Kripke. LÄS MER

  3. 2. 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