More at SIAM
Subscribe
Search
SIAM Home
About SIAM
Publications
Conferences
Membership
Prizes/Recognition
Activity Groups
Students
Home
Happening Now
Programs and Publications
Awards and Recognition
Science Policy
Unwrapped
Announcements
Get Involved
Conferences
Membership
Research
Insights
Research Nuggets
Commentary
Careers
Students and Education
Professional Development
Got Funding
Current Issue
Issue Archives
Home
Happening Now
Programs and Publications
Awards and Recognition
Science Policy
Unwrapped
Announcements
Get Involved
Conferences
Membership
Research
Insights
Research Nuggets
Commentary
Careers
Students and Education
Professional Development
Got Funding
Current Issue
Issue Archives
About the Author
SIAM Home
About SIAM
Publications
Conferences
Membership
Prizes/Recognition
Activity Groups
Students
Thomas Hales
Thomas Hales is the Andrew Mellon Professor of Mathematics at the University of Pittsburgh.
How Paradoxes Shape Mathematics and Give Us Self-verifying Computer Programs