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

• Published in 2021
• Added on 2021-02-12

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

• http://arxiv.org/abs/2101.04381v1
• http://arxiv.org/pdf/2101.04381v1

Other information

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-12-07},
	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}
}