This revised edition of A Decision Method for Elementary Algebra and Geometry presents the culmination of research begun in 1930, which laid foundational results in algebraic and geometric completeness. Originally intended for publication in 1939 by Hermann & Cie, Paris, the onset of war delayed its release, with only proofs left as a record. The RAND Corporation’s interest in 1948 revived the project, resulting in a monograph focused on the systematic development of a decision method for elementary algebra and geometry, emphasizing its practical potential in creating a decision-making machine. Under the editorial guidance of Professor J.C.C. Mc Kinsey, this work was refined with a new draft, clarifying key theoretical aspects and introducing simplifications to the development process. The current edition reproduces RAND’s publication with minor corrections, updated references, and supplementary notes that expand upon original theories, including fresh bibliographical insights.
This title was originally published in 1951.
This revised edition of A Decision Method for Elementary Algebra and Geometry presents the culmination of research begun in 1930, which laid foundational results in algebraic and geometric completeness. Originally intended for publication in 1939 by Herma
Alfred Tarski
A Decision Method for Elementary Algebra and Geometry [EPUB ebook]
A Decision Method for Elementary Algebra and Geometry [EPUB ebook]
购买此电子书可免费获赠一本!
语言 英语 ● 格式 EPUB ● ISBN 9780520348097 ● 文件大小 14.5 MB ● 出版者 University of California Press ● 发布时间 2023 ● 版 1 ● 下载 24 个月 ● 货币 EUR ● ID 9231904 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器