Peter B. Henderson
Abstract
The last Math CountS column I wrote six months ago - seems like such a long time. Tony Ralston's editorial "Do We Need ANY Mathematics in Computer Science Curricula?" appeared in that issue of inroads. I hope you have read and were able to discuss it with others.
Index Terms
- One-minute column
Recommendations
SIGACT news complexity theory column 36
This current issue's guest column is by Bill Gasarch, and reports on a poll he has conducted on the most famous open question in complexity theory: P=?NP. If Mitsunori Ogihara's prediction that P-vs-NP will not be resolved until the year 3000 is correct,...
Open Problems Column
There have been two polls asking theorists (and others) what they thought of P vs NP (and other questions) [4, 5]. Both were written by William Gasarch and appeared in the Complexity Column of SIGACT News, edited by Lane A. Hemaspaandra. They were in ...
Semantics column
This quarter's Semantics column is devoted to a survey of BI-Logic - the logic of bunched implications - by David Pym. BI-Logics have a broad range of applications, including program verification. In particular they underpin Separation Logic which has ...
Comments