Alfred Tarski: Life and LogicCambridge University Press, 4 d’oct. 2004 - 425 pàgines Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His mathematical work on the concepts of truth and logical consequence are cornerstones of modern logic, influencing developments in 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 war 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. |
Continguts
The Two Tarskis page | 1 |
Independence and University | 20 |
Interlude | 43 |
Interlude | 69 |
Truth and Definability | 109 |
The Publication Campaigns | 189 |
Logic and Methodology Center Stage | 246 |
Model Theory and the 1963 Symposium | 277 |
Los Angeles and Berkeley | 310 |
Algebras of Logic | 334 |
The Last Times | 372 |
Tarskis Ph D Students | 385 |
409 | |
Altres edicions - Mostra-ho tot
Alfred Tarski: Life and Logic Anita Burdman Feferman,Solomon Feferman Previsualització no disponible - 2008 |
Frases i termes més freqüents
ABF and SF Alfred Tarski Alfred's Andrzej Anne asked Axiom of Choice axiomatic became Benson Mates Berkeley Bjarni Jónsson cardinal number Carnap Chuaqui colleagues conference Corcoran course Dana Scott defined Ehrenfeucht Ershov Feferman first-order first-order logic friends geometry German Gödel Ibid Ina Tarski intellectual interest interview with ABF invited Jewish Jews Judith knew Kotarbiński Kreisel Kurt Gödel language later lectures Leon Henkin Leśniewski letter to ABF logic logicians Łukasiewicz Lvov mathematicians mathematics McKinsey meeting Menger metamathematical methodology Miłosz model theory Montague Mostowski never notion paper Ph.D philosophy photo courtesy Poland Polish position Princeton problems professor Quine real numbers relation Robert Vaught semantics seminar sentence sentential function set theory Solomon Feferman Soviet Stanisław Steven Givant talk Teitelbaum theorem thesis thought tion took truth Unity of Science University variables Vaught Verena Huber-Dyson Vienna Circle Wanda Szmielew wanted Warsaw wife Witkacy wrote
Referències a aquest llibre
The Legacy of Mario Pieri in Geometry and Arithmetic Elena Anne Marchisotto,James T. Smith Previsualització limitada - 2007 |