http://math.andrej.com/2005/05/08/first-steps-in-synthetic-computability-theory/ Mathematics for computers Fri, 04 Jul 2008 17:36:48 +0000 http://wordpress.org/?v=2.3.3 http://math.andrej.com/2005/05/08/first-steps-in-synthetic-computability-theory/#comment-32 Mathematics and Computation » First Steps in Synthetic Computability Theory (Fischbachau) Sat, 17 Sep 2005 22:08:59 +0000 http://math.andrej.com/2005/05/08/first-steps-in-synthetic-computability-theory/#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. […]

]]>