Outer Web | Explore

Explore >> Select a destination

You are here		inquiryintoinquiry.com Differential Analytic Turing Automata ? Discussion 1 \| Inquiry Into Inquiry
\|	\|	fabricebaudoin.blog Lecture notes: A short introduction to Dirichlet spaces \| Research and Lecture notes	7.6 parsecs away Travel
\|	\|	Here are the lecture notes of the minicourse given at NYU Abu Dhabi. DirichletDownload	7.6 parsecs away Travel
\|	\|	thehousecarpenter.wordpress.com Notes on proving the completeness theorem for propositional logic \| The House Carpenter	6.7 parsecs away Travel
\|	\|	NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I...	6.7 parsecs away Travel
\|	\|	rjlipton.com Proving Cook's Theorem \| Gödel's Lost Letter and P=NP	5.2 parsecs away Travel
\|	\|	Another proof idea using finite automata Steve Cook proved three landmark theorems with 1971 dates. The first has been called a "surprising theorem": that any deterministic pushdown automaton with two-way input tape can be simulated in linear time by a random-access machine. This implies that string matching can be done in linear time, which inspired...	5.2 parsecs away Travel
\|	\|	cambridge163.wordpress.com First blog post - cambridge163	9.7 parsecs away Travel
\|		This is the excerpt for your very firstpost.	9.7 parsecs away Travel