Language, truth and logic in mathematics

Jaakko Hintikka

The foundations of mathematics are examined by reference to such crucial concepts as the informational independence of quantifiers, the standard-nonstandard distinction, completeness, computability, parallel processing and the extremality of models.

「Nielsen BookData」より

[目次]

  • 1. What Is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic. 2. A Revolution in Logic? 3. A Revolution in the Foundations of Mathematics? 4. Is There Completeness in Mathematics After Godel? 5. Hilbert Vindicated? 6. Standard vs. Nonstandard Logic: A Watershed in the Foundations of Mathematics. 7. Standard vs. Nonstandard Logic: Higher-Order, Modal and First-Order Logics. 8. (with Gabriel Sandu.) The Skeleton in Frege's Cupboard: The Standard vs. Nonstandard Distinction. 9. (with Arto Mutanen.) An Alternative Concept of Computability. 10. (with Gabriel Sandu.) What is the Logic of Parallel Processing? 11. Model Minimization - An Alternative to Circumscription. 12. New Foundations for Mathematical Theories.

「Nielsen BookData」より

この本の情報

書名 Language, truth and logic in mathematics
著作者等 Hintikka, Jaakko
シリーズ名 Jaakko Hintikka selected papers
出版元 Kluwer Academic
刊行年月 c1998
ページ数 x, 247 p.
大きさ 25 cm
ISBN 0792347668
NCID BA34350517
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想