Faculty of Arts / Humanistiska fakulteten >
Department of Philosophy, Linguistics and Theory of Science / Institutionen för filosofi, lingvistik och vetenskapsteori >
Licentiat Theses / Licentiatavhandlingar >

Metamathematical fixed points

Please use this identifier to cite or link to this item:

Files in This Item:

File Description SizeFormat
gupea_2077_25513_1.pdf1010KbAdobe PDF
Title: Metamathematical fixed points
Authors: Blanck, Rasmus
Issue Date: May-2011
Extent: 12+72 sidor
Publication type: licentiate thesis
Series/Report no.: Philosophical Communications Red series
Keywords: Logik
Abstract: 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. The second part of the thesis is a technical investigation of sets of fixed points. Given some recursively enumerable, consistent extension T of Peano arithmetic, we de... more
ISSN: 0347-5794
Appears in Collections:Licentiat Theses / Licentiatavhandlingar



© Göteborgs universitet 2011