Interesting Esoterica

A Note on Boolos' Proof of the Incompleteness Theorem

Article by Kikuchi, Makoto
  • Published in 1994
  • Added on
In the collection
We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.

Links

Other information

key
Kikuchi1994
type
article
date_added
2010-09-03
date_published
1994-12-07
journal
Mathematical Logic Quarterly
number
4
pages
528--532
volume
40

BibTeX entry

@article{Kikuchi1994,
	key = {Kikuchi1994},
	type = {article},
	title = {A Note on Boolos' Proof of the Incompleteness Theorem},
	author = {Kikuchi, Makoto},
	abstract = {We give a proof of G{\"{o}}del's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.},
	comment = {},
	date_added = {2010-09-03},
	date_published = {1994-12-07},
	urls = {http://doi.wiley.com/10.1002/malq.19940400409},
	collections = {About proof},
	url = {http://doi.wiley.com/10.1002/malq.19940400409},
	urldate = {2010-09-03},
	journal = {Mathematical Logic Quarterly},
	number = 4,
	pages = {528--532},
	volume = 40,
	year = 1994
}