• Question on virtual machine assignment
• Victor Winter from Sandia National Laboratories guest speaker on Use of ML in Secure Computing
• Defined Automated Formal System
• Discussed Hilbert's challenge
• Defined a Turing machine and Universal Turing machine
• Programmed Turing machine to do unary subtraction
• Defined Post production system
• Did sorting and unary subtraction programs on Post's machine
• Discussed Church-Turing Hypothesis

[ Back to CS451: Lecture Summaries ]