Cobham
contemporaryAnalytic Philosophy / Computational Logic1927 – 2011
Cobham is a name most commonly associated with Alan Cobham, a 20th-century logician and computer scientist known for foundational work in computational complexity theory. His thesis on feasible computation helped establish polynomial-time computability as the standard notion of tractability, bridging mathematical logic and theoretical computer science.
Notable Achievements
1
Formulated Cobham's thesis identifying tractable problems with polynomial-time computability
2
Contributed foundational results to computational complexity theory
3
Advanced the study of automatic sequences and recognizable sets
4
Bridged mathematical logic with theoretical computer science