tag:blogger.com,1999:blog-4278359056787870942.post2639237366135203578..comments2023-09-16T06:51:29.097-07:00Comments on Singular Value Decomposition: Academics: Part 3 of 5: "Program Analysis"Alexander Monthttp://www.blogger.com/profile/09406587991425120623noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-4278359056787870942.post-51412989000253795462009-04-01T17:36:00.000-07:002009-04-01T17:36:00.000-07:00This is a field I might be considering to pursue i...This is a field I might be considering to pursue in graduate school<BR/><BR/>We have not talked about Godel's Theorem yet.Alexander Monthttps://www.blogger.com/profile/09406587991425120623noreply@blogger.comtag:blogger.com,1999:blog-4278359056787870942.post-76461298662887125072009-04-01T02:47:00.000-07:002009-04-01T02:47:00.000-07:00Hi Alex,This "meta-computer science" stuff sounds ...Hi Alex,<BR/><BR/>This "meta-computer science" stuff sounds really interesting to me.<BR/><BR/>In your discussions about generating algorithms to prove logical statements, have you talked about Godel's Theorem at all?Dan Monthttps://www.blogger.com/profile/05893970837257594648noreply@blogger.comtag:blogger.com,1999:blog-4278359056787870942.post-85479932325692265572009-03-31T19:26:00.000-07:002009-03-31T19:26:00.000-07:00Once you get to UIUC you can straighten out the pr...Once you get to UIUC you can straighten out the professors'knowledge of the Death Start. <BR/><BR/>This sounds like an interesting field. Do you think it is something you will pursue in graduate school.Nanette Goodmanhttps://www.blogger.com/profile/01950409620241939889noreply@blogger.com