[FOM] English translation of Weyl (1910)

[Kreinovich, Vladik]

The translation reads very well, many many thanks!

From: fom-bounces at cs.nyu.edu [mailto:fom-bounces at cs.nyu.edu] On Behalf Of Stephen Pollard
Sent: Thursday, May 03, 2018 2:57 PM
To: fom at cs.nyu.edu
Subject: [FOM] English translation of Weyl (1910)

Having failed to locate an English translation of Hermann Weyl's 1910 habilitation lecture ("Über die Definitionen der mathematischen Grundbegriffe"), I decided to do one of my own. It is posted here: https://www.academia.edu/36559178/Definitions_of_Fundamental_Mathematical_Concepts

Corrections would be most welcome.

In one passage of particular interest, Weyl asserts that CH can be decided only if we add to Zermelo's set theory an axiom "expressing the exact opposite of Hilbert's completeness axiom." Namely: "the domain of Zermelian things has no subdomain that (holding constant the membership relation) satisfies all of Zermelo's axioms." This at least points in the general direction of a minimal, transitive, proper class model.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20180504/67e6747e/attachment-0001.html>