biography
| sex:
| male
|
| lived:
| (1902–83)
|
| biography:
| Mathematical logician, born in Warsaw, Poland. Fleeing Nazism, he eventually settled at the University of California, Berkeley (1942), where he was an inspiring teacher. A member of the National Academy of Science, he discovered interconnections between logic, algebra, set theory, and measure theory. He also brought clarity to the semantics of mathematical logic, legitimizing semantic concepts such as truth and definability with his work on definitions of truth in formalized languages (1933–5). He was known especially for the mathematicians he influenced as a professor. |
|
|
