Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.


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

