http://math.andrej.com/2005/05/08/first-steps-in-synthetic-computability-theory/ Mathematics for computers Mon, 30 Jan 2012 07:14:48 +0000 hourly 1 http://wordpress.org/?v=3.2-beta2-18055 http://math.andrej.com/2005/05/08/first-steps-in-synthetic-computability-theory/comment-page-1/#comment-32 Mathematics and Computation » First Steps in Synthetic Computability Theory (Fischbachau) Sat, 17 Sep 2005 22:08:59 +0000 http://math.andrej.com/?p=25#comment-32 [...] At the EST training workshop in Fischbachau, Germany, I gave two lectures on syntehtic computability theory. This version of the talk contains material on recursive analysis which is not found in the MFPS XXI version of a similar talk. [...] [...] At the EST training workshop in Fischbachau, Germany, I gave two lectures on syntehtic computability theory. This version of the talk contains material on recursive analysis which is not found in the MFPS XXI version of a similar talk. [...]

]]>