Navigation: Previous    Next    Puzzle     Essay     Home

Automated thought theory

as in

        AI             LISP             UTM               binary bit mapping

                                                                                                         machine language - register LOGIC

game theory

derivations

symbolic processing

AND OR NOT!!  build it up.....

UTM simulates any TM by number...  halting problem...

Peano arithmetic..

Navigation: Previous    Next    Puzzle     Essay     Home