Stack Exchange Network

Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
  1. 0
  2. +0
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about hiring developers or posting ads with us
  3. Log in Sign up
  4. current community

    • Computer Science
      help chat
    • Computer Science Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
Computer Science
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
    5. Jobs
Profile Activity
Meta user
Network profile
Carl Mummert

Reputation

2,023
  • 2k
  • 1.9k
  • 1.7k
  • 2018
  • 2019
  • 2020
  • 2021

Top tag

computability

Next privilege

2,500 Rep.
Create tag synonyms

Badges

16
15

Newest

 Yearling

Next badge

0/1
Excavator

Impact

~61k
people reached
0 posts edited
0 helpful flags
60 votes cast
Summary Answers Questions Tags Badges Bookmarks Bounties Reputation All actions

18 Answers

Votes Activity Newest
25
Why are the total functions not enumerable?
Mar 13 '12 at 1:26
18
Are there minimum criteria for a programming language being Turing complete?
Apr 19 '12 at 18:59
18
Why is encrypting with the same one-time-pad not good?
Mar 14 '12 at 10:43
15
Does cooperative scheduling suspend processes when they perform an I/O operation?
Mar 6 '12 at 19:54
14
Do non-computable functions grow asymptotically larger?
Jul 28 '12 at 14:44
14
Generating Combinations from a set of pairs without repetition of elements
Mar 6 '12 at 20:33
14
Rice's theorem for non-semantic properties
Mar 6 '12 at 23:33
11
Is interaction more powerful than algorithms?
Mar 18 '12 at 10:52
8
Proof that $\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}$ is not (co-)recursively enumerable
May 22 '12 at 1:10
8
What is the difference between “Decision” and “Verification” in complexity theory?
Apr 8 '12 at 21:12
8
Is this finite graph problem decidable? What factors make a problem decidable?
Mar 9 '12 at 1:03
6
Are co-semidecidable languages separated by decidable ones?
Feb 17 '13 at 20:44
6
Mapping Reductions to Complement of A$_{TM}$
May 3 '12 at 11:38
5
Easy to state open problems in computability theory
Mar 16 '12 at 2:35
4
Can we show a language is not computably enumerable by showing there is no verifier for it?
May 3 '12 at 11:46
3
How to show a set is $\Pi_2$ complete
Aug 9 '12 at 18:25
2
Turing reducibility implies mapping reducibility
May 3 '12 at 11:58
0
Is the set of programs that compute some function other than $h$ recursively enumerable?
Feb 12 '14 at 20:54
Computer Science
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
  • Mobile
Company
  • Stack Overflow
  • For Teams
  • Advertise With Us
  • Hire a Developer
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (28)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (10)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (10)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

site design / logo © 2021 Stack Exchange Inc; user contributions licensed under cc by-sa. rev 2021.3.5.38726