Vladimir Lifschitz — A Youth at 65
My first meeting with Vladimir was somewhat accidental. What prompted the meeting was that I was assigned by the computer science department at University of Texas at Austin to work as his teaching assistant for the graduate course he was teaching on Mathematical Logic. When we met for the first time in his office, he explained what he was planning to cover during the semester, gave me the book that he was planning to teach from and asked me to sit in on the course so that I would know what he was teaching each week. I agreed to sit in on the course, but without much enthusiasm because I believed that I already knew the content he was planning to teach.
KeywordsTeaching Assistant Frame Problem Computational Logic Correct Reasoning Happy Birthday
Unable to display preview. Download preview PDF.