WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER |
scientific article |
Statements
WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (English)
0 references
5 January 2021
0 references
Hermann Weyl
0 references
Das Kontinuum
0 references
classical logic
0 references
set-theory
0 references
formalization
0 references
proof
0 references
