{"id":226,"date":"2024-09-03T17:31:19","date_gmt":"2024-09-03T20:31:19","guid":{"rendered":"https:\/\/logica.mat.br\/?page_id=226"},"modified":"2024-09-04T10:51:01","modified_gmt":"2024-09-04T13:51:01","slug":"inicio","status":"publish","type":"page","link":"https:\/\/logica.mat.br\/","title":{"rendered":"In\u00edcio"},"content":{"rendered":"\n<p>In English after Portuguese.<\/p>\n\n\n\n<p>Este \u00e9 o site pessoal do Professor Doutor J\u00falio Cesar da Silva, especialmente dedicado aos seus temas atuais de estudo ou pesquisa. Com conclus\u00e3o do doutorado pela institui\u00e7\u00e3o UFMG, cuja pesquisa se deu em l\u00f3gica de primeira ordem, teoria de conjuntos ZFC, n\u00fameros n\u00e3o-Standard e a Doutrina da Relatividade Ontol\u00f3gica do filosofo Quine, os temas atuais n\u00e3o somente envolvem os que est\u00e3o delimitados pela tese como tamb\u00e9m:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Computa\u00e7\u00e3o Qu\u00e2ntica atrav\u00e9s do grupo de estudo organizado pelos alunos da faculdade Cotemig BH\/MG em parceria com o Professor Doutor Andr\u00e9 Tanus Ces\u00e1rio de Souza (Doutor em F\u00edsica Te\u00f3rica\/Teoria da Informa\u00e7\u00e3o Qu\u00e2ntica pela UFMG, Mestre em F\u00edsica Te\u00f3rica\/Teoria da Informa\u00e7\u00e3o Qu\u00e2ntica pela UFMG).<\/li>\n\n\n\n<li>L\u00f3gica Africana Ezumezu.<\/li>\n\n\n\n<li>Teoria da Computa\u00e7\u00e3o, especialmente decidibilidade.<\/li>\n\n\n\n<li>Programa\u00e7\u00e3o funcional com a linguagem Haskell<\/li>\n\n\n\n<li>Ensino e pesquisa em L\u00f3gica Matem\u00e1tica computacional.<\/li>\n<\/ul>\n\n\n\n<p>Tentei manter o site o mais simples poss\u00edvel. Qualquer outra informa\u00e7\u00e3o me procure nos sites e redes sociais do seguinte link: <a href=\"https:\/\/linktr.ee\/profjuliocsilva\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/linktr.ee\/profjuliocsilva<\/a><\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p>This is the personal website of Professor Dr. J\u00falio Cesar da Silva, dedicated especially to his current study and research topics. Having completed his Ph.D. at UFMG, with research focused on first-order logic, ZFC set theory, non-Standard numbers, and Quine&#8217;s Doctrine of Ontological Relativity, his current interests not only encompass those defined by his thesis but also include:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Quantum Computing through the study group organized by students from Cotemig College BH\/MG in partnership with Professor Dr. Andr\u00e9 Tanus Ces\u00e1rio de Souza (Ph.D. in Theoretical Physics\/Quantum Information Theory from UFMG, M.Sc. in Theoretical Physics\/Quantum Information Theory from UFMG).<\/li>\n\n\n\n<li>African Ezumezu Logic.<\/li>\n\n\n\n<li>Theory of Computation, especially decidability<\/li>\n\n\n\n<li>Functional programming with the Haskell language.<\/li>\n\n\n\n<li>Teaching and research in computational Mathematical Logic.<\/li>\n<\/ul>\n\n\n\n<p>I have tried to keep the site as simple as possible. For any further information, please find me on the websites and social media through the following link: <a href=\"https:\/\/linktr.ee\/profjuliocsilva\">https:\/\/linktr.ee\/profjuliocsilva<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>In English after Portuguese. Este \u00e9 o site pessoal do Professor Doutor J\u00falio Cesar da Silva, especialmente dedicado aos seus temas atuais de estudo ou pesquisa. Com conclus\u00e3o do doutorado pela institui\u00e7\u00e3o UFMG, cuja pesquisa se deu em l\u00f3gica de primeira ordem, teoria de conjuntos ZFC, n\u00fameros n\u00e3o-Standard e a&#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"jetpack_post_was_ever_published":false,"footnotes":""},"class_list":["post-226","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>In\u00edcio - Prof. Dr. J\u00falio Cesar da Silva<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/logica.mat.br\/\" \/>\n<meta property=\"og:locale\" content=\"pt_BR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"In\u00edcio - Prof. Dr. J\u00falio Cesar da Silva\" \/>\n<meta property=\"og:description\" content=\"In English after Portuguese. Este \u00e9 o site pessoal do Professor Doutor J\u00falio Cesar da Silva, especialmente dedicado aos seus temas atuais de estudo ou pesquisa. Com conclus\u00e3o do doutorado pela institui\u00e7\u00e3o UFMG, cuja pesquisa se deu em l\u00f3gica de primeira ordem, teoria de conjuntos ZFC, n\u00fameros n\u00e3o-Standard e a...\" \/>\n<meta property=\"og:url\" content=\"https:\/\/logica.mat.br\/\" \/>\n<meta property=\"og:site_name\" content=\"Prof. Dr. J\u00falio Cesar da Silva\" \/>\n<meta property=\"article:modified_time\" content=\"2024-09-04T13:51:01+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. tempo de leitura\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/logica.mat.br\\\/\",\"url\":\"https:\\\/\\\/logica.mat.br\\\/\",\"name\":\"In\u00edcio - Prof. Dr. J\u00falio Cesar da Silva\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/logica.mat.br\\\/#website\"},\"datePublished\":\"2024-09-03T20:31:19+00:00\",\"dateModified\":\"2024-09-04T13:51:01+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/logica.mat.br\\\/#breadcrumb\"},\"inLanguage\":\"pt-BR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/logica.mat.br\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/logica.mat.br\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"In\u00edcio\",\"item\":\"https:\\\/\\\/logica.mat.br\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"In\u00edcio\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/logica.mat.br\\\/#website\",\"url\":\"https:\\\/\\\/logica.mat.br\\\/\",\"name\":\"Prof. J\u00falio Cesar da Silva\",\"description\":\"Naturalismo, L\u00f3gica &amp; Computabilidade\",\"publisher\":{\"@id\":\"https:\\\/\\\/logica.mat.br\\\/#\\\/schema\\\/person\\\/521a1da499319a9c9015e25114ebee24\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/logica.mat.br\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"pt-BR\"},{\"@type\":[\"Person\",\"Organization\"],\"@id\":\"https:\\\/\\\/logica.mat.br\\\/#\\\/schema\\\/person\\\/521a1da499319a9c9015e25114ebee24\",\"name\":\"admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"pt-BR\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/6f41a04cbbf30687f8d8f795672bccf76d9971ad0e2e4a8299b4c4e534e26687?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/6f41a04cbbf30687f8d8f795672bccf76d9971ad0e2e4a8299b4c4e534e26687?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/6f41a04cbbf30687f8d8f795672bccf76d9971ad0e2e4a8299b4c4e534e26687?s=96&d=mm&r=g\",\"caption\":\"admin\"},\"logo\":{\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/6f41a04cbbf30687f8d8f795672bccf76d9971ad0e2e4a8299b4c4e534e26687?s=96&d=mm&r=g\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"In\u00edcio - Prof. Dr. J\u00falio Cesar da Silva","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/logica.mat.br\/","og_locale":"pt_BR","og_type":"article","og_title":"In\u00edcio - Prof. Dr. J\u00falio Cesar da Silva","og_description":"In English after Portuguese. Este \u00e9 o site pessoal do Professor Doutor J\u00falio Cesar da Silva, especialmente dedicado aos seus temas atuais de estudo ou pesquisa. Com conclus\u00e3o do doutorado pela institui\u00e7\u00e3o UFMG, cuja pesquisa se deu em l\u00f3gica de primeira ordem, teoria de conjuntos ZFC, n\u00fameros n\u00e3o-Standard e a...","og_url":"https:\/\/logica.mat.br\/","og_site_name":"Prof. Dr. J\u00falio Cesar da Silva","article_modified_time":"2024-09-04T13:51:01+00:00","twitter_card":"summary_large_image","twitter_misc":{"Est. tempo de leitura":"2 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/logica.mat.br\/","url":"https:\/\/logica.mat.br\/","name":"In\u00edcio - Prof. Dr. J\u00falio Cesar da Silva","isPartOf":{"@id":"https:\/\/logica.mat.br\/#website"},"datePublished":"2024-09-03T20:31:19+00:00","dateModified":"2024-09-04T13:51:01+00:00","breadcrumb":{"@id":"https:\/\/logica.mat.br\/#breadcrumb"},"inLanguage":"pt-BR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/logica.mat.br\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/logica.mat.br\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"In\u00edcio","item":"https:\/\/logica.mat.br\/"},{"@type":"ListItem","position":2,"name":"In\u00edcio"}]},{"@type":"WebSite","@id":"https:\/\/logica.mat.br\/#website","url":"https:\/\/logica.mat.br\/","name":"Prof. J\u00falio Cesar da Silva","description":"Naturalismo, L\u00f3gica &amp; Computabilidade","publisher":{"@id":"https:\/\/logica.mat.br\/#\/schema\/person\/521a1da499319a9c9015e25114ebee24"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/logica.mat.br\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"pt-BR"},{"@type":["Person","Organization"],"@id":"https:\/\/logica.mat.br\/#\/schema\/person\/521a1da499319a9c9015e25114ebee24","name":"admin","image":{"@type":"ImageObject","inLanguage":"pt-BR","@id":"https:\/\/secure.gravatar.com\/avatar\/6f41a04cbbf30687f8d8f795672bccf76d9971ad0e2e4a8299b4c4e534e26687?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/6f41a04cbbf30687f8d8f795672bccf76d9971ad0e2e4a8299b4c4e534e26687?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/6f41a04cbbf30687f8d8f795672bccf76d9971ad0e2e4a8299b4c4e534e26687?s=96&d=mm&r=g","caption":"admin"},"logo":{"@id":"https:\/\/secure.gravatar.com\/avatar\/6f41a04cbbf30687f8d8f795672bccf76d9971ad0e2e4a8299b4c4e534e26687?s=96&d=mm&r=g"}}]}},"jetpack-related-posts":[{"id":2,"url":"https:\/\/logica.mat.br\/?page_id=2","url_meta":{"origin":226,"position":0},"title":"Objetivo","author":"admin","date":"20\/12\/2018","format":false,"excerpt":"Professor e entusiasta do naturalismo de Quine, da l\u00f3gica matem\u00e1tica e dos fundamentos te\u00f3ricos da computa\u00e7\u00e3o. Pretendo reunir neste blog um conjunto de textos (artigos, tradu\u00e7\u00f5es livres e n\u00e3o oficiais de livros, sugest\u00f5es de bibliografia, etc) que preencham a lacuna existente entre a introdu\u00e7\u00e3o \u00e0 l\u00f3gica matem\u00e1tica e os assuntos\u2026","rel":"","context":"Post similar","block_context":{"text":"Post similar","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":18,"url":"https:\/\/logica.mat.br\/?page_id=18","url_meta":{"origin":226,"position":1},"title":"Textos","author":"admin","date":"22\/12\/2018","format":false,"excerpt":"Os textos abaixo n\u00e3o s\u00e3o necessariamente de minha autoria. Todos compartilham alguma rela\u00e7\u00e3o com Naturalismo, L\u00f3gica e Teoria da Computa\u00e7\u00e3o. Muitos s\u00e3o tradu\u00e7\u00f5es informais que visam facilitar o acesso dos interessados aos temas. Os textos de minha autoria tem o s\u00edmbolo de asterisco (*) no nome. APOSTILAS Apostila LaTex\/Overleaf para\u2026","rel":"","context":"Post similar","block_context":{"text":"Post similar","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":207,"url":"https:\/\/logica.mat.br\/?page_id=207","url_meta":{"origin":226,"position":2},"title":"Cursos","author":"admin","date":"26\/06\/2024","format":false,"excerpt":"Introdu\u00e7\u00e3o \u00e0 Filosofia da Matem\u00e1tica Este curso \u00e9 pensado para proporcionar uma melhor compreens\u00e3o das quest\u00f5es filos\u00f3ficas fundamentais relacionadas \u00e0 matem\u00e1tica. Exploraremos os aspectos hist\u00f3ricos e os principais debates contempor\u00e2neos, tra\u00e7ando um guia para estudos mais aprofundados. > Metodologia Aulas expositivas precedidas pela leitura de textos curtos de introdu\u00e7\u00e3o aos\u2026","rel":"","context":"Post similar","block_context":{"text":"Post similar","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/logica.mat.br\/index.php?rest_route=\/wp\/v2\/pages\/226","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/logica.mat.br\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/logica.mat.br\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/logica.mat.br\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/logica.mat.br\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=226"}],"version-history":[{"count":2,"href":"https:\/\/logica.mat.br\/index.php?rest_route=\/wp\/v2\/pages\/226\/revisions"}],"predecessor-version":[{"id":228,"href":"https:\/\/logica.mat.br\/index.php?rest_route=\/wp\/v2\/pages\/226\/revisions\/228"}],"wp:attachment":[{"href":"https:\/\/logica.mat.br\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=226"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}