Alfred Tarski（ISBN=9780521714013） 115盘 下载 pdf txt 电子版 mobi snb docx

Alfred Tarski, one of the greatest logicians of all time, is

widely thought of as 'the man who defined truth'. His work on the

concepts of truth and logical consequence are cornerstones of

modern logic, influencing developments in mathematics, philosophy,

linguistics, and computer science. Tarski was a charismatic teacher

and zealous promoter of his view of logic as the foundation of all

rational thought, a bon vivant and a womanizer, who played the

'great man' to the hilt. Born in Warsaw in 1901 to Jewish parents,

he changed his name and converted to Catholicism but was never able

to obtain a professorship in his home country. A fortuitous trip to

the United States at the outbreak of World War II saved his life

and turned his career around, even while it separated him from his

family for years. By the war's end he was established as a

professor of mathematics at the University of California, Berkeley.

There Tarski built an empire in logic and methodology that

attracted students and distinguished researchers from all over the

world. From the cafés of Warsaw and Vienna to the mountains and

deserts of California, this first full-length biography places

Tarski in the social, intellectual, and historical context of his

times and presents a frank, vivid picture of a personally and

professionally passionate man - interlaced with an account of his

major scientific achievements.

1. The two Tarskis

2. Independence and university

Interlude I. The Banach-Tarski paradox, set theory and the axiom of

choice

3. Polot! The Polish attribute

Interlude II. The completeness and decidability of algebra and

geometry

4. A wider sphere of influence

Interlude III. Truth and definability

5. How the 'Unity of Science' saved Tarski's life

6. Berkeley is so far from Princeton

7. Building a school

Interlude IV. The publication campaigns

8 'Papa Tarski' and his students

9. Three meetings and two departures

10. Logic and methodology, center stage

11. Heydays

Interlude V. Model theory and the 1963 symposium

12. Around the world

13. Los Angeles and Berkeley

Interlude VI. Algebras of logic

14. A decade of honors

15. The last times

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：Alfred Tarski（ISBN=9780521714013）在线阅读

在线听书地址：Alfred Tarski（ISBN=9780521714013）在线收听

在线购买地址：Alfred Tarski（ISBN=9780521714013）在线购买

暂无原文赏析，正在全力查找中！

书籍介绍

Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His work on the concepts of truth and logical consequence are cornerstones of modern logic, influencing developments in mathematics, philosophy, linguistics, and computer science. Tarski was a charismatic teacher and zealous promoter of his view of logic as the foundation of all rational thought, a bon vivant and a womanizer, who played the 'great man' to the hilt. Born in Warsaw in 1901 to Jewish parents, he changed his name and converted to Catholicism but was never able to obtain a professorship in his home country. A fortuitous trip to the United States at the outbreak of World War II saved his life and turned his career around, even while it separated him from his family for years. By the war's end he was established as a professor of mathematics at the University of California, Berkeley. There Tarski built an empire in logic and methodology that attracted students and distinguished researchers from all over the world. From the cafes of Warsaw and Vienna to the mountains and deserts of California, this first full-length biography places Tarski in the social, intellectual, and historical context of his times and presents a frank, vivid picture of a personally and professionally passionate man - interlaced with an account of his major scientific achievements.