GUPEA >
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: http://hdl.handle.net/2077/25513

Files in This Item:

File Description SizeFormat
gupea_2077_25513_1.pdf1010KbAdobe PDF
View/Open
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
41
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
URI: http://hdl.handle.net/2077/25513
Appears in Collections:Licentiat Theses / Licentiatavhandlingar

This item has been viewed 147 times.

 

 

© Göteborgs universitet 2011