[FOM] Gödelian “monster”

[Artemov, Sergei]

Dear Carl, 

Cf. https://urldefense.proofpoint.com/v2/url?u=http-3A__jacqkrol.x10.mx_assets_articles_godel-2D1931.pdf&d=DwIGaQ&c=slrrB7dE8n7gBJbeO0g-IQ&r=xXZM6ZrkjVxXknjzIxhAvQ&m=v8Lc-itu08LocbKta5IxCgAGIrIv9hAsf8ZZOaOMYX4&s=kUmvUDX7ZJAQPUf0tAL3nTEuZKejDZEbezim7ICjroo&e= . 

A quote from there: 
"This epoch-making discovery by Kurt Gödel a young Austrian mathematician, was announced by him to the Vienna Academy of Sciences in 1930 and was published, with a detailed proof, in a paper in the Monatshefte für Mathematik und Physik Volume 38 pp. 173-198 (Leipzig: 1931). This paper, entitled “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I” (“On formally undecidable propositions of Principia Mathematica and related systems I”), is translated in this book. Gödel intended to write a second part to the paper but this has never been published."

A convenient source is also 
Solomon Feferman. Kurt Gödel: Collected Works: Volume I: Publications 1929-1936. Vol. 1. Oxford university press, 1986.

I don't recall seeing the exact wording Gödelian “monster” prior to your papers, but people have been using similar informal characterizations. 

FYI, attached you can find a polished presentation of my "Provability of Consistency" delivered several times in professional places (conferences, colloquia, etc.). I have borrowed your Gödelian “monster” label there too. 

Thank you, 
Sergei Artemov


________________________________________
From: Carl Hewitt [hewitt at irobust.org]
Sent: Saturday, September 14, 2019 9:18 PM
To: fom at cs.nyu.edu
Cc: freund at mathematik.tu-darmstadt.de; Artemov, Sergei; till at iks.cs.ovgu.ed; sasander at me.com; richard_heck at brown.edu; Fenrong Liu; John Perry; waldinger at ai.sri.com; gdp at inf.ed.ac.uk; shankar at csl.sri.com; johan at stanford.edu; israel at ai.sri.com
Subject: Gödelian “monster”

According to https://urldefense.proofpoint.com/v2/url?u=https-3A__papers.ssrn.com_sol3_papers.cfm-3Fabstract-5Fid-3D3418003&d=DwIGaQ&c=slrrB7dE8n7gBJbeO0g-IQ&r=xXZM6ZrkjVxXknjzIxhAvQ&m=v8Lc-itu08LocbKta5IxCgAGIrIv9hAsf8ZZOaOMYX4&s=xV2OrSX0gVT8wnOYww9vViKAri3ut8M_MonNn9MVGj4&e= 

“Every consistent 1st-order theory T that can formalize its own provability has a model M with a Gödelian “monster” element proposition • that proves T inconsistent (i.e. ⊨M⊢T•⋀••) by the following proof:  According to [Gödel 1931], ⊬TConsistent[T] and consequently because of the 1st-order model “completeness” theorem [Gödel 1930] there must be some model M of T in which Consistent[T] is false. [cf. Artemov 2019]”

My question is the following:  Where was the Gödelian “monster” first published?

Thanks!
Carl
https://urldefense.proofpoint.com/v2/url?u=https-3A__professorhewitt.blogspot.com_&d=DwIGaQ&c=slrrB7dE8n7gBJbeO0g-IQ&r=xXZM6ZrkjVxXknjzIxhAvQ&m=v8Lc-itu08LocbKta5IxCgAGIrIv9hAsf8ZZOaOMYX4&s=OGqdoiu_NLaqtVlzLcZPYp-dIZ261MOFrhvyC5arCA8&e= 


-------------- next part --------------
A non-text attachment was scrubbed...
Name: CurrentSept8.pdf
Type: application/pdf
Size: 334327 bytes
Desc: CurrentSept8.pdf
URL: </pipermail/fom/attachments/20190915/c69c0ae3/attachment-0001.pdf>