Anand, Bhupinder Singh - http://alixcomsi.com/index01.htm
Independent scholar, Mumbai. Interests: reviewing standard interpretations of Cantor's, Gödel's, Tarski's, and Turing's reasoning. |
Flannery, Ryan - http://ryanflannery.org
University of Cincinnati - satisfiability, first-order and temporal logic, computer science. |