Ciências da computação de Alan Turing: Uma viagem pessoal

Bibliographic Details
Main Author: Valença, José Manuel Esgalhado
Publication Date: 2019
Format: Book part
Language: por
Source: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Download full: http://hdl.handle.net/1822/70123
id RCAP_f98e84184d0f4c390d303cc88138fb31
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/70123
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Valença, José Manuel Esgalhado282019-12-19Valença, J. M. (2019). Ciências da computação de Alan Turing: Uma viagem pessoal. In Espírito Santo, J. (ed.), Alan Turing: cientista universal (p. 207-213). UMinho Editora. doi: https://doi.org/10.21814/uminho.ed.5978-989-8974-02-0http://hdl.handle.net/1822/70123978-989-8974-03-7por17818600UMinho Editorahttp://creativecommons.org/licenses/by/4.0/http://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessCiências da computação de Alan Turing: Uma viagem pessoalyeshttps://ebooks.uminho.pt/index.php/uminho/catalog/view/5/8/183-1600Ciências Naturais::Ciências da Computação e da Informação[Excerto] O moderno cientista da computação, interessado na correção dos seus artefatos, navega num terreno construído sobre as respostas a algumas questões fundamentais. Primeiro ele/ela pode perguntar “O que é demonstrável, refutável ou decidível?”, imediatamente seguido de “O que é inconsistente e o que pode ser validado?”. Mais ainda, é seguro dizer que, quando comparado com o âmbito do artefacto, ele/ela terá sobretudo que basear-se em respostas a outra questão “o que é que se pode aprender?”. Finalmente, quando o interesse se estende à segurança do artefacto e à privacidade do utilizador, o cenário é complicado por questões adicionais, nomeadamente “O que é aleatório? O que é obscuro e à prova de fuga, no sentido da teoria da informação?”. Através de toda a paisagem da Ciência e Engenharia da Computação (CEC) podem detetar-se as pegadas de Turing, algumas desmaiadas, mas outras muito claras e incisivas. Nesta breve monografia tentarei delinear algumas dessas pegadas, escolhendo aquelas que eu acredito serem as mais significativas para a minha visão da CEC. A questão que mais interessou Turing não foi nenhuma das anteriores mas antes O que é computável e, de entre essas ‘coisas computáveis’, o que é fazível? É bem conhecido o papel de Turing (Turing 1936; Soare 2016) na construção de uma resposta pelo menos à primeira parte da questão. A fazibilidade das computações veio mais tarde e é o domínio da Teoria da Complexidade; a sua importância e o papel de Turing foram reconhecidos há algum tempo (Hartmanis 1994). Algumas décadas antes, o início do Séc. XX viu o florescimento de novos fundamentos para o pensamento matemático: a axiomatização dos conjuntos de Zermelo-Fraenkel, construtivismo & intuicionismo e os problemas de decisão de Hilbert são alguns dos programas2 desta era; para além do seu impacto na matemática como um todo, estes programas tiveram um efeito direto nos fundamentos da CEC; de facto, podemos dizer que estes “são” três quartos dos fundamentos da CEC, o restante quarto sendo, obviamente, a computabilidade. [...]info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookPartreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP207213VoRAlan Turing: cientista universalORIGINAL9. Ciências da computação de Alan Turing. uma viagem pessoal.pdf9. Ciências da computação de Alan Turing. uma viagem pessoal.pdfapplication/pdf238215http://repositorium.sdum.uminho.pt/bitstream/1822/70123/1/9.%20Ci%c3%aancias%20da%20computa%c3%a7%c3%a3o%20de%20Alan%20Turing.%20uma%20viagem%20pessoal.pdfd42c10e54721e8b6be8115fa830c322bMD51LICENSElicense.txtlicense.txttext/plain1477http://repositorium.sdum.uminho.pt/bitstream/1822/70123/2/license.txt94d76c5dd83e1a6b8d75d30b00e47c56MD521822/701232021-02-08 15:37:16.745oai:repositorium.sdum.uminho.pt:1822/70123TElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEKCkFvIGFzc2luYXIgZSBlbnRyZWdhciBlc3RhIGxpY2Vuw6dhLCBvL2EgU3IuL1NyYS4gKGF1dG9yIG91IGRldGVudG9yIGRvcyBkaXJlaXRvcyBkZSBhdXRvcik6CgphKSBDb25jZWRlIMOgIFVuaXZlcnNpZGFkZSBkbyBNaW5obyBvIGRpcmVpdG8gbsOjby1leGNsdXNpdm8gZGUgcmVwcm9kdXppciwgY29udmVydGVyIChjb21vIGRlZmluaWRvIGVtIGJhaXhvKSwgY29tdW5pY2FyIGUvb3UgZGlzdHJpYnVpciBvIGRvY3VtZW50byBlbnRyZWd1ZSAoaW5jbHVpbmRvIG8gcmVzdW1vL2Fic3RyYWN0KSBlbSBmb3JtYXRvIGRpZ2l0YWwgb3UgaW1wcmVzc28gZSBlbSBxdWFscXVlciBtZWlvLgoKYikgRGVjbGFyYSBxdWUgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgc2V1IHRyYWJhbGhvIG9yaWdpbmFsLCBlIHF1ZSBkZXTDqW0gbyBkaXJlaXRvIGRlIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIG5lc3RhIGxpY2Vuw6dhLiBEZWNsYXJhIHRhbWLDqW0gcXVlIGEgZW50cmVnYSBkbyBkb2N1bWVudG8gbsOjbyBpbmZyaW5nZSwgdGFudG8gcXVhbnRvIGxoZSDDqSBwb3Nzw612ZWwgc2FiZXIsIG9zIGRpcmVpdG9zIGRlIHF1YWxxdWVyIG91dHJhIHBlc3NvYSBvdSBlbnRpZGFkZS4KCmMpIFNlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIGNvbnTDqW0gbWF0ZXJpYWwgZG8gcXVhbCBuw6NvIGRldMOpbSBvcyBkaXJlaXRvcyBkZSBhdXRvciwgZGVjbGFyYSBxdWUgb2J0ZXZlIGF1dG9yaXphw6fDo28gZG8gZGV0ZW50b3IgZG9zIGRpcmVpdG9zIGRlIGF1dG9yIHBhcmEgY29uY2VkZXIgw6AgVW5pdmVyc2lkYWRlIGRvIE1pbmhvIG9zIGRpcmVpdG9zIHJlcXVlcmlkb3MgcG9yIGVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgY3Vqb3MgZGlyZWl0b3Mgc8OjbyBkZSB0ZXJjZWlyb3MgZXN0w6EgY2xhcmFtZW50ZSBpZGVudGlmaWNhZG8gZSByZWNvbmhlY2lkbyBubyB0ZXh0byBvdSBjb250ZcO6ZG8gZG8gZG9jdW1lbnRvIGVudHJlZ3VlLgkKClNlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIMOpIGJhc2VhZG8gZW0gdHJhYmFsaG8gZmluYW5jaWFkbyBvdSBhcG9pYWRvIHBvciBvdXRyYSBpbnN0aXR1acOnw6NvIHF1ZSBuw6NvIGEgVW5pdmVyc2lkYWRlIGRvIE1pbmhvLCBkZWNsYXJhIHF1ZSBjdW1wcml1IHF1YWlzcXVlciBvYnJpZ2HDp8O1ZXMgZXhpZ2lkYXMgcGVsbyByZXNwZXRpdm8gY29udHJhdG8gb3UgYWNvcmRvLgoKQSBVbml2ZXJzaWRhZGUgZG8gTWluaG8gaWRlbnRpZmljYXLDoSBjbGFyYW1lbnRlIG8ocykgc2V1ICh2b3Nzbykgbm9tZShzKSBjb21vIG8ocykgYXV0b3IoZXMpIG91IGRldGVudG9yKGVzKSBkb3MgZGlyZWl0b3MgZG8gZG9jdW1lbnRvIGVudHJlZ3VlLCBlIG7Do28gZmFyw6EgcXVhbHF1ZXIgYWx0ZXJhw6fDo28sIHBhcmEgYWzDqW0gZGFzIHBlcm1pdGlkYXMgcG9yIGVzdGEgbGljZW7Dp2EuCg==Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602022-07-17T03:17:32Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.por.fl_str_mv Ciências da computação de Alan Turing: Uma viagem pessoal
title Ciências da computação de Alan Turing: Uma viagem pessoal
spellingShingle Ciências da computação de Alan Turing: Uma viagem pessoal
Valença, José Manuel Esgalhado
Ciências Naturais::Ciências da Computação e da Informação
title_short Ciências da computação de Alan Turing: Uma viagem pessoal
title_full Ciências da computação de Alan Turing: Uma viagem pessoal
title_fullStr Ciências da computação de Alan Turing: Uma viagem pessoal
title_full_unstemmed Ciências da computação de Alan Turing: Uma viagem pessoal
title_sort Ciências da computação de Alan Turing: Uma viagem pessoal
author Valença, José Manuel Esgalhado
author_facet Valença, José Manuel Esgalhado
author_role author
dc.contributor.author.fl_str_mv Valença, José Manuel Esgalhado
dc.contributor.authorID.fl_str_mv 28
dc.subject.fos.por.fl_str_mv Ciências Naturais::Ciências da Computação e da Informação
topic Ciências Naturais::Ciências da Computação e da Informação
publishDate 2019
dc.date.issued.fl_str_mv 2019-12-19
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bookPart
format bookPart
status_str publishedVersion
dc.identifier.citation.fl_str_mv Valença, J. M. (2019). Ciências da computação de Alan Turing: Uma viagem pessoal. In Espírito Santo, J. (ed.), Alan Turing: cientista universal (p. 207-213). UMinho Editora. doi: https://doi.org/10.21814/uminho.ed.5
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/70123
dc.identifier.isbn.none.fl_str_mv 978-989-8974-02-0
dc.identifier.eisbn.none.fl_str_mv 978-989-8974-03-7
identifier_str_mv Valença, J. M. (2019). Ciências da computação de Alan Turing: Uma viagem pessoal. In Espírito Santo, J. (ed.), Alan Turing: cientista universal (p. 207-213). UMinho Editora. doi: https://doi.org/10.21814/uminho.ed.5
978-989-8974-02-0
978-989-8974-03-7
url http://hdl.handle.net/1822/70123
dc.language.iso.fl_str_mv por
language por
dc.relation.confidence.fl_str_mv 600
dc.relation.publisherversion.por.fl_str_mv https://ebooks.uminho.pt/index.php/uminho/catalog/view/5/8/183-1
dc.rights.driver.fl_str_mv http://creativecommons.org/licenses/by/4.0/
http://purl.org/coar/access_right/c_abf2
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv UMinho Editora
publisher.none.fl_str_mv UMinho Editora
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
bitstream.url.fl_str_mv http://repositorium.sdum.uminho.pt/bitstream/1822/70123/1/9.%20Ci%c3%aancias%20da%20computa%c3%a7%c3%a3o%20de%20Alan%20Turing.%20uma%20viagem%20pessoal.pdf
http://repositorium.sdum.uminho.pt/bitstream/1822/70123/2/license.txt
bitstream.checksum.fl_str_mv d42c10e54721e8b6be8115fa830c322b
94d76c5dd83e1a6b8d75d30b00e47c56
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1747889123568386048

Similar Items