Advanced

Introduction and Proof of the Goodstein Sequence and Hydra Game

Tigerschiöld, Hermine LU (2017) In Bachelor's Theses in Mathematical Sciences FMAL01 20171
Mathematics (Faculty of Engineering)
Abstract
This thesis will introduce and prove the theorem of the Hydra Game as well as the theorem surrounding the Goodstein sequence. The two problems which are clearly intertwined will be introduced and solved with the assumption that the reader has no previous knowledge of them and little to no knowledge of ordinal numbers. All results have previusly been reached and presented, most notably by Kirby and Paris (Kirby et al, 1982). The aim of the paper is not to break ground but educate. The end of the paper will mention how these theorems show limitations of Peano Arithmetic but will not attempt to prove the statement.
Please use this url to cite or link to this publication:
author
Tigerschiöld, Hermine LU
supervisor
organization
course
FMAL01 20171
year
type
M2 - Bachelor Degree
subject
publication/series
Bachelor's Theses in Mathematical Sciences
report number
LUTFMA-4005-2017
ISSN
1654-6229
other publication id
2017:K20
language
English
id
8929144
date added to LUP
2018-06-07 17:53:37
date last changed
2018-06-07 17:53:37
@misc{8929144,
  abstract     = {This thesis will introduce and prove the theorem of the Hydra Game as well as the theorem surrounding the Goodstein sequence. The two problems which are clearly intertwined will be introduced and solved with the assumption that the reader has no previous knowledge of them and little to no knowledge of ordinal numbers. All results have previusly been reached and presented, most notably by Kirby and Paris (Kirby et al, 1982). The aim of the paper is not to break ground but educate. The end of the paper will mention how these theorems show limitations of Peano Arithmetic but will not attempt to prove the statement.},
  author       = {Tigerschiöld, Hermine},
  issn         = {1654-6229},
  language     = {eng},
  note         = {Student Paper},
  series       = {Bachelor's Theses in Mathematical Sciences},
  title        = {Introduction and Proof of the Goodstein Sequence and Hydra Game},
  year         = {2017},
}