Palestra: “Problemas Decid\u00edveis e Problemas Indecid\u00edveis: O Legado de Alan Turing”<\/p>\n
Prof. Ruy de Queiroz
\nDia: 15\/outubro\/2012
\nHora: 13;30h
\nLocal: Audit\u00f3rio Campus Porto \/ Anglo<\/p>\n
Alan Turing (1912-1954), matem\u00e1tico, l\u00f3gico, criptoanalista e cientista da computa\u00e7\u00e3o brit\u00e2nico, foi fundamental no desenvolvimento da ci\u00eancia da computa\u00e7\u00e3o e proporcionou uma formaliza\u00e7\u00e3o do conceito de algoritmo e computa\u00e7\u00e3o atrav\u00e9s do modelo matem\u00e1tico idealizado da “m\u00e1quina de Turing”. Tendo desempenhado importante papel na quebra do c\u00f3digo da m\u00e1quina ENIGMA utilizada pelo ex\u00e9rcito alem\u00e3o na Segunda Guerra, passou de her\u00f3i de guerra a um fora-da-lei sujeito a tratamento quimico-hormonal for\u00e7ado devido a sua homossexualidade. Em homenagem ao centen\u00e1rio de seu nascimento, a inten\u00e7\u00e3o aqui \u00e9 fazer uma reflex\u00e3o sobre o legado desse que foi, ao mesmo tempo, her\u00f3i nacional e uma amea\u00e7a ao estado brit\u00e2nico: de fundamental import\u00e2ncia na consolida\u00e7\u00e3o da ci\u00eancia da computa\u00e7\u00e3o, da no\u00e7\u00e3o de m\u00e1quina universal, assim como da teoria da decidibilidade de problemas matem\u00e1ticos, Turing abriu caminho para a demonstra\u00e7\u00e3o de que certos problemas da Matem\u00e1tica s\u00e3o indecid\u00edveis, a exemplo do d\u00e9cimo problema de Hilbert. Alguns subprodutos de sua investiga\u00e7\u00e3o te\u00f3rica, tais como o computador de prop\u00f3sito geral e a no\u00e7\u00e3o de intelig\u00eancia artificial, serviram de base para os que muitos chamam de “Quarta Revolu\u00e7\u00e3o Tecnol\u00f3gica – A Revolu\u00e7\u00e3o da Informa\u00e7\u00e3o”.<\/p>\n
At\u00e9 o momento a palestra j\u00e1 foi apresentada na UFPE, na UNIVASF, na UFAL, na UFRN, na UnB. Em Salvador, na UFBA, e na UEFS. Em Agosto, a UFC, em Setembro a UFPI, e a partir de Outubro estarei na UFRGS e outras tantas como USP, UFF, UFCG, UFPB, UFMA, UFPA, UFAM, UFG e UFS.<\/p>\n","protected":false},"excerpt":{"rendered":"
Palestra: “Problemas Decid\u00edveis e Problemas Indecid\u00edveis: O Legado de Alan Turing” Prof. Ruy de Queiroz Dia: 15\/outubro\/2012 Hora: 13;30h Local: Audit\u00f3rio Campus Porto \/ Anglo Alan Turing (1912-1954), matem\u00e1tico, l\u00f3gico, criptoanalista e cientista da...<\/p>\n","protected":false},"author":881,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_feature_clip_id":0,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[17],"tags":[],"class_list":["post-1802","post","type-post","status-publish","format-standard","hentry","category-noticia"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/paGhNl-t4","_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/1802","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/users\/881"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/comments?post=1802"}],"version-history":[{"count":1,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/1802\/revisions"}],"predecessor-version":[{"id":5241,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/1802\/revisions\/5241"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/media?parent=1802"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/categories?post=1802"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/tags?post=1802"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}