SlideShare a Scribd company logo
1 of 1
Download to read offline
Q1[5 marks] Let H={e,x:e(x) halts } (the halting problem), and let A be an arbitrary c.e. set of
natural numbers. Prove that ATH. Notice that we are using and instead of usual parentheses to
make the halting set a subset of N instead of N2. This is not necessary but I wanted you to learn
about the Cantor pairing function.

More Related Content

More from absgroup9793

OntheSpot Courier Services Previous chapters have describe.pdf
OntheSpot Courier Services Previous chapters have describe.pdfOntheSpot Courier Services Previous chapters have describe.pdf
OntheSpot Courier Services Previous chapters have describe.pdf
absgroup9793
 
Indique A B C o D para cada pregunta 1 Para un hotel c.pdf
Indique A B C o D para cada pregunta  1 Para un hotel c.pdfIndique A B C o D para cada pregunta  1 Para un hotel c.pdf
Indique A B C o D para cada pregunta 1 Para un hotel c.pdf
absgroup9793
 
Olay 2 Kltme Arkansas Ouachita lesindeki en byk ivere.pdf
Olay 2 Kltme Arkansas Ouachita lesindeki en byk ivere.pdfOlay 2 Kltme Arkansas Ouachita lesindeki en byk ivere.pdf
Olay 2 Kltme Arkansas Ouachita lesindeki en byk ivere.pdf
absgroup9793
 
In java Owners and Computers Create a java program that wi.pdf
In java  Owners and Computers Create a java program that wi.pdfIn java  Owners and Computers Create a java program that wi.pdf
In java Owners and Computers Create a java program that wi.pdf
absgroup9793
 
Hello I a having an issue with the code written in this ass.pdf
Hello I a having an issue with the code written in this ass.pdfHello I a having an issue with the code written in this ass.pdf
Hello I a having an issue with the code written in this ass.pdf
absgroup9793
 
1What can cause the solid rock of the upper mantle or crust.pdf
1What can cause the solid rock of the upper mantle or crust.pdf1What can cause the solid rock of the upper mantle or crust.pdf
1What can cause the solid rock of the upper mantle or crust.pdf
absgroup9793
 

More from absgroup9793 (20)

Question 2 Capital University a midsized university in a ca.pdf
Question 2 Capital University a midsized university in a ca.pdfQuestion 2 Capital University a midsized university in a ca.pdf
Question 2 Capital University a midsized university in a ca.pdf
 
Question One Tera Hunters scholarship in To Joy my Freed.pdf
Question One  Tera Hunters scholarship in To Joy my Freed.pdfQuestion One  Tera Hunters scholarship in To Joy my Freed.pdf
Question One Tera Hunters scholarship in To Joy my Freed.pdf
 
QUESTION 1 If your linked list nodes each have a next pointe.pdf
QUESTION 1 If your linked list nodes each have a next pointe.pdfQUESTION 1 If your linked list nodes each have a next pointe.pdf
QUESTION 1 If your linked list nodes each have a next pointe.pdf
 
OntheSpot Courier Services Previous chapters have describe.pdf
OntheSpot Courier Services Previous chapters have describe.pdfOntheSpot Courier Services Previous chapters have describe.pdf
OntheSpot Courier Services Previous chapters have describe.pdf
 
Please explain this results step by step tI0e+MtI00.pdf
Please explain this results step by step tI0e+MtI00.pdfPlease explain this results step by step tI0e+MtI00.pdf
Please explain this results step by step tI0e+MtI00.pdf
 
Please complete method pop in python which calls _remove .pdf
Please complete method pop in python which calls _remove .pdfPlease complete method pop in python which calls _remove .pdf
Please complete method pop in python which calls _remove .pdf
 
Match the terms to their definitionfunction 1 Formed by t.pdf
Match the terms to their definitionfunction 1 Formed by t.pdfMatch the terms to their definitionfunction 1 Formed by t.pdf
Match the terms to their definitionfunction 1 Formed by t.pdf
 
Indique A B C o D para cada pregunta 1 Para un hotel c.pdf
Indique A B C o D para cada pregunta  1 Para un hotel c.pdfIndique A B C o D para cada pregunta  1 Para un hotel c.pdf
Indique A B C o D para cada pregunta 1 Para un hotel c.pdf
 
Olay 2 Kltme Arkansas Ouachita lesindeki en byk ivere.pdf
Olay 2 Kltme Arkansas Ouachita lesindeki en byk ivere.pdfOlay 2 Kltme Arkansas Ouachita lesindeki en byk ivere.pdf
Olay 2 Kltme Arkansas Ouachita lesindeki en byk ivere.pdf
 
In java Owners and Computers Create a java program that wi.pdf
In java  Owners and Computers Create a java program that wi.pdfIn java  Owners and Computers Create a java program that wi.pdf
In java Owners and Computers Create a java program that wi.pdf
 
Hello I a having an issue with the code written in this ass.pdf
Hello I a having an issue with the code written in this ass.pdfHello I a having an issue with the code written in this ass.pdf
Hello I a having an issue with the code written in this ass.pdf
 
FIFO yntemini kullanan bir sre maliyetlendirme sistemi i.pdf
FIFO yntemini kullanan bir sre maliyetlendirme sistemi i.pdfFIFO yntemini kullanan bir sre maliyetlendirme sistemi i.pdf
FIFO yntemini kullanan bir sre maliyetlendirme sistemi i.pdf
 
At the beginning of the school year Katherine Malloy decide.pdf
At the beginning of the school year Katherine Malloy decide.pdfAt the beginning of the school year Katherine Malloy decide.pdf
At the beginning of the school year Katherine Malloy decide.pdf
 
Drosophilada sar y geninin y2 aleli yetikinin soluk sa.pdf
Drosophilada sar  y  geninin y2 aleli yetikinin soluk sa.pdfDrosophilada sar  y  geninin y2 aleli yetikinin soluk sa.pdf
Drosophilada sar y geninin y2 aleli yetikinin soluk sa.pdf
 
1What can cause the solid rock of the upper mantle or crust.pdf
1What can cause the solid rock of the upper mantle or crust.pdf1What can cause the solid rock of the upper mantle or crust.pdf
1What can cause the solid rock of the upper mantle or crust.pdf
 
3 Polousey Inc had the following balances in its available.pdf
3 Polousey Inc had the following balances in its available.pdf3 Polousey Inc had the following balances in its available.pdf
3 Polousey Inc had the following balances in its available.pdf
 
Activity 1 If you make an investment of 1000 in the stock m.pdf
Activity 1 If you make an investment of 1000 in the stock m.pdfActivity 1 If you make an investment of 1000 in the stock m.pdf
Activity 1 If you make an investment of 1000 in the stock m.pdf
 
7 Multiple choice Digital devices usually use number sy.pdf
7  Multiple choice Digital devices usually use  number sy.pdf7  Multiple choice Digital devices usually use  number sy.pdf
7 Multiple choice Digital devices usually use number sy.pdf
 
1 Develop an Entity Relationship Diagram based on the Welch.pdf
1 Develop an Entity Relationship Diagram based on the Welch.pdf1 Develop an Entity Relationship Diagram based on the Welch.pdf
1 Develop an Entity Relationship Diagram based on the Welch.pdf
 
CHF Case Adapted from Bruyere 2009 100 case studies in p.pdf
CHF Case Adapted from Bruyere 2009 100 case studies in p.pdfCHF Case Adapted from Bruyere 2009 100 case studies in p.pdf
CHF Case Adapted from Bruyere 2009 100 case studies in p.pdf
 

Recently uploaded

SURVEY I created for uni project research
SURVEY I created for uni project researchSURVEY I created for uni project research
SURVEY I created for uni project research
CaitlinCummins3
 
Personalisation of Education by AI and Big Data - Lourdes Guàrdia
Personalisation of Education by AI and Big Data - Lourdes GuàrdiaPersonalisation of Education by AI and Big Data - Lourdes Guàrdia
Personalisation of Education by AI and Big Data - Lourdes Guàrdia
EADTU
 
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
中 央社
 

Recently uploaded (20)

Đề tieng anh thpt 2024 danh cho cac ban hoc sinh
Đề tieng anh thpt 2024 danh cho cac ban hoc sinhĐề tieng anh thpt 2024 danh cho cac ban hoc sinh
Đề tieng anh thpt 2024 danh cho cac ban hoc sinh
 
Sternal Fractures & Dislocations - EMGuidewire Radiology Reading Room
Sternal Fractures & Dislocations - EMGuidewire Radiology Reading RoomSternal Fractures & Dislocations - EMGuidewire Radiology Reading Room
Sternal Fractures & Dislocations - EMGuidewire Radiology Reading Room
 
Book Review of Run For Your Life Powerpoint
Book Review of Run For Your Life PowerpointBook Review of Run For Your Life Powerpoint
Book Review of Run For Your Life Powerpoint
 
The Story of Village Palampur Class 9 Free Study Material PDF
The Story of Village Palampur Class 9 Free Study Material PDFThe Story of Village Palampur Class 9 Free Study Material PDF
The Story of Village Palampur Class 9 Free Study Material PDF
 
ANTI PARKISON DRUGS.pptx
ANTI         PARKISON          DRUGS.pptxANTI         PARKISON          DRUGS.pptx
ANTI PARKISON DRUGS.pptx
 
male presentation...pdf.................
male presentation...pdf.................male presentation...pdf.................
male presentation...pdf.................
 
OSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & SystemsOSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & Systems
 
SURVEY I created for uni project research
SURVEY I created for uni project researchSURVEY I created for uni project research
SURVEY I created for uni project research
 
Personalisation of Education by AI and Big Data - Lourdes Guàrdia
Personalisation of Education by AI and Big Data - Lourdes GuàrdiaPersonalisation of Education by AI and Big Data - Lourdes Guàrdia
Personalisation of Education by AI and Big Data - Lourdes Guàrdia
 
24 ĐỀ THAM KHẢO KÌ THI TUYỂN SINH VÀO LỚP 10 MÔN TIẾNG ANH SỞ GIÁO DỤC HẢI DƯ...
24 ĐỀ THAM KHẢO KÌ THI TUYỂN SINH VÀO LỚP 10 MÔN TIẾNG ANH SỞ GIÁO DỤC HẢI DƯ...24 ĐỀ THAM KHẢO KÌ THI TUYỂN SINH VÀO LỚP 10 MÔN TIẾNG ANH SỞ GIÁO DỤC HẢI DƯ...
24 ĐỀ THAM KHẢO KÌ THI TUYỂN SINH VÀO LỚP 10 MÔN TIẾNG ANH SỞ GIÁO DỤC HẢI DƯ...
 
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
 
VAMOS CUIDAR DO NOSSO PLANETA! .
VAMOS CUIDAR DO NOSSO PLANETA!                    .VAMOS CUIDAR DO NOSSO PLANETA!                    .
VAMOS CUIDAR DO NOSSO PLANETA! .
 
When Quality Assurance Meets Innovation in Higher Education - Report launch w...
When Quality Assurance Meets Innovation in Higher Education - Report launch w...When Quality Assurance Meets Innovation in Higher Education - Report launch w...
When Quality Assurance Meets Innovation in Higher Education - Report launch w...
 
Stl Algorithms in C++ jjjjjjjjjjjjjjjjjj
Stl Algorithms in C++ jjjjjjjjjjjjjjjjjjStl Algorithms in C++ jjjjjjjjjjjjjjjjjj
Stl Algorithms in C++ jjjjjjjjjjjjjjjjjj
 
diagnosting testing bsc 2nd sem.pptx....
diagnosting testing bsc 2nd sem.pptx....diagnosting testing bsc 2nd sem.pptx....
diagnosting testing bsc 2nd sem.pptx....
 
An overview of the various scriptures in Hinduism
An overview of the various scriptures in HinduismAn overview of the various scriptures in Hinduism
An overview of the various scriptures in Hinduism
 
Major project report on Tata Motors and its marketing strategies
Major project report on Tata Motors and its marketing strategiesMajor project report on Tata Motors and its marketing strategies
Major project report on Tata Motors and its marketing strategies
 
Mattingly "AI & Prompt Design: Named Entity Recognition"
Mattingly "AI & Prompt Design: Named Entity Recognition"Mattingly "AI & Prompt Design: Named Entity Recognition"
Mattingly "AI & Prompt Design: Named Entity Recognition"
 
Analyzing and resolving a communication crisis in Dhaka textiles LTD.pptx
Analyzing and resolving a communication crisis in Dhaka textiles LTD.pptxAnalyzing and resolving a communication crisis in Dhaka textiles LTD.pptx
Analyzing and resolving a communication crisis in Dhaka textiles LTD.pptx
 
How to Manage Website in Odoo 17 Studio App.pptx
How to Manage Website in Odoo 17 Studio App.pptxHow to Manage Website in Odoo 17 Studio App.pptx
How to Manage Website in Odoo 17 Studio App.pptx
 

Q15 marks Let Hexex halts the halting problem a.pdf

  • 1. Q1[5 marks] Let H={e,x:e(x) halts } (the halting problem), and let A be an arbitrary c.e. set of natural numbers. Prove that ATH. Notice that we are using and instead of usual parentheses to make the halting set a subset of N instead of N2. This is not necessary but I wanted you to learn about the Cantor pairing function.