Mathematical logic as based on the theory of types. (Q1491276)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 2639815
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Mathematical logic as based on the theory of types. |
scientific article; zbMATH DE number 2639815 |
Statements
Mathematical logic as based on the theory of types. (English)
0 references
1908
0 references
\textit{Russell} stellt in den Formeln seiner mathematischen Logik, die in Kürze erläutert werden, einige logische Paradoxien auf, wie den \textit{Epimenides} oder Lügner, \textit{Richards} Paradoxon, \textit{Burali-Fortis} Antinomie usw., und zeigt, wie der logische Kalkül die Lösung derselben ermöglicht.
0 references
