,! HALT+ PROBLEM IS ! "Q ,ALAN ,TUR+
PROV$ UNANSW]ABLE 9 #AICF3 GIV5 AN
>BITR>Y PROGRAM & XS 9PUT1 DOES !
PROGRAM EV5TUALLY HALT1 OR RUN ="E8
,TUR+ %[$ NO G5]AL ALGORI?M C DECIDE ? 
N 8WE HAV5'T F.D "O YET10 B A PRO( T N"O
C EXI/4
,! PRO( 9 "O BR1?
,SUPPOSE A MAGIC ORACLE HALTS"<PROGRAM1
9PUT"> EXI/$ T ALW ANSW]$ CORRECTLY4
,BUILD A PROGRAM TWI/ T ASKS ! ORACLE AB
XF  & DOES ! OPPOSITE3 IF ! ORACLE SAYS
8TWI/ HALTS10 TWI/ LOOPS ="E2 IF X SAYS
8TWI/ LOOPS10 TWI/ HALTS 9/ANTLY4 ,N[
FE$ TWI/ XF TO ! ORACLE4 ,:AT"E ! ORACLE
ANSW]S1 TWI/ MAKES X WR;G  S ! ORACLE _C
EXI/4
,:Y X MATT]S
"9 ,COMPIL]S C'T P]FECTLY DETECT 9F9ITE
LOOPS  !Y C ONLY W>N AB PATT]NS4 "9
,ANTIVIRUS C'T P]FECTLY DETECT MALICI\S
PROGRAMS  DETEC;N IS B.D$ BY
DECIDABIL;Y4 "9 ,BUSY ,B1V] "<BI7E/
NUMB]S"> IS UNCOMPUTABLE PRECISELY 2C
SOLV+ X WD SOLVE HALT+4 "9 ,X DEF9$ !
B.D>Y ( COMPUTA;N XF  ! F.D+ RESULT (
!ORETICAL COMPUT] SCI;E1 AL;GSIDE
;,GDEL'S 9COMPLETE;S !OREMS4
,SEE AL
"9 BI7E/ NUMB]S "9 FAM\S S(TW>E BUGS "9
HI/ORY ( PROGRAMM+ "9 ,ALAN ,TUR+