SlideShare uma empresa Scribd logo

Connections between Logic and Geometry via Term Rewriting

•
•
Ruy De Queiroz
Ruy De Queiroz

TeoCOMP-NE - Escola de Teoria da Computação – Nordeste 22, 23 e 24 de junho, transmitida pelo Campus da UFC em Quixadá 23 Jun 2021

Ciências
1 de 74
Baixar para ler offline
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting

Recomendados

Homotopic Foundations of the Theory of Computation
Homotopic Foundations of the Theory of ComputationHomotopic Foundations of the Theory of Computation
Homotopic Foundations of the Theory of Computation
Ruy De Queiroz
 
What formal equalities between rewriting paths have in common with homotopies...
What formal equalities between rewriting paths have in common with homotopies...What formal equalities between rewriting paths have in common with homotopies...
What formal equalities between rewriting paths have in common with homotopies...
Ruy De Queiroz
 
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Ruy De Queiroz
 
Law and Legal uses for blockchain technologies
Law and Legal uses for blockchain technologiesLaw and Legal uses for blockchain technologies
Law and Legal uses for blockchain technologies
Ruy De Queiroz
 
Criptografia como aliado
Criptografia como aliadoCriptografia como aliado
Criptografia como aliado
Ruy De Queiroz
 
Privacidade, Segurança, Identidade
Privacidade, Segurança, IdentidadePrivacidade, Segurança, Identidade
Privacidade, Segurança, Identidade
Ruy De Queiroz
 
From Tractatus to Later Writings and Back
From Tractatus to Later Writings and BackFrom Tractatus to Later Writings and Back
From Tractatus to Later Writings and Back
Ruy De Queiroz
 
Desafios na Interseção entre Direito e Tecnologia
Desafios na Interseção entre Direito e TecnologiaDesafios na Interseção entre Direito e Tecnologia
Desafios na Interseção entre Direito e Tecnologia
Ruy De Queiroz
 

Recomendados

Homotopic Foundations of the Theory of Computation
Homotopic Foundations of the Theory of ComputationHomotopic Foundations of the Theory of Computation
Homotopic Foundations of the Theory of Computation
Ruy De Queiroz
 
What formal equalities between rewriting paths have in common with homotopies...
What formal equalities between rewriting paths have in common with homotopies...What formal equalities between rewriting paths have in common with homotopies...
What formal equalities between rewriting paths have in common with homotopies...
Ruy De Queiroz
 
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Ruy De Queiroz
 
Law and Legal uses for blockchain technologies
Law and Legal uses for blockchain technologiesLaw and Legal uses for blockchain technologies
Law and Legal uses for blockchain technologies
Ruy De Queiroz
 
Criptografia como aliado
Criptografia como aliadoCriptografia como aliado
Criptografia como aliado
Ruy De Queiroz
 
Privacidade, Segurança, Identidade
Privacidade, Segurança, IdentidadePrivacidade, Segurança, Identidade
Privacidade, Segurança, Identidade
Ruy De Queiroz
 
From Tractatus to Later Writings and Back
From Tractatus to Later Writings and BackFrom Tractatus to Later Writings and Back
From Tractatus to Later Writings and Back
Ruy De Queiroz
 
Desafios na Interseção entre Direito e Tecnologia
Desafios na Interseção entre Direito e TecnologiaDesafios na Interseção entre Direito e Tecnologia
Desafios na Interseção entre Direito e Tecnologia
Ruy De Queiroz
 
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
Ruy De Queiroz
 
Consensus in Permissionless Decentralized Networks
Consensus in Permissionless Decentralized NetworksConsensus in Permissionless Decentralized Networks
Consensus in Permissionless Decentralized Networks
Ruy De Queiroz
 
Linguagem, Lógica e a Natureza da Matemática
Linguagem, Lógica e a Natureza da MatemáticaLinguagem, Lógica e a Natureza da Matemática
Linguagem, Lógica e a Natureza da Matemática
Ruy De Queiroz
 
Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups
Ruy De Queiroz
 
Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsComputational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups
Ruy De Queiroz
 
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
Ruy De Queiroz
 
Cibersegurança na Internet das Coisas
Cibersegurança na Internet das CoisasCibersegurança na Internet das Coisas
Cibersegurança na Internet das Coisas
Ruy De Queiroz
 
Capitalismo de Vigilância e Proteção de Dados Pessoais
Capitalismo de Vigilância e Proteção de Dados PessoaisCapitalismo de Vigilância e Proteção de Dados Pessoais
Capitalismo de Vigilância e Proteção de Dados Pessoais
Ruy De Queiroz
 
Computations, Paths, Types and Proofs
Computations, Paths, Types and ProofsComputations, Paths, Types and Proofs
Computations, Paths, Types and Proofs
Ruy De Queiroz
 
Computation, Paths, Types and Proofs
Computation, Paths, Types and ProofsComputation, Paths, Types and Proofs
Computation, Paths, Types and Proofs
Ruy De Queiroz
 
Privacidade e Proteção de Dados Pessoais
Privacidade e Proteção de Dados PessoaisPrivacidade e Proteção de Dados Pessoais
Privacidade e Proteção de Dados Pessoais
Ruy De Queiroz
 
Fake News, Deep Fakes, e seus efeitos sobre a Democracia
Fake News, Deep Fakes, e seus efeitos sobre a DemocraciaFake News, Deep Fakes, e seus efeitos sobre a Democracia
Fake News, Deep Fakes, e seus efeitos sobre a Democracia
Ruy De Queiroz
 
Computational Paths in Type Theory
Computational Paths in Type TheoryComputational Paths in Type Theory
Computational Paths in Type Theory
Ruy De Queiroz
 
Tecnologia e O Ritmo de Evolução
Tecnologia e O Ritmo de EvoluçãoTecnologia e O Ritmo de Evolução
Tecnologia e O Ritmo de Evolução
Ruy De Queiroz
 
Propositional equality, identity types, and computational paths
Propositional equality, identity types, and computational pathsPropositional equality, identity types, and computational paths
Propositional equality, identity types, and computational paths
Ruy De Queiroz
 
O Papel da Criptografia Moderna na Proteção às Garantias Individuais
O Papel da Criptografia Moderna na Proteção às Garantias IndividuaisO Papel da Criptografia Moderna na Proteção às Garantias Individuais
O Papel da Criptografia Moderna na Proteção às Garantias Individuais
Ruy De Queiroz
 
Linguagem, lógica e a natureza da matemática
Linguagem, lógica e a natureza da matemáticaLinguagem, lógica e a natureza da matemática
Linguagem, lógica e a natureza da matemática
Ruy De Queiroz
 
Inovação e Regulação 2.0
Inovação e Regulação 2.0Inovação e Regulação 2.0
Inovação e Regulação 2.0
Ruy De Queiroz
 
Propositional Equality, Identity Types and Computational Paths
Propositional Equality, Identity Types and Computational PathsPropositional Equality, Identity Types and Computational Paths
Propositional Equality, Identity Types and Computational Paths
Ruy De Queiroz
 
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
Ruy De Queiroz
 
FOUCAULT, Michel. A coragem da verdade.pdf
FOUCAULT, Michel. A coragem da verdade.pdfFOUCAULT, Michel. A coragem da verdade.pdf
FOUCAULT, Michel. A coragem da verdade.pdf
RobertoLopes438472
 
Apresentação sobre o cientista linus pauling.pptx
Apresentação sobre o cientista linus pauling.pptxApresentação sobre o cientista linus pauling.pptx
Apresentação sobre o cientista linus pauling.pptx
TatianaMalcher
 

Mais conteúdo relacionado

Mais de Ruy De Queiroz

Mais de Ruy De Queiroz (20)

Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
 
Consensus in Permissionless Decentralized Networks
Consensus in Permissionless Decentralized NetworksConsensus in Permissionless Decentralized Networks
Consensus in Permissionless Decentralized Networks
 
Linguagem, Lógica e a Natureza da Matemática
Linguagem, Lógica e a Natureza da MatemáticaLinguagem, Lógica e a Natureza da Matemática
Linguagem, Lógica e a Natureza da Matemática
 
Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups
 
Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsComputational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups
 
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
 
Cibersegurança na Internet das Coisas
Cibersegurança na Internet das CoisasCibersegurança na Internet das Coisas
Cibersegurança na Internet das Coisas
 
Capitalismo de Vigilância e Proteção de Dados Pessoais
Capitalismo de Vigilância e Proteção de Dados PessoaisCapitalismo de Vigilância e Proteção de Dados Pessoais
Capitalismo de Vigilância e Proteção de Dados Pessoais
 
Computations, Paths, Types and Proofs
Computations, Paths, Types and ProofsComputations, Paths, Types and Proofs
Computations, Paths, Types and Proofs
 
Computation, Paths, Types and Proofs
Computation, Paths, Types and ProofsComputation, Paths, Types and Proofs
Computation, Paths, Types and Proofs
 
Privacidade e Proteção de Dados Pessoais
Privacidade e Proteção de Dados PessoaisPrivacidade e Proteção de Dados Pessoais
Privacidade e Proteção de Dados Pessoais
 
Fake News, Deep Fakes, e seus efeitos sobre a Democracia
Fake News, Deep Fakes, e seus efeitos sobre a DemocraciaFake News, Deep Fakes, e seus efeitos sobre a Democracia
Fake News, Deep Fakes, e seus efeitos sobre a Democracia
 
Computational Paths in Type Theory
Computational Paths in Type TheoryComputational Paths in Type Theory
Computational Paths in Type Theory
 
Tecnologia e O Ritmo de Evolução
Tecnologia e O Ritmo de EvoluçãoTecnologia e O Ritmo de Evolução
Tecnologia e O Ritmo de Evolução
 
Propositional equality, identity types, and computational paths
Propositional equality, identity types, and computational pathsPropositional equality, identity types, and computational paths
Propositional equality, identity types, and computational paths
 
O Papel da Criptografia Moderna na Proteção às Garantias Individuais
O Papel da Criptografia Moderna na Proteção às Garantias IndividuaisO Papel da Criptografia Moderna na Proteção às Garantias Individuais
O Papel da Criptografia Moderna na Proteção às Garantias Individuais
 
Linguagem, lógica e a natureza da matemática
Linguagem, lógica e a natureza da matemáticaLinguagem, lógica e a natureza da matemática
Linguagem, lógica e a natureza da matemática
 
Inovação e Regulação 2.0
Inovação e Regulação 2.0Inovação e Regulação 2.0
Inovação e Regulação 2.0
 
Propositional Equality, Identity Types and Computational Paths
Propositional Equality, Identity Types and Computational PathsPropositional Equality, Identity Types and Computational Paths
Propositional Equality, Identity Types and Computational Paths
 
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
 

Último

Último (7)

FOUCAULT, Michel. A coragem da verdade.pdf
FOUCAULT, Michel. A coragem da verdade.pdfFOUCAULT, Michel. A coragem da verdade.pdf
FOUCAULT, Michel. A coragem da verdade.pdf
 
Apresentação sobre o cientista linus pauling.pptx
Apresentação sobre o cientista linus pauling.pptxApresentação sobre o cientista linus pauling.pptx
Apresentação sobre o cientista linus pauling.pptx
 
Bilhete de Identidade sobre o Tungsténio.pptx
Bilhete de Identidade sobre o Tungsténio.pptxBilhete de Identidade sobre o Tungsténio.pptx
Bilhete de Identidade sobre o Tungsténio.pptx
 
Historia da Agricultura Agronomia 2017.pptx
Historia da Agricultura Agronomia 2017.pptxHistoria da Agricultura Agronomia 2017.pptx
Historia da Agricultura Agronomia 2017.pptx
 
NEUROCIENCIA I (1).ppt aula explicativa 1
NEUROCIENCIA I (1).ppt aula explicativa 1NEUROCIENCIA I (1).ppt aula explicativa 1
NEUROCIENCIA I (1).ppt aula explicativa 1
 
Planejamento do viveiro de mudas florestais
Planejamento do viveiro de mudas florestaisPlanejamento do viveiro de mudas florestais
Planejamento do viveiro de mudas florestais
 
Estudo Dirigido Sistema Cardiovascular - 8°.docx
Estudo Dirigido Sistema Cardiovascular - 8°.docxEstudo Dirigido Sistema Cardiovascular - 8°.docx
Estudo Dirigido Sistema Cardiovascular - 8°.docx