Recursion Theory 2004/2005; 1st Semester Institute for Logic, Language & Computation Universiteit van Amsterdam

Instructor: Dr Benedikt L÷we, Dr Maricarmen MartĒnez
Vakcode: MolRT6
Time and place: Tuesday 13-15, P.014; Friday 11-13, P.018
Course language: English
Intended Audience: M.Sc. students of Logic and Mathematics
Prerequisites: This course assumes mathematical maturity and knowledge about first-order logic.

Content of the course:This lecture course will cover the basics of recursion theory (models of computation, limitative theorems) and discuss the connections between recursion theory and the foundations of mathematics (G÷del's Incompleteness Theorem). After that, recursion-theoretic hierarchies (Turing degrees) will be introduced.

Literature: Barry Cooper, "Computability Theory" (Chapters 1-10). We will sell the book to enrolled students for EUR 32 in the break of the first lecture on September 7, 2004 (at a substantial discount compared to the list price of \$69.95).

Organization: There will be 11 homework assignments for 6 points and one for 10 points, for a total of 76 points. The final grade will depend on the total number of homework points. A total of 40 points will be sufficient to pass the course. You can find your results from homework sets 1-7 listed by student ID here.

Topics and assignments:

• The topics covered and the assignments given in period a (week 1-8) are here.
• The topics covered and the assignments given in period b (week 9-16) are here.

Last update : November 9th, 2004
{"ft_lang_label":"__label__en","ft_lang_prob":0.85537356,"math_prob":0.6176398,"size":1273,"snap":"2019-43-2019-47","text_gpt3_token_len":315,"char_repetition_ratio":0.10401891,"word_repetition_ratio":0.0,"special_character_ratio":0.23173606,"punctuation_ratio":0.14644352,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9693255,"pos_list":[0,1,2],"im_url_duplicate_count":[null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-11-14T18:55:14Z\",\"WARC-Record-ID\":\"<urn:uuid:9f7ced4f-5a8f-4bba-aea8-d68542adc147>\",\"Content-Length\":\"3034\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:e79722e3-54ab-4948-a640-78ccfb626940>\",\"WARC-Concurrent-To\":\"<urn:uuid:0caf04e0-07fa-47c4-b002-916cd7cbffc1>\",\"WARC-IP-Address\":\"134.100.223.28\",\"WARC-Target-URI\":\"https://www.math.uni-hamburg.de/home/loewe/2004-I-RT.html\",\"WARC-Payload-Digest\":\"sha1:ZRPVARNRWHLWYJTBHXH25GHSYZJ4XMV2\",\"WARC-Block-Digest\":\"sha1:OH3R7EMWO2QOTRLWYULTYIGZKK5XOS55\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-47/CC-MAIN-2019-47_segments_1573496668534.60_warc_CC-MAIN-20191114182304-20191114210304-00007.warc.gz\"}"}