Interesting Esoterica

"It is like egg": Paul Lorenzen and the collapse of proofs of consistency

Article by Stefan Neuwirth
  • Published in 2021
  • Added on
In the collections
Paul Lorenzen, mathematician and philosopher of the 20th century, mentions October 1947 as the date of a crisis in his mathematical and philosophical investigations. An autograph dated 15 October 1947 documents this crisis. This article proposes a traduction and a commentary of it and sketches the circumstances of its writing on the base of his correspondence with Paul Bernays. A lettter from Lorenzen to Carl Friedrich Gethmann dated 14 January 1988 carves out the story of this crisis by showing how he soaks up the indications of his correspondents and transmutes them into an absolutely original research.

Links

Other information

key
ItislikeeggPaulLorenzenandthecollapseofproofsofconsistency
type
article
date_added
2021-02-12
date_published
2021-03-14

BibTeX entry

@article{ItislikeeggPaulLorenzenandthecollapseofproofsofconsistency,
	key = {ItislikeeggPaulLorenzenandthecollapseofproofsofconsistency},
	type = {article},
	title = {"It is like egg": Paul Lorenzen and the collapse of proofs of  consistency},
	author = {Stefan Neuwirth},
	abstract = {Paul Lorenzen, mathematician and philosopher of the 20th century, mentions
October 1947 as the date of a crisis in his mathematical and philosophical
investigations. An autograph dated 15 October 1947 documents this crisis. This
article proposes a traduction and a commentary of it and sketches the
circumstances of its writing on the base of his correspondence with Paul
Bernays. A lettter from Lorenzen to Carl Friedrich Gethmann dated 14 January
1988 carves out the story of this crisis by showing how he soaks up the
indications of his correspondents and transmutes them into an absolutely
original research.},
	comment = {},
	date_added = {2021-02-12},
	date_published = {2021-03-14},
	urls = {http://arxiv.org/abs/2101.04381v1,http://arxiv.org/pdf/2101.04381v1},
	collections = {about-proof,food,history},
	url = {http://arxiv.org/abs/2101.04381v1 http://arxiv.org/pdf/2101.04381v1},
	year = 2021,
	urldate = {2021-02-12},
	archivePrefix = {arXiv},
	eprint = {2101.04381},
	primaryClass = {math.HO}
}