William Craig (philosopher)
William Craig | |
---|---|
Born | |
Died | January 13, 2016 Berkeley, California, U.S. | (aged 97)
Occupation | Philosopher |
William Craig (November 13, 1918[1] – January 13, 2016) was an American academic and philosopher, who taught at the University of California, Berkeley, in Berkeley, California. His research interests included mathematical logic, and the philosophy of science,[2] and he is best known for the Craig interpolation theorem.
Biography[]
William Craig was born in Nuremberg, German Empire, on November 13, 1918. He graduated from Harvard University with a Ph.D in 1951. He married Julia Rebecca Dwight Wilson and had four children: Ruth, Walter, Sarah, and Deborah. In 1959 he moved to UC Berkeley. He died on January 13, 2016, at the age of 97.
Achievements[]
Craig is particularly remembered in two theorems that bear his name:
- the Craig interpolation theorem, and
- Craig's theorem, also known as Craig's axiomatization theorem or Craig's reaxiomatization theorem.
See also[]
References[]
- ^ Shook, J.R.; Hull, R.T. (2005). Dictionary of Modern American Philosophers. 1. Thoemmes Continuum. p. 548. ISBN 9781843710370. Retrieved 2015-04-13.
- ^ "William Craig". University of Berkeley. Retrieved 15 January 2016.
External links[]
Categories:
- 1918 births
- 2016 deaths
- Computability theorists
- Harvard University alumni
- University of California, Berkeley College of Letters and Science faculty
- 20th-century American philosophers
- Philosophers of science
- American logicians
- Proof theorists
- Writers from Nuremberg
- German emigrants to the United States
- American philosopher stubs