Please use this identifier to cite or link to this item: http://hdl.handle.net/10316/33698
DC FieldValueLanguage
dc.contributor.advisorKovacec, Alexander-
dc.contributor.authorLobo, Diana de Castro-
dc.date.accessioned2016-12-19T15:38:17Z-
dc.date.available2016-12-19T15:38:17Z-
dc.date.issued2013-09-20por
dc.identifier.urihttp://hdl.handle.net/10316/33698-
dc.descriptionDissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbrapor
dc.description.abstractEste trabalho pretende explicar tanto quanto possível em linguagem não excessivamente técnica o que se entende por um problema indecid ível. De seguida, menciona o Problema da Correspondência de Post (PCP) que foi provado como sendo indecidível por Emil Post em 1936. Com base neste resultado, prova-se pormenorizadamente que a questão de se um semigrupo (sob multiplicação) formado por um conjunto nito de matrizes inteiras 3 x 3 contém a matriz nula é um problema indecid ível. Na terceira e mais volumosa parte, a prova da indecibilidade do famoso décimo problema de Hilbert é apresentada com base na simples exposição de Martin Davis.por
dc.description.abstractThis work aims to explain as far as possible what an unsolvable problem is, in a not exceedingly technical language. Next, the Post Correspondence Problem (PCP) is referred, a problem which was proved unsolvable by Emil Post in 1936. Based on this result, it is proved in detail that whether or not a nitely generated semigroup (under multiplication) of 3 x 3 integer matrices contains the null matrix is unsolvable. In the third and larger part, the proof of the unsolvability of Hilbert's famous tenth problem is presented, based on the simple exposition made by Martin Davis.por
dc.language.isoporpor
dc.rightsopenAccesspor
dc.subjectAlgoritmopor
dc.subjectDiofantinapor
dc.subjectIndecidibilidadepor
dc.subjectMortalidadepor
dc.subjectRecursividadepor
dc.subjectAlgorithmpor
dc.subjectDiophantinepor
dc.subjectMortalitypor
dc.subjectRecursivitypor
dc.subjectUnsolvabilitypor
dc.titleProblemas indecidíveispor
dc.typemasterThesispor
degois.publication.locationCoimbrapor
degois.publication.titleProblemas indecidíveispor
dc.identifier.tid201386712por
thesis.degree.grantorUniversidade de Coimbrapor
thesis.degree.nameMestrado em Matemáticapor
item.languageiso639-1pt-
item.grantfulltextopen-
item.fulltextCom Texto completo-
Appears in Collections:UC - Dissertações de Mestrado
FCTUC Matemática - Teses de Mestrado
Files in This Item:
File Description SizeFormat
Problemas indecidiveis_DianaLobo.pdf446.63 kBAdobe PDFView/Open
Show simple item record

Page view(s)

143
checked on Oct 14, 2019

Download(s) 20

738
checked on Oct 14, 2019

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.