株式会社極東書店トップ > 商品一覧 > A Lattice of Chapters of Mathematics (Interpretations between Theorems).
商品詳細
A Lattice of Chapters of Mathematics (Interpretations between Theorems).
・ISBN 978-0-8218-2488-7 paper US$ 25.00
¥5,857.- (税込) ※(※)価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Mycielski, Jan / Pudlak, Pavel / Stern, Alan S., |
|---|---|
| シリーズ | Memoirs of the American Mathematical Society |
| 出版社 | (American Mathematical Society, US) |
| 出版年月 | 1990 |
| ページ数 | 70 pp. |
| 言語 | ENG |
| ニュース番号 | <M25-13259> |
解説
What are mathematical theories? What mathematical objects should correspond to this informal concept? The classical and most important answer to these questions is: Theories formalized in first order logic. But this answer has also some undesirable features. One of theme is the dependence of such theories upon the language or the choice of primitive concepts, whereas a slightly deeper view would identify theories interpretable in each other.
The purpose of the present memoir is to investigate further, to survey the former work and to point out a number of open problems about local interpretability.
The purpose of the present memoir is to investigate further, to survey the former work and to point out a number of open problems about local interpretability.