to customize your list.
more stack exchange communities
Start here for a quick overview of the site
Detailed answers to any questions you might have
Discuss the workings and policies of this site
Is the set of PA theorems the same as the set of solvable halting problems?
I am not sure if this is a trivial question. By Post's theorem we know that every PA (first order logic) theorem is equivalent to stating that a given input C in a given Turing machine halts or ...
Jan 27 '13 at 4:13
newest turing-machines arithmetic questions feed
Hot Network Questions
Can you use "little" to modify an adjective?
How to generate a simple cartesian plane system?
Syntax for Table with a pure function
Typical behavior and habits via the present simple and "will"
What makes mains voltage safe in homes?
Can a plane fly without the Vertical Stabilizer?
Inner product is a function from…to…?
Had JK Rowling seen King's Cross Station before writing the first book?
Why does the caps lock key have a down arrow as its icon?
Do any clones refuse order 66?
Are 10x10 matrices spanned by powers of a single matrix?
What can I do to paper to make it look aged?
Why can I see my breath after I pop my ears?
Why does Agent Smith call the Oracle "Mom"?
If any open set is a countable union of balls, does it imply separability?
Can I improve my chess? Or am I too old?
Example of a divergent sequence
Is it safe to download and burn a CD on an infected PC?
Can you ready an action for "immediately before my next turn"?
How does the voltage go negative on the BJT base in this simple flasher?
Why did Windows add a pointer trail feature?
What is a polite way of talking about a recently-deceased person?
Why didn't Molly Weasley remember the platform number?
more hot questions
Life / Arts
Culture / Recreation
TeX - LaTeX
Unix & Linux
Ask Different (Apple)
Geographic Information Systems
Science Fiction & Fantasy
Seasoned Advice (cooking)
Personal Finance & Money
English Language & Usage
Mi Yodeya (Judaism)
Cross Validated (stats)
Theoretical Computer Science
Meta Stack Exchange
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0