Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » User Profile: ben.usene_@_sb.me.uk

User Profile: ben.usene_@_sb.me.uk


User Profile for: ben.usene_@_sb.me.uk
UserID: 424701
Name: Ben Bacarisse
Email:
Registered: 7/4/07
Total Posts: 1,791


Recent Messages Discussion Posted
1 Re: How M3 correctly decides halting for every input (p,i) in Sigma* x Sigma* sci.math Mar 4, 2015 6:14 AM
2 Re: Fallacy of equivocation of halting problem proof (concrete example) sci.math Feb 28, 2015 6:00 PM
3 Re: Solution to the Halting Problem (concrete example) sci.math Feb 28, 2015 4:49 PM
4 Re: Fallacy of equivocation of halting problem proof (concrete example) sci.math Feb 28, 2015 10:35 AM
5 Re: Fallacy of equivocation of halting problem proof sci.math Feb 27, 2015 12:31 PM
6 Re: Fallacy of equivocation of halting problem proof (concrete example) sci.math Feb 27, 2015 12:19 PM
7 Re: Fallacy of equivocation of halting problem proof (concrete example) sci.math Feb 27, 2015 7:57 AM
8 Re: Fallacy of equivocation of halting problem proof sci.math Feb 26, 2015 9:03 PM
9 Re: Definition of Turing Machine (simplified) sci.math Feb 26, 2015 6:10 PM
10 Re: Halting Decider Decider(first draft of proof) sci.math Feb 26, 2015 7:49 AM

Show all user messages



[Privacy Policy] [Terms of Use]

© Drexel University 1994-2015. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.