|
University of Waterloo - Universal algebra, logic, computers. http://www.thoralf.uwaterloo.ca/ |
|
New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises. http://www.dcproof.com |
|
University of Cincinnati - satisfiability, first-order and temporal logic, computer science. http://ryanflannery.org |
|
The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions. http://www.hypercomputation.net/ |
|
Basic material on proof theory and the home page of the only mailing list devoted to proof theory, with hundreds of experts. http://www.prooftheory.org/ |
|
