Tessera
Folgen

Toxoprion

@ophite.bsky.social

Exiled swamp witch

3830 Posts410 Follower722 Folgt
A Dead Sinking Rory@zealousagain.bsky.social · 6h ago

It’s interesting to see the right wing grifters who fall out of favor. Nobody talks about Tomi Lahren anymore; we only hear about Milo Yiannopolis when he does something especially pathetic; I haven’t heard a peep out of Charlie Kirk for almost a year.

julia 🦂@hypv.bsky.social · last yr.

something i think about from time to time is Gerhard Gentzen's 1934 letter to Paul Bernays—who was in exile in Switzerland after losing his position at Göttingen for being Jewish—where he nonchalantly mentions how he joined the SA for career advancement reasons, so he could keep doing his maths.

From Menzler-Trott's biography of Gentzen, p. 54: On 11 April 1934 he wrote a postcard to Paul Bernays, who was then at Hol- steinische Straße 38 in Berlin-Wilmersdorf: Very respected Herr Professor, Even though there is no particular occasion, I’d like to stay in touch. The emer- gency organisation seems not to be in any hurry in settling my stipend request; in any event I have still not received news from them. After a question from me it was about 6 weeks before I received notification that my documents were still being looked at. To be on the safe side I have also applied forateaching position, but till now nothing has been decided there either. I have also joined the SA, as has been urgently advised from various quarters.— Incidentally, I have considerably furthered my investigations on consistency: first I treated type logic and introduced a consistency proof for this which follows the known simple consistency proof for predicate logic. Then I added the mathematical axioms with which the real difficulty naturally begins. It appears that the consistency of mathematics is equivalent with the carrying of the Hauptsatz concerning predicate logic over to type logic. I hope soon to have finished a consistency proof “with force”. Then this is to be re- shaped so that only reliable modes of inference are used. This I hope to achieve by means of transfinite numbers, analogously to the arithmetic case.— How far are you with your book? Are you coming again to G¨ottingen for the summer semester? With most respectful greetings, Your G. Gentzen130